Modeling Time-Triggered Architecture based safety-critical embedded systems using SystemC

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.