View article

Distributed system composition is the main trend in creating safety-critical (SC) real-time systems like automotive, aerospace, and industrial control systems. Their growing complexity (e.g. tens of control units in a modern car) led to an integrated architecture concept [7]. It supports the sharing of hardware resources between different sub-applications for the sake of cost reduction, but still keeps the overall system safety by properly isolating jobs from each other.

Validation and certification of SC sytems are a key problem. They are especially hard, if not impossible at all, if the behavior of the system is non-deterministic. The time triggered (TT) paradigm (such as TTP/C [14] and FlexRay [4]) uses a strictly deterministic, static, design time generated schedule for both the computation jobs in the processing nodes and the internode communication tasks.

Current tools create the intranode job and interjob communication …