Designing safety critical embedded systems with time-triggered architecture

The paper presents results of the analysis of safety-critical embedded systems using a time triggered-architecture. First, a distributed safety-critical embedded system is defined in terms of its interfaces 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 architecture. 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 distributed real-time embedded systems.