MODELING AND ANALYSIS OF REAL-TIME SYSTEMS WITH MUTEX COMPONENTS

DOI10.1142/S0129054112400382zbMath1255.68101OpenAlexW2089327660MaRDI 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

zbMATH Keywords

real-time systemstimed automatamutexcontroller automata

Mathematics Subject Classification ID

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

Uses Software

• TIMES
• Maude

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

This page was built for publication: MODELING AND ANALYSIS OF REAL-TIME SYSTEMS WITH MUTEX COMPONENTS