RTLib: A Library of Timed Automata for Modeling Real-Time Systems - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2016

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

Lijun Shan
  • Fonction : Auteur correspondant
  • PersonId : 992959

Connectez-vous pour contacter l'auteur
Susanne Graf

Résumé

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.
Fichier principal
Vignette du fichier
short.pdf (317.69 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01393888 , version 1 (08-11-2016)

Identifiants

  • HAL Id : hal-01393888 , version 1

Citer

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⟩
376 Consultations
507 Téléchargements

Partager

Gmail Facebook X LinkedIn More