Timed I/O automata: a complete specification theory for real-time systems

A specification theory combines notions of specifications and implementations with a satisfaction relation, a refinement relation and a set of operators supporting stepwise design. We develop a complete specification framework for real-time systems using Timed I/O Automata as the specification formalism, with the semantics expressed in terms of Timed I/O Transition Systems. We provide constructs for refinement, consistency checking, logical and structural composition, and quotient of specifications

• Type: Journal
• Year: 2010
• Where: HYBRID
• Authors: Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski
• Keywords: Complete Specification Framework, Control Systems, HYBRID 2010, Specifications, Theory