Towards EDF Schedulability Analysis of an Extended Timing Definition Language
Résumé
In a time-triggered system activities like releasing of tasks, mode switches, sensor readings are all initiated at prede-termined 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.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...