Modular design of real-time systems using hierarchical communicating real-time state machines
From MaRDI portal
Publication:853606
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
- Modeling and schedulability analysis of hard real-time distributed systems based on Ada components
- scientific article; zbMATH DE number 2176488
Cites work
- A theory of timed automata
- Formal Methods for the Design of Real-Time Systems
- Hard real-time computing systems. Predictable scheduling algorithms and applications.
- 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 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 763725 (Why is no real title available?)
- Schedulability analysis of real time actor systems using coloured Petri nets
- Statecharts: a visual formalism for complex systems
- Timed automata: Semantics, algorithms and tools
Cited in
(4)- Modeling and schedulability analysis of hard real-time distributed systems based on Ada components
- 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
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)
