Towards EDF schedulability analysis of an extended timing definition language
Tomasz Kloda, Bruno d’Ausbourg, Luca Santinelli · ACM SIGBED Review · 2014
In a time-triggered system activities like releasing of tasks, mode switches, sensor readings are all initiated at predetermined points in real-time. This paper proposes an extension of a time-triggered compositional framework and presents, based on the widely-applied methods, a condition for its schedulability. The pessimism of this condition is then discussed and the new challenges in the compositional analysis of time-triggered systems are raised.