Sciweavers

Share
HYBRID
2010
Springer

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

9 years 3 months ago
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
Alexandre David, Kim G. Larsen, Axel Legay, Ulrik
Added 11 Feb 2011
Updated 11 Feb 2011
Type Journal
Year 2010
Where HYBRID
Authors Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski
Comments (0)
books