Modal event-clock specifications for timed component-based design

DOI10.1016/j.scico.2011.01.007zbMath1264.68053OpenAlexW1973154247MaRDI 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

productconjunctionquotientcomponent-based systemsinterface-based designtimed modal specification

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (5)

General quantitative specification theories with modal transition systems ⋮ A Linear-Time–Branching-Time Spectrum of Behavioral Specification Theories ⋮ Compositionality for quantitative specifications ⋮ A linear-time-branching-time spectrum for behavioral specification theories ⋮ Refinement checking on parametric modal transition systems

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

This page was built for publication: Modal event-clock specifications for timed component-based design