RTLib: A Library of Timed Automata for Modeling Real-Time Systems

Abstract : There exists a large variety of schedulability analysis tools based on different, often incomparable timing analysis models. This variety makes it difficult to choose the best fit for analyzing a given real-time system. We have developed RTLib, a library of timed automata templates that represent the semantics of a large variety of timing related concepts proposed by existing models and corresponding timing analysis tools. The key specificity of RTLib is that it is structured to be modular, such that (1) defining a new variant of a given concept requires only a localized change, and (2) non contradictory variants can be trivially combined. The extensibility of RTLib is demonstrated using five examples ranging from simple variants of the task activation model to the more complex mixed-criticality paradigm. RTLib provides the formal basis needed to compare the concepts offered by models of different timing analysis tools at the semantic level. This in turn will allow us to provide a syntactic mapping between the input of different tools. Our final goal is to help the research community to better evaluate analysis models and their underlying methods.
Type de document :
Rapport
[Research Report] Grenoble 1 UGA - Université Grenoble Alpe; INRIA Grenoble - Rhone-Alpes. 2016
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-01393888
Contributeur : Lijun Shan <>
Soumis le : mardi 8 novembre 2016 - 11:51:57
Dernière modification le : samedi 12 novembre 2016 - 01:02:02
Document(s) archivé(s) le : mardi 14 mars 2017 - 19:11:25

Fichier

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

Identifiants

  • HAL Id : hal-01393888, version 1

Collections

IMAG | INRIA | LARA | UGA

Citation

Lijun Shan, Susanne Graf, Sophie Quinton. RTLib: A Library of Timed Automata for Modeling Real-Time Systems. [Research Report] Grenoble 1 UGA - Université Grenoble Alpe; INRIA Grenoble - Rhone-Alpes. 2016. 〈hal-01393888〉

Partager

Métriques

Consultations de
la notice

155

Téléchargements du document

222