Abstract
With the increased use of powerful, performance-optimized hardware components in embedded systems, timing prediction is getting more and more complex. Thus while the execution speed of software is generally increasing, it is getting more and more difficult (if not infeasible) to perform an accurate and safe timing analysis of software that runs on those high-end embedded computer systems.
This paper presents a very rigid software execution model for building distributed hard real-time subsystems that are time predictable. The software model is based on the time-triggered communication model. It uses a purely time- triggered input-output interface and relies on single-path code (code that is free from input-data dependent control flow) in both the operating system and application software. Tasks are only preempted at pre-planned task preemption points and a simple clock synchronization keeps the operations of the hard real- time subsystem in synchrony with the real-time environment.
The proposed execution model yields software that is time-predictable by construction. Verifying temporal correctness and tracing the timing behavior of this software is trivial
Chapter PDF
Similar content being viewed by others
REFERENCES
Allen, J., Kennedy, K., Porterfield, C., and Warren, J. (1983). Conversion of Control Dependence to Data Dependence. In Proc. lOth ACM Symposium on Principles of Programming Languages, pages 177–189.
Kirk, D. B.(1989). Smart (strategic memory allocation for real-time) cache design. In Proc. lOth Real-Time Systems Symposium, pages 229–237, Santa Monica, CA, USA.
Kirner, Raimund and Puschner, Peter (2006). Time-Predictable Task Preemption in Real-Time Systems with Instruction Cache. Research Report 27/2006, Technische Universitat Wien, Institut für Teehnische Informatik, Treitlstr. 1-3/182-1, 1040 Vienna, Austria.
Kopetz, H. (1997). Real-Time Systems. Kluwer Academic Publishers.
Kopetz, Hermann and Nossal, Roman (1997). Temporal Firewalls in Large Distributed Real-Time Systems. In Proc. 6th IEEE Workshop on Future Trends of Distributed Computing Systems, pages 310–315.
Obermaisser, Roman, Peti, Philipp, and Kopetz, Hermann (2005). Virtual Networks in an Integrated Time-Triggered Architecture. In Proc. lOth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, pages 241–253.
Puschner, Peter (2002). Transforming execution-time boundable code into temporally predictable code. In Kleinjohann, Bernd, Kim, K.H. (Kane), Kleinjohann, Lisa, and Rettberg, Achim, editors, Design and Analysis of Distributed Embedded Systems, pages 163–172. Kluwer Academic Publishers. IFIP 17th World Computer Congress-TC 10_Stream on Distributed and Parallel Embedded Systems (DIPES 2002).
Puschner, Peter and Bums, Alan (2000). A review of worst-case execution-time analysis. Journal of Real-Time Systems, 18(2/3): 115–128.
Puschner, Peter and Bums, Alan (2002). Writing temporally predictable code. In Proc. 7th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, pages 85–91.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 International Federation for Information Processing
About this paper
Cite this paper
Puschner, P., Kirner, R. (2006). From Time-Triggered to Time-Deterministic Real-Time Systems. In: Kleinjohann, B., Kleinjohann, L., Machado, R.J., Pereira, C.E., Thiagarajan, P.S. (eds) From Model-Driven Design to Resource Management for Distributed Embedded Systems. DIPES 2006. IFIP International Federation for Information Processing, vol 225. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-39362-9_13
Download citation
DOI: https://doi.org/10.1007/978-0-387-39362-9_13
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-39361-2
Online ISBN: 978-0-387-39362-9
eBook Packages: Computer ScienceComputer Science (R0)