A Framework for Evaluating Schedulability Analysis Tools

Lijun Shan 1 Susanne Graf 1 Sophie Quinton 2 Loïc Fejoz 3
1 VERIMAG - IMAG - VERIMAG
2 SPADES - Sound Programming of Adaptive Dependable Embedded Systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
3 MOSEL - Proof-oriented development of computer-based systems
LORIA - FM - Department of Formal Methods
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.
Keywords : real-time systems schedulability analysis formal semantics
Document type :
Conference papers
Liste complète des métadonnées

Cited literature [25 references]  Display  Hide  Download
https://hal.inria.fr/hal-01674731
Contributor : Sophie Quinton <>
Submitted on : Wednesday, January 3, 2018 - 3:05:28 PM
Last modification on : Thursday, February 7, 2019 - 4:47:25 PM
Document(s) archivé(s) le : Thursday, May 3, 2018 - 9:52:51 AM

File

KimFest17.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01674731, version 1

Collections

IMAG | UGA | INRIA | LORIA | UNIV-LORRAINE | INRIA2017 | LORIA-FM | LIG-MFML-SPADES | LIG | VERIMAG

Citation

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

237

Files downloads

193

Contact


archive-ouverte@inria.fr