Schedulability analysis of real time actor systems using coloured Petri nets

DOI10.1007/3-540-45397-0_21MaRDI QIDQ2761742zbMATH OpenFDO

Authors Libero Nigro, Francesco Pupo

Publication date 7 January 2002

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/2001/20010493

zbMATH Keywords

Actors, modularity, real time, design/CPN, temporal analysis, occurrence graphs

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computing methodologies and applications (68U99)

Review text

This paper proposes a modular and real-time actor language which addresses timing predictability through a holistic integration of an application with its operating software, i.e., scheduling algorithm. The actor language fosters a development life cycle where the same concepts and entities migrate unchanged from specification down to design and object-oriented implementation. The paper concentrates on the specification and analysis of distributed real-time systems using Coloured Petri Nets. Both functional and temporal properties can be validated by simulation and occurrence graphs in the context of the Design/CPN tools. For the entire collection see [Zbl 0976.68544].

Recommendations

• Compositional schedulability analysis of real-time actor-based systems
• Schedulability of asynchronous real-time concurrent objects
• scientific article; zbMATH DE number 2058666
• scientific article; zbMATH DE number 1070535
• scientific article; zbMATH DE number 2088937

Cited in

(5)

• Schedulability of asynchronous real-time concurrent objects
• Real-time deadlock-free scheduling for semiconductor track systems based on colored timed Petri nets
• Compositional schedulability analysis of real-time actor-based systems
• Testing Concurrent Objects with Application-Specific Schedulers
• Modular design of real-time systems using hierarchical communicating real-time state machines

This page was built for publication: Schedulability analysis of real time actor systems using coloured Petri nets

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