Modular design of real-time systems using hierarchical communicating real-time state machines

DOI10.1007/S11241-006-5318-0zbMath1103.68380OpenAlexW2052181247MaRDI QIDQ853606

Libero Nigro, Francesco Pupo, Angelo Furfaro

Publication date: 17 November 2006

Published in: Real-Time Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11241-006-5318-0

zbMATH Keywords

modular modellingJavaassertionshierarchical state machinesintegrated development environmentprototypingreal-time constrains

Mathematics Subject Classification ID

Distributed systems (68M14)

Uses Software

• Uppaal

Cites Work

• Statecharts: a visual formalism for complex systems
• A theory of timed automata
• How to verify a Safe real-time system: The application of model checking and timed automata to the production cell case study
• Formal Methods for the Design of Real-Time Systems
• Lectures on Concurrency and Petri Nets
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Modular design of real-time systems using hierarchical communicating real-time state machines