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 metadatas

Cited literature [28 references]  Display  Hide  Download

https://hal-onera.archives-ouvertes.fr/hal-01067909
Contributor : Véronique Soullier <>
Submitted on : Wednesday, September 24, 2014 - 12:01:06 PM
Last modification on : Tuesday, March 26, 2019 - 2:28:03 PM
Long-term archiving on : Friday, April 14, 2017 - 4:52:55 PM

File

DTIM14042.1405599757.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01067909, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

218

Files downloads

336