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

DOI10.1007/S11241-006-5318-0zbMATH Open1103.68380OpenAlexW2052181247MaRDI QIDQ853606FDOQ853606

Authors: Angelo Furfaro, Libero Nigro, Francesco Pupo 

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

Recommendations

• Methodologies for specification of real-time systems using timed I/O automata
• Modular abstractions for verifying real-time distributed systems
• A wide-spectrum language for object-based development of real-time systems
• scientific article; zbMATH DE number 2088937
• scientific article; zbMATH DE number 2176488

zbMATH Keywords

Javaassertionshierarchical state machinesintegrated development environmentmodular modellingprototypingreal-time constrains

Mathematics Subject Classification ID

Distributed systems (68M14)

Cites Work

• Formal Methods for the Design of Real-Time Systems
• Statecharts: a visual formalism for complex systems
• A theory of timed automata
• Title not available (Why is that?)
• Lectures on Concurrency and Petri Nets
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• How to verify a Safe real-time system: The application of model checking and timed automata to the production cell case study
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (4)

• Mode change protocols for real-time systems: a survey and a new proposal
• Title not available (Why is that?)
• Combining mascot with modula-2 to aid the engineering of real-time systems
• A design methodology for distributed real-time automotive applications

Uses Software

• Uppaal

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q853606)