Modal event-clock specifications for timed component-based design

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

zbMATH Keywords

product; conjunction; quotient; component-based systems; interface-based design; timed modal specification

Mathematics Subject Classification ID

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

• UPPAAL TIGA

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