Modal event-clock specifications for timed component-based design
From MaRDI portal
Publication:1951603
DOI10.1016/j.scico.2011.01.007zbMath1264.68053MaRDI QIDQ1951603
Jean-Baptiste Raclet, Sophie Pinchinat, Axel Legay, Nathalie Bertrand
Publication date: 6 June 2013
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.scico.2011.01.007
product; conjunction; quotient; component-based systems; interface-based design; timed modal specification
68Q45: Formal languages and automata
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
General quantitative specification theories with modal transition systems, Compositionality for quantitative specifications, A linear-time-branching-time spectrum for behavioral specification theories, Refinement checking on parametric modal transition systems, A Linear-Time–Branching-Time Spectrum of Behavioral Specification Theories
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Modal specifications for the control theory of discrete event systems
- Metric interpretations of infinite trees and semantics of non deterministic recursive programs
- Event-clock automata: a determinizable class of timed automata
- A theory of timed automata
- Symbolic model checking for real-time systems
- Presheaf models for CCS-like languages
- Games for synthesis of controllers with partial observation.
- Composition for component-based modeling
- Timed I/O automata
- The Theory of Timed I/O Automata
- Alternating-time temporal logic
- On Modal Refinement and Consistency
- Refinement and Consistency of Timed Modal Specifications
- Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation
- Communicating sequential processes
- Synchronous and Bidirectional Component Interfaces
- Profunctors, open maps and bisimulation
- Automated Technology for Verification and Analysis
- Modal I/O Automata for Interface and Product Line Theories