EDF schedulability analysis for an extended Timing Definition Language

International audienceIn 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