From time-triggered to time-deterministic real-time systems

Peter Puschner, Raimund Kirner

Research output: Chapter in Book/Report/Conference proceedingConference contribution

10 Citations (Scopus)
17 Downloads (Pure)


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 languageEnglish
Title of host publicationFrom Model-Driven Design to Resource Management for Distributed Embedded Systems
EditorsB. Kleinjohann
Place of PublicationNEW YORK
PublisherSpringer Nature
Number of pages10
ISBN (Electronic)0387393625
ISBN (Print)0-387-39361-7, 9780387393617
Publication statusPublished - 2006
EventWorking Conference on Distributed and Parallel Embedded Systems - Braga
Duration: 11 Oct 20051 Nov 2005


ConferenceWorking Conference on Distributed and Parallel Embedded Systems


  • real-time systems
  • time-triggered architecture
  • determinism
  • time predictability


Dive into the research topics of 'From time-triggered to time-deterministic real-time systems'. Together they form a unique fingerprint.

Cite this