[Back]

R. Obermaisser, J. Perez, C. El Salloum, Carlos Nicolas:
"Modeling Time-Triggered Architecture Based Safety-Critical Embedded Systems Using SystemC";
Talk: Forum on specification & Design Languages (FDL), Southampton, UK; 2010-09-14 - 2010-09-16; in: "Modeling Time-Triggered Architecture Based Safety-Critical Embedded Systems Using SystemC", (2010).

This paper proposes a SystemC based extension for the modeling of generic Time-Triggered Architecture (TTA)based safety-critical embedded systems. The extension called Executable Time-Triggered Model (E-TTM) supports the time-triggered model of computation and provides a time domain deterministic modeling framework based on SystemC. E-TTM can be used in the architectural design phase to support early functional, temporal and dependability assessments. The development of safety-critical embedded systems that must satisfy a certain set of timing constraints with an ever-increasing functionality leads to considerable complexity growth. E-TTM tackles the complexity challenge by means of simplification strategies such as abstraction, partition, segmentation and time determinism.