Designing safety critical embedded systems with time-triggered architecture

Bogdan D Czejdo , Janusz Zalewski , Dawid Trawczynki , Mikołaj Baszun


The paper presents results of the analysis of safety-critical embedded systems using a time triggered-architecture. First, a distibuted safety-critical embedded system is defined in terms of its intergaces with the physical world, and possibilities of failures that can cause safety problems. Then, a model is built that allows mapping the safety functions to the time-triggered archtecture. Finally, based on this model, a case study of an anti-lock braking system is developed and analyzed with respect failures that can lead to violations of system safety. The results show that time-triggered architecture can lead to meaningful results in the analysis of safety issues in distibuted real-time embedded systems.
Author Bogdan D Czejdo
Bogdan D Czejdo,,
, Janusz Zalewski
Janusz Zalewski,,
, Dawid Trawczynki
Dawid Trawczynki,,
, Mikołaj Baszun (FEIT / MO)
Mikołaj Baszun,,
- The Institute of Microelectronics and Optoelectronics
Journal seriesTTS Technika Transportu Szynowego, ISSN 1232-3829
Issue year2013
Languageen angielski
Score (nominal)5
ScoreMinisterial score = 4.0, 27-03-2017, ArticleFromJournal
Ministerial score (2013-2016) = 5.0, 27-03-2017, ArticleFromJournal
Citation count*
Share Share

Get link to the record

* presented citation count is obtained through Internet information analysis and it is close to the number calculated by the Publish or Perish system.
Are you sure?