Abstraction strategies for computing travelling or looping durations in networks of timed automata - Informatique, Biologie Intégrative et Systèmes Complexes Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Abstraction strategies for computing travelling or looping durations in networks of timed automata

Raymond Devillers
  • Fonction : Auteur
  • PersonId : 855780

Résumé

This paper shows how to abstract networks of timed automata in order to accelerate the analysis of quantitative properties such as path or cycle duration, that would otherwise suffer from the state space explosion. Two approaches are introduced, a single step strategy and an iterative one, where a part of the network of timed automata is merged and abstracted. As a consequence, the state space is reduced and model-checking is simplified. These approaches are illustrated on a case study, where the comparison is done by calculating the cycle time of one automaton in the network, both on the real network and on the two abstracted ones, showing that the method reduces significantly the runtime, or simply renders feasible the analysis of the system.
Fichier principal
Vignette du fichier
Devillers-Klaudel2016.pdf (299.08 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01364726 , version 1 (18-07-2018)

Identifiants

Citer

Raymond Devillers, Hanna Klaudel. Abstraction strategies for computing travelling or looping durations in networks of timed automata. 14th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2016), Aug 2016, Quebec, Canada. pp.140--156, ⟨10.1007/978-3-319-44878-7_9⟩. ⟨hal-01364726⟩
96 Consultations
89 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More