Publication Details

Task-Level Modeling and Design of Components for Construction of Dependable Time-Critical Systems Implemented by Means of RT Kernel

STRNADEL, J. Task-Level Modeling and Design of Components for Construction of Dependable Time-Critical Systems Implemented by Means of RT Kernel. Sborník přednášek z 33. mezinárodní konference TD 2010 - DIAGON 2010. Zlín: Tomas Bata University in Zlín, 2010. p. 99-104. ISBN: 978-80-7318-940-2.
Czech title
Modelování a návrh komponent pro konstrukci spolehlivých časově kritických systémů implementovaných na úrovni úloh prostředky RT jader
Type
conference paper
Language
English
Authors
Strnadel Josef, Ing., Ph.D. (DCSY)
Keywords

real time, rt kernel, rtos, dependability, modeling, design, task, redundancy, fault tolerance

Abstract

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.

Published
2010
Pages
99–104
Proceedings
Sborník přednášek z 33. mezinárodní konference TD 2010 - DIAGON 2010
ISBN
978-80-7318-940-2
Publisher
Tomas Bata University in Zlín
Place
Zlín
BibTeX 
@inproceedings{BUT34736,
  author="Josef {Strnadel}",
  title="Task-Level Modeling and Design of Components for Construction of Dependable Time-Critical Systems Implemented by Means of RT Kernel",
  booktitle="Sborník přednášek z 33. mezinárodní konference TD 2010 - DIAGON 2010",
  year="2010",
  pages="99--104",
  publisher="Tomas Bata University in Zlín",
  address="Zlín",
  isbn="978-80-7318-940-2",
  url="https://www.fit.vut.cz/research/publication/9222/"
}
Back to top