Revisiting Timed Specification Theories: A Linear−Time PerspectiveReport as inadecuate




Revisiting Timed Specification Theories: A Linear−Time Perspective - Download this document for free, or read online. Document in PDF available to download.

Reference: Chris Chilton, Marta Kwiatkowska and Xu Wang, (2012). Revisiting Timed Specification Theories: A Linear−Time Perspective.Citable link to this page:

 

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 speci cation theory for timed automata with I/O distinction, which supports substitutive re nement. 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.

Bibliographic Details

Publisher: DCS

Issue Date: 2012Identifiers

Urn: uuid:9b9877b7-90b2-49a1-ac04-0d76aa4e0942 Item Description

Type: Report; Tiny URL: cs:6168

Relationships





Author: Chris Chilton - - - Marta Kwiatkowska - - - Xu Wang - - - - Bibliographic Details Publisher: DCS - - Issue Date: 2012 - Identifie

Source: https://ora.ox.ac.uk/objects/uuid:9b9877b7-90b2-49a1-ac04-0d76aa4e0942



DOWNLOAD PDF




Related documents