Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [18 references]  Display  Hide  Download
Contributor : Hongyang Qu Connect in order to contact the contributor
Submitted on : Tuesday, October 9, 2012 - 4:55:34 PM
Last modification on : Wednesday, October 10, 2012 - 11:32:26 AM
Long-term archiving on: : Friday, December 16, 2016 - 9:30:17 PM


Files produced by the author(s)


  • HAL Id : hal-00739584, version 1



Chris Chilton, Marta Kwiatkowska, Xu Wang. Revisiting Timed Specification Theories: A Linear-Time Perspective. 10th International Conference on Formal Modeling and Analysis of Timed Systems, Sep 2012, London, United Kingdom. pp.75-90. ⟨hal-00739584⟩



Record views


Files downloads