Modeling and analysis of real-time systems with mutex components

DOI10.1142/S0129054112400382MaRDI QIDQ4902881zbMATH OpenOpenAlexFDO

Authors Xiaojuan Cai, Shoji Yuen, Guoqiang Li

Publication date 18 January 2013

Published in International Journal of Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/s0129054112400382

zbMATH Keywords

controller automatamutexreal-time systemstimed automata

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1507209
• scientific article; zbMATH DE number 434871
• scientific article; zbMATH DE number 2102690
• scientific article; zbMATH DE number 795181
• Logical time control of concurrent DES

Cites work

• A property of partially specified automata
• A theory of timed automata
• Composition for component-based modeling
• Decidable integration graphs.
• scientific article; zbMATH DE number 1106353 (Why is no real title available?)
• On the expressiveness of interaction
• Schedulability analysis of fixed-priority systems using timed automata
• Symbolic model checking for real-time systems
• Task automata: Schedulability, decidability and undecidability
• Updatable timed automata
• Uppaal in a nutshell

Describes a project that uses

Uses Software

• TIMES
• Maude

This page was built for publication: Modeling and analysis of real-time systems with mutex components

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