Robust specification of real time components

DOI10.1007/978-3-642-24310-3_10MaRDI QIDQ3172848zbMATHOpenAlexFDO

Authors Axel Legay, Louis-Marie Traonouez, Andrzej Wąsowski, Kim G. Larsen

Publication date 7 October 2011

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-24310-3_10

Mathematics Subject Classification ID

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

Recommendations

• Robust synthesis for real-time systems
• Timed I/O automata: a complete specification theory for real-time systems
• A specification theory of real-time processes
• Revisiting timed specification theories: a linear-time perspective
• Rigorous implementation of real-time systems -- from theory to application

Cites work

• A theory of timed automata
• Almost ASAP semantics: from timed models to timed implementations
• CONCUR 2005 – Concurrency Theory
• Efficient on-the-fly algorithm for checking alternating timed simulation
• On the synthesis of discrete controllers for timed systems
• Quantitative robustness analysis of flat timed automata
• Robust Analysis of Timed Automata Via Channel Machines
• Robust Model-Checking of Linear-Time Properties in Timed Automata
• Robust safety of timed automata
• Timed I/O automata: a complete specification theory for real-time systems
• Timed Parity Games: Complexity and Robustness

Cited in

(11)

• SOFSEM 2005: Theory and Practice of Computer Science
• Modeling and specification of real-time interfaces with UTP
• Methodologies for specification of real-time systems using timed I/O automata
• A survey of timed automata for the development of real-time systems
• Controller synthesis for dynamic hierarchical real-time plants using timed automata
• New results on timed specifications
• Timed I/O automata: a complete specification theory for real-time systems
• Compositionality for quantitative specifications
• Robust synthesis for real-time systems
• Revisiting timed specification theories: a linear-time perspective
• Robust reachability in timed automata and games: a game-based approach

Describes a project that uses

Uses Software

• ECDAR

This page was built for publication: Robust specification of real time components

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