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

DOI10.1007/S11241-006-5318-0MaRDI QIDQ853606zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

assertionshierarchical state machinesintegrated development environmentJavamodular modellingprototypingreal-time constrains

Mathematics Subject Classification ID

Distributed systems (68M14)

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

Cites work

• A theory of timed automata
• Formal Methods for the Design of Real-Time Systems
• How to verify a Safe real-time system: The application of model checking and timed automata to the production cell case study
• scientific article; zbMATH DE number 1686287 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 465728 (Why is no real title available?)
• scientific article; zbMATH DE number 1006119 (Why is no real title available?)
• scientific article; zbMATH DE number 2153624 (Why is no real title available?)
• scientific article; zbMATH DE number 763725 (Why is no real title available?)
• Lectures on Concurrency and Petri Nets
• Statecharts: a visual formalism for complex systems

Cited in

(4)

• scientific article; zbMATH DE number 2088937 (Why is no real title available?)
• A design methodology for distributed real-time automotive applications
• Combining mascot with modula-2 to aid the engineering of real-time systems
• Mode change protocols for real-time systems: a survey and a new proposal

Describes a project that uses

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)