@incollection {springerlink:10.1007/978-1-4614-1427-8_8,
author = {Perez, Jon and Nicolas, Carlos Fernando and Obermaisser, Roman and Salloum, Christian El},
affiliation = {Ikerlan-IK4 Technology Research Centre, Mondragon, Spain},
title = {Modeling Time-Triggered Architecture Based Real-Time Systems Using SystemC},
booktitle = {System Specification and Design Languages},
series = {Lecture Notes in Electrical Engineering},
editor = {Kaźmierski, Tom J. J. and Morawiec, Adam},
publisher = {Springer New York},
isbn = {978-1-4614-1427-8},
keyword = {Engineering},
pages = {123-141},
volume = {106},
url = {http://dx.doi.org/10.1007/978-1-4614-1427-8_8},
note = {10.1007/978-1-4614-1427-8_8},
abstract = {This paper proposes a SystemC based extension for the modeling of Time-Triggered Architecture (TTA) based real-time 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 from the architectural design phase to support early functional, temporal and dependability assessments. This approach is illustrated with two case studies. The design and Simulated Fault Injection (SFI) of an odometry safety-critical embedded system, and the design and simulation of a real-time control-system integrated with a SystemC-AMS model of the plant.},
year = {2012}
}