Talks and Poster Presentations (with Proceedings-Entry):
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),
- 2010-09-16; in: "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.
Created from the Publication Database of the Vienna University of Technology.