Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Conference papers

A Framework for Evaluating Schedulability Analysis Tools

Abstract : 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [25 references]  Display  Hide  Download
Contributor : Sophie Quinton Connect in order to contact the contributor
Submitted on : Wednesday, January 3, 2018 - 3:05:28 PM
Last modification on : Wednesday, July 6, 2022 - 4:14:50 AM
Long-term archiving on: : Thursday, May 3, 2018 - 9:52:51 AM


Files produced by the author(s)


  • 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⟩



Record views


Files downloads