Methodologies for Specification of Real-Time Systems Using Timed I/O Automata

DOI10.1007/978-3-642-17071-3_15zbMath1312.68131MaRDI QIDQ3066127

Axel Legay, Alexandre David, Ulrik Nyman, Andrzej Wąsowski, Kim Guldstrand Larsen

Publication date: 8 January 2011

Published in: Formal Methods for Components and Objects (Search for Journal in Brave)

Full work available at URL: https://vbn.aau.dk/da/publications/e86f7333-27b6-48ed-88f6-4046b1578b8f

Mathematics Subject Classification ID

68Q45: Formal languages and automata

68Q60: Specification and verification (program logics, model checking, etc.)

Related Items

Constraint Markov chains

Uses Software

• Uppaal
• UPPAAL TIGA

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A process algebraic view of input/output automata
• Event-clock automata: a determinizable class of timed automata
• A theory of timed automata
• Continuous modeling of real-time and hybrid systems: From concepts to tools
• Timed I/O automata
• The Theory of Timed I/O Automata, Second Edition
• Compositional Abstraction in Real-Time Model Checking
• Refinement and Consistency of Timed Modal Specifications
• Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation
• On the synthesis of discrete controllers for timed systems
• Handbook of Real-Time and Embedded Systems
• An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games
• Modal I/O Automata for Interface and Product Line Theories
• CONCUR 2005 – Concurrency Theory
• CONCUR 2003 - Concurrency Theory