Composing real-time concurrent objects refinement, compatibility and schedulability

DOI10.1007/978-3-642-29320-7_7MaRDI QIDQ2894555zbMATH OpenOpenAlexFDO

Authors Mohammad Mahdi Jaghoori

Publication date 29 June 2012

Published in Fundamentals of Software Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-29320-7_7

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Schedulability of asynchronous real-time concurrent objects
• Compositional schedulability analysis of real-time actor-based systems
• Modular Schedulability Analysis of Concurrent Objects in Creol
• scientific article; zbMATH DE number 1949613
• Action refinement for real-time concurrent processes with urgency

Cited in

(6)

• Compositional multiprocessor scheduling: the GMPR interface
• Schedulability of asynchronous real-time concurrent objects
• Modular Schedulability Analysis of Concurrent Objects in Creol
• scientific article; zbMATH DE number 2085185 (Why is no real title available?)
• Compositional schedulability analysis of real-time actor-based systems
• Refinement of Timing Constraints for Concurrent Tasks with Scheduling

This page was built for publication: Composing real-time concurrent objects refinement, compatibility and schedulability

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