Formal Methods for the Design of Real-Time Systems

DOI10.1007/b110123zbMath1105.68352OpenAlexW36240330MaRDI QIDQ5494311

Marius Bozga, Susanne Graf, Joseph Sifakis, Ileana Ober, Iulian Ober

Publication date: 19 October 2006

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

Full work available at URL: https://doi.org/10.1007/b110123

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (16)

Verifying distributed real-time properties of embedded systems via graph transformations and model checking ⋮ Schedulability of asynchronous real-time concurrent objects ⋮ Specification and analysis of the AER/NCA active network protocol suite in real-time Maude ⋮ Semantics and pragmatics of real-time maude ⋮ A survey of timed automata for the development of real-time systems ⋮ Model-checking timed automata with deadlines with Uppaal ⋮ Efficient verification of distributed real-time systems with broadcasting behaviors ⋮ Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets ⋮ TCTL-preserving translations from timed-arc Petri nets to networks of timed automata ⋮ Model Checking of Extended OCL Constraints on UML Models in SOCLe ⋮ Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format ⋮ Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude ⋮ Verification of Timed-Arc Petri Nets ⋮ IF-2.0 ⋮ A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed Automata ⋮ Recent Advances in Real-Time Maude

This page was built for publication: Formal Methods for the Design of Real-Time Systems