A Framework for Evaluating Schedulability Analysis Tools - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2017

A Framework for Evaluating Schedulability Analysis Tools

Lijun Shan
  • Function : Author
  • PersonId : 992959
Susanne Graf
Loïc Fejoz
  • Function : Author
  • PersonId : 831090


There exists a large variety of schedulability analysis tools based on dierent, often incomparable timing models. This variety makes it dicult to choose the best t for analyzing a given real-time system. To help the research community to better evaluate analysis tools and their underlying methods, we are developing a framework which consists of (1) a simple language called RTSpec for specifying real-time systems, (2) a tool chain which translates a system specication in RTSpec into an input for various analysis tools, and (3) a set of benchmarks. Our goal is to enable users and developers of schedulability analysis tools to compare such tools systematically, automatically and rigorously.
Fichier principal
Vignette du fichier
KimFest17.pdf (402.74 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01674731 , version 1 (03-01-2018)


  • HAL Id : hal-01674731 , version 1


Lijun Shan, Susanne Graf, Sophie Quinton, Loïc Fejoz. A Framework for Evaluating Schedulability Analysis Tools. Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday, Aug 2017, Aalborg, Denmark. ⟨hal-01674731⟩
201 View
944 Download


Gmail Facebook X LinkedIn More