Conference paper

STRNADEL Josef. Task-Level Modeling and Design of Components for Construction of Dependable Time-Critical Systems Implemented by Means of RT Kernel. In: Sborník přednášek z 33. mezinárodní konference TD 2010 - DIAGON 2010. Zlín: Tomas Bata University in Zlín, 2010, pp. 99-104. ISBN 978-80-7318-940-2.
Publication language:english
Original title:Task-Level Modeling and Design of Components for Construction of Dependable Time-Critical Systems Implemented by Means of RT Kernel
Title (cs):Modelování a návrh komponent pro konstrukci spolehlivých časově kritických systémů implementovaných na úrovni úloh prostředky RT jader
Pages:99-104
Proceedings:Sborník přednášek z 33. mezinárodní konference TD 2010 - DIAGON 2010
Conference:33. mezinárodní konference s výstavou se zaměřením na diagnostiku, spolehlivost a bezpečnost (TD 2010 - DIAGON 2010)
Place:Zlín, CZ
Year:2010
ISBN:978-80-7318-940-2
Publisher:Tomas Bata University in Zlín
Files: 
+Type Name +Title Size Last modified
icondiagon2010_strnadel_CR.pdf358 KB2010-05-14 08:41:01
^ Select all
With selected:
Keywords
real time, rt kernel, rtos, dependability, modeling, design, task, redundancy, fault tolerance
Annotation
Services a system delivers are called dependable when it is trustworthy enough that reliance can be placed on them because they are available, reliable, safe and secure. In the contribution, our approach to modelling and design of components for the construction of dependable time-critical systems implemented by means of RT kernel is presented. On top of that, faults and errors in components and RT kernels are classified in the contribution. Safety of the components is verified by means of the UPPAAL tool. Reliability is solved by means of time-redundancy and spatial redundancy, both implemented on RT task scheduling level. Proposed solution is analyzed from view of schedulability of the resulting time-redundant set of RT tasks and its implementation is demonstrated by means of uC/OS-II kernel.
BibTeX:
@INPROCEEDINGS{
   author = {Josef Strnadel},
   title = {Task-Level Modeling and Design of Components for
	Construction of Dependable Time-Critical Systems Implemented
	by Means of RT Kernel},
   pages = {99--104},
   booktitle = {Sborn{\'{i}}k p{\v{r}}edn{\'{a}}{\v{s}}ek z 33.
	mezin{\'{a}}rodn{\'{i}} konference TD 2010 - DIAGON 2010},
   year = {2010},
   location = {Zl{\'{i}}n, CZ},
   publisher = {Tomas Bata University in Zl{\'{i}}n},
   ISBN = {978-80-7318-940-2},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.en.iso-8859-2?id=9222}
}

Your IPv4 address: 54.144.57.183
Switch to IPv6 connection

DNSSEC [dnssec]