scientific article; zbMATH DE number 2080772

MaRDI QIDQ4473739zbMATH OpenFDO

Authors Joseph Sifakis

Publication date 4 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2211/22110373.htm

Mathematics Subject Classification ID

Computer system organization (68M99) Theory of software (68N99)

Recommendations

• scientific article; zbMATH DE number 2080774
• Verification and Integration of Real-Time Control Software
• Applications and Theory of Petri Nets 2004
• Model driven middleware: A new paradigm for developing distributed real-time and embedded systems
• scientific article; zbMATH DE number 2080779

Cited in

(13)

• Replication management in reliable real-time systems
• Assessing the robustness of arrival curves models for real-time systems
• Rigorous implementation of real-time systems -- from theory to application
• Time is not enough: dealing with behavior in real-time systems
• Flexible and dynamic replication control for interdependent distributed real-time embedded systems
• Cross-Checking - Enhanced Over-Approximation of the Reachable Global State Space of Component-Based Systems
• OOPM/RT
• scientific article; zbMATH DE number 2176488 (Why is no real title available?)
• scientific article; zbMATH DE number 2086492 (Why is no real title available?)
• Deriving Complexity Results for Interaction Systems from 1-Safe Petri Nets
• Specifying multi-level security for an embedded real-time control system
• Mode change protocols for real-time systems: a survey and a new proposal
• Time variant dynamic models in diagnosing of real-time computer systems

Describes a project that uses

Uses Software

• TAXYS
• Kronos
• SIGNAL

This page was built for publication:

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