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.
Type de document :
Communication dans un congrès
Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday, Aug 2017, Aalborg, Denmark
Liste complète des métadonnées

Littérature citée [30 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01674731
Contributeur : Sophie Quinton <>
Soumis le : mercredi 3 janvier 2018 - 15:05:28
Dernière modification le : mercredi 11 avril 2018 - 01:52:45

Fichier

KimFest17.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01674731, version 1

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〉

Partager

Métriques

Consultations de la notice

96

Téléchargements de fichiers

59