Revisiting Timed Specification Theories: A Linear-Time Perspective

Abstract : We consider the setting of component-based design for real-time systems with critical timing constraints. Based on our earlier work, we propose a compositional specification theory for timed automata with I/O distinction, which supports substitutive refinement. Our theory provides the operations of parallel composition for composing components at run-time, logical conjunction/disjunction for independent development, and quotient for incremental synthesis. The key novelty of our timed theory lies in a weakest congruence preserving safety as well as bounded liveness properties. We show that the congruence can be characterised by two linear-time semantics, timed-traces and timed-strategies, the latter of which is derived from a game-based interpretation of timed interaction.
Type de document :
Communication dans un congrès
Marcin Jurdzinski and Dejan Nickovic. 10th International Conference on Formal Modeling and Analysis of Timed Systems, Sep 2012, London, United Kingdom. Springer, 7595, pp.75-90, 2012, Lecture Notes in Computer Science
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00739584
Contributeur : Hongyang Qu <>
Soumis le : mardi 9 octobre 2012 - 16:55:34
Dernière modification le : mercredi 10 octobre 2012 - 11:32:26
Document(s) archivé(s) le : vendredi 16 décembre 2016 - 21:30:17

Fichier

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

Identifiants

  • HAL Id : hal-00739584, version 1

Collections

Citation

Chris Chilton, Marta Kwiatkowska, Xu Wang. Revisiting Timed Specification Theories: A Linear-Time Perspective. Marcin Jurdzinski and Dejan Nickovic. 10th International Conference on Formal Modeling and Analysis of Timed Systems, Sep 2012, London, United Kingdom. Springer, 7595, pp.75-90, 2012, Lecture Notes in Computer Science. 〈hal-00739584〉

Partager

Métriques

Consultations de la notice

78

Téléchargements de fichiers

47