Revisiting Timed Specification Theories: A Linear−Time Perspective

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 pa...

Full description

Bibliographic Details
Main Authors: Chilton, C, Kwiatkowska, M, Wang, X
Format: Report
Published: DCS 2012