Toward Parametric Timed Interfaces for Real-Time Components

Youcheng Sun, Giuseppe Lipari, Étienne André, Laurent Fribourg

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


We propose here a framework to model real-time components consisting of concurrent real-time tasks running on a single processor, using parametric timed automata. Our framework is generic and modular, so as to be easily adapted to different schedulers and more complex task models. We first perform a parametric schedulability analysis of the components using the inverse method. We show that the method unfortunately does not provide satisfactory results when the task periods are consid- ered as parameters. After identifying and explaining the problem, we present a solution adapting the model by making use of the worst-case scenario in schedulability analysis. We show that the analysis with the inverse method always converges on the modified model when the system load is strictly less than 100%. Finally, we show how to use our parametric analysis for the generation of timed interfaces in compositional system design.
Original languageEnglish
Title of host publicationProceedings 1st International Workshop on Synthesis of Continuous Parameters (SynCoP)
EditorsÉtienne André, Goran Frehse
Number of pages16
Publication statusPublished - 31 Mar 2014

Publication series

NameElectronic Proceedings in Theoretical Computer Science
PublisherOpen Publishing Association
ISSN (Print)2075-2180


  • Real-Time Scheduling
  • Parametric Schedulability Analysis
  • Parametric Timed Automata


Dive into the research topics of 'Toward Parametric Timed Interfaces for Real-Time Components'. Together they form a unique fingerprint.

Cite this