Implementing timed automata specifications: the "sandwich" approach - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

Implementing timed automata specifications: the "sandwich" approach

Résumé

From a highly distributed timed automata specification, the paper analyses an implementation in the form of a looping controller, launching possibly many tasks in each cycle. Qualitative and quantitative constraints are distinguished on the specification to allow such an implementation, and the analysis of the semantic differences between the specification and the implementation leads to define an overapproximating model. The implementation is then "sandwiched" between the original specification and the new model, allowing to check if the important properties of the specification are preserved by the implementation.
Fichier principal
Vignette du fichier
sandwich.pdf (349.7 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00841771 , version 1 (17-07-2013)

Identifiants

Citer

Raymond Devillers, Jean-Yves Didier, Hanna Klaudel. Implementing timed automata specifications: the "sandwich" approach. 13th International Conference on Application of Concurrency to System Design (ACSD 2013), Jul 2013, Barcelona, Spain. pp.233--242, ⟨10.1109/ACSD.2013.26⟩. ⟨hal-00841771⟩
216 Consultations
215 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More