Modeling real-time systems -- challenges and work directions

DOI10.1007/3-540-45449-7_26MaRDI QIDQ4473739zbMATH OpenFDO

Authors Joseph Sifakis

Publication date 4 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

• Embedded software: Challenges and opportunities
• 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
• Embedded systems and real-time programming

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?)
• An industrial perspective on soft issues: Successes, opportunities, and challenges
• 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: Modeling real-time systems -- challenges and work directions

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