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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
H. Kopetz and G. Bauer, “The time-triggered architecture,” IEEE Special Issue on Modeling and Design of Embedded Software, vol. 91, pp. 112–126, 2003.
H. Kopetz, “The time-triggered model of computation,” in 19th IEEE Systems Symposium (RTSS), 1998.
——, “The complexity challenge in embedded system design,” in 11th IEEE International Symposium on Object Oriented Real-Time Distributed Computing (ISORC), 2008.
C. Salzmann and T. Stauner, “Automotive software engineering,” in Languages for System Specification. Springer US, 2004, pp. 333–347.
“IEC 61508-7: Overview of techniques and measures,” 1998-12 2000.
J. Perez, M. Azkarate-Askasua, and A. Perez, “Codesign and simulated fault injection of safety-critical embedded systems using SystemC,” in Eighth European Dependable Computing Conference (EDCC), 2010.
E. Farcas and W. Pree, “Hyperperiod bus scheduling and optimizations for TDL components,” in IEEE Conference on Emerging Technologies and Factory Automation (ETFA), 2007, pp. 1262–1269.
T. A. Henzinger, B. Horowitz, and C.M. Kirsch, “Giotto: a time-triggered language for embedded programming,” Proceedings of the IEEE, vol. 91, no. 1, pp. 84–99, 2003.
K. Moon Hae, K. Jung-Guk, K. H. Kim, L. Myeong-Soo, and P. Shin-Yeol, “Time-triggered message-triggered object modeling of a distributed real-time control application for its real-time simulation,” in 24th International Computer Software and Applications Conference, 2000, pp. 549–556.
R. Obermaisser, E. Henrich, K. Kim, H. Kopetz, and M. Kim, “Integration of two complementary time-triggered technologies: TMO and TTP,” in IFIP International Federation for Information Processing, ser. Computer Science. Springer Boston, 2005, pp. 211–222.
K. D. Nguyen, P. S. Thiagarajan, and W.-F. Wong, “A UML-based design framework for time-triggered applications,” in 28th IEEE International Real-Time Systems Symposium (RTSS), 2007, pp. 39–48.
IEEE-1666, “Standard SystemC language reference manual,” 2005.
H. Kopetz, R. Obermaisser, C. El Salloum, and B. Huber, “Automotive software development for a multi-core system-on-a-chip,” in Fourth International Workshop on Software Engineering for Automotive Systems (ICSE Workshops SEAS), 2007, pp. 2–2.
J. Perez, A. Perez, and R. Obermaisser, “Executable time-triggered model (E-TTM) for real-time control systems,” in 13th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), 2010.
J. Perez, C. F. Nicolas, R. Obermaisser, and C. El Salloum, “Modeling time-triggered architecture based safety-critical embedded systems using SystemC,” in Forum on specification & Design Languages (FDL), Southampton, UK, 2010.
“IEEE 1588 / IEC 61588: IEEE precision clock synchronization protocol for networked measurement and control systems,” p. 158, 2004.
M. Malvezzi, B. Allota, M. Rinchi, M. Bruzzo, and P. De Bernardi, “Odometric estimation for automatic train protection and control systems,” in 8th World Congress on Railway Research (WCRR), Korea, 2008.
M. Malvezzi, P. Toni, B. Allotta, and V. Colla, “Train speed and position evaluation using wheel velocity measurements,” in IEEE/ASME International Conference on Advanced Intelligent Mechatronics, vol. 1, 2001, pp. 220–224.
H. Kopetz, “The rationale for time-triggered ethernet,” in Real-Time Systems Symposium (RTSS), Barcelona, Spain, 2008.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer Science+Business Media, LLC
About this paper
Cite this paper
Perez, J., Nicolas, C.F., Obermaisser, R., Salloum, C.E. (2012). Modeling Time-Triggered Architecture Based Real-Time Systems Using SystemC. In: Kaźmierski, T., Morawiec, A. (eds) System Specification and Design Languages. Lecture Notes in Electrical Engineering, vol 106. Springer, New York, NY. https://doi.org/10.1007/978-1-4614-1427-8_8
Download citation
DOI: https://doi.org/10.1007/978-1-4614-1427-8_8
Published:
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4614-1426-1
Online ISBN: 978-1-4614-1427-8
eBook Packages: EngineeringEngineering (R0)