Skip to Main content Skip to Navigation
New interface
Conference papers

EDF Schedulability Analysis for an Extended Timing Definition Language

Abstract : In a time-triggered system, activities like task releasing, operational mode switches, sensor readings and actuations are all initiated at predetermined time instants. This paper proposes an extension of the TDL (Timing Definition Language) time- triggered compositional framework, and presents, based on the widely-applied methods, a condition for its schedulability. The schedulability condition developed accounts for multiple concurrently executing modules, multiple operational modes and mode switches. This way the system schedulability can be guaranteed in any execution condition.
Document type :
Conference papers
Complete list of metadata

Cited literature [28 references]  Display  Hide  Download
Contributor : Cécile André Connect in order to contact the contributor
Submitted on : Wednesday, September 24, 2014 - 12:01:06 PM
Last modification on : Thursday, October 28, 2021 - 3:16:37 PM
Long-term archiving on: : Friday, April 14, 2017 - 4:52:55 PM


Files produced by the author(s)


  • HAL Id : hal-01067909, version 1



T. Kloda, B. d'Augsbourg, L. Santinelli. EDF Schedulability Analysis for an Extended Timing Definition Language. 9th IEEE International Symposium on Industrial Embedded Systems, Jun 2014, PISA, Italy. ⟨hal-01067909⟩



Record views


Files downloads