Methodologies for specification of real-time systems using timed I/O automata

DOI10.1007/978-3-642-17071-3_15MaRDI QIDQ3066127zbMATH OpenOpenAlexFDO

Authors Alexandre David, Axel Legay, Ulrik Nyman, Andrzej Wąsowski, Kim G. 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

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Timed I/O automata: a complete specification theory for real-time systems
• scientific article; zbMATH DE number 2196154
• Robust specification of real time components
• Real-Time Systems
• Revisiting timed specification theories: a linear-time perspective

Cites work

• A process algebraic view of input/output automata
• A theory of timed automata
• An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games
• Compositional Abstraction in Real-Time Model Checking
• CONCUR 2003 - Concurrency Theory
• CONCUR 2005 – Concurrency Theory
• Continuous modeling of real-time and hybrid systems: From concepts to tools
• Efficient on-the-fly algorithm for checking alternating timed simulation
• Event-clock automata: a determinizable class of timed automata
• Handbook of Real-Time and Embedded Systems
• scientific article; zbMATH DE number 4110131 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 2017345 (Why is no real title available?)
• Modal I/O Automata for Interface and Product Line Theories
• On the synthesis of discrete controllers for timed systems
• Refinement and Consistency of Timed Modal Specifications
• The theory of timed I/O automata
• Timed I/O automata: a complete specification theory for real-time systems

Cited in

(5)

• HW/SW components for real-time system Co-design
• Timed I/O automata: a complete specification theory for real-time systems
• A design methodology for distributed real-time automotive applications
• Constraint Markov chains
• Modular design of real-time systems using hierarchical communicating real-time state machines

Describes a project that uses

Uses Software

• Uppaal
• UPPAAL TIGA

This page was built for publication: Methodologies for specification of real-time systems using timed I/O automata

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3066127)