Publication detail

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

STRNADEL, J.

Original Title

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

English Title

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

Type

conference paper

Language

en

Original 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.

English 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.

Keywords

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

RIV year

2010

Released

13.05.2010

Publisher

Tomas Bata University in Zlín

Location

Zlín

ISBN

978-80-7318-940-2

Book

Sborník přednášek z 33. mezinárodní konference TD 2010 - DIAGON 2010

Edition

NEUVEDEN

Edition number

NEUVEDEN

Pages from

99

Pages to

104

Pages count

6

URL

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",
  annote="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.",
  address="Tomas Bata University in Zlín",
  booktitle="Sborník přednášek z 33. mezinárodní konference TD 2010 - DIAGON 2010",
  chapter="34736",
  edition="NEUVEDEN",
  howpublished="print",
  institution="Tomas Bata University in Zlín",
  year="2010",
  month="may",
  pages="99--104",
  publisher="Tomas Bata University in Zlín",
  type="conference paper"
}