MODELING AND ANALYSIS OF REAL-TIME SYSTEMS WITH MUTEX COMPONENTS
From MaRDI portal
Publication:4902881
DOI10.1142/S0129054112400382zbMath1255.68101MaRDI QIDQ4902881
Shoji Yuen, Xiaojuan Cai, Guo Qiang 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
68Q45: Formal languages and automata
68M20: Performance evaluation, queueing, and scheduling in the context of computer systems
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Uses Software
Cites Work
- Unnamed Item
- On the expressiveness of interaction
- A theory of timed automata
- Symbolic model checking for real-time systems
- Composition for component-based modeling
- Decidable integration graphs.
- Uppaal in a nutshell
- Updatable timed automata
- Schedulability analysis of fixed-priority systems using timed automata
- Task automata: Schedulability, decidability and undecidability
- A property of partially specified automata