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 realtime 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.
| Original language | English |
|---|---|
| Title of host publication | From Model-Driven Design to Resource Management for Distributed Embedded Systems |
| Editors | B. Kleinjohann |
| Place of Publication | NEW YORK |
| Publisher | Springer Nature |
| Pages | 115-124 |
| Number of pages | 10 |
| ISBN (Electronic) | 0387393625 |
| ISBN (Print) | 0-387-39361-7, 9780387393617 |
| Publication status | Published - 2006 |
| Event | Working Conference on Distributed and Parallel Embedded Systems - Braga Duration: 11 Oct 2005 → 1 Nov 2005 |
Conference
| Conference | Working Conference on Distributed and Parallel Embedded Systems |
|---|---|
| City | Braga |
| Period | 11/10/05 → 1/11/05 |
Keywords
- real-time systems
- time-triggered architecture
- determinism
- time predictability