Tools and Algorithms for the Construction and Analysis of Systems

DOI10.1007/B96393MaRDI QIDQ5308410zbMATH OpenOpenAlexFDO

Authors Pavel Krčál, Wang Yi

Publication date 28 September 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b96393

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Formal languages and automata (68Q45)

Recommendations

• Task automata: Schedulability, decidability and undecidability
• scientific article; zbMATH DE number 2080041
• Schedulability analysis of fixed-priority systems using timed automata
• scientific article; zbMATH DE number 1956583
• An undecidable problem for timed automata

Cited in

(11)

• Schedulability analysis of fixed-priority systems using timed automata
• WCET free time analysis of hard real-time systems on multiprocessors: A regular language-based model
• Formal verification of multitasking applications based on timed automata model
• Task automata: Schedulability, decidability and undecidability
• Analysis of scheduling behaviour using generic timed automata
• Time-Bounded Reachability Problem for Recursive Timed Automata is Undecidable
• Solving the time varying postman problems with timed automata
• A survey of timed automata for the development of real-time systems
• scientific article; zbMATH DE number 1956583 (Why is no real title available?)
• scientific article; zbMATH DE number 2080041 (Why is no real title available?)
• Verifying distributed real-time properties of embedded systems via graph transformations and model checking

Describes a project that uses

Uses Software

• TIMES
• Kronos
• HyTech
• Uppaal

This page was built for publication: Tools and Algorithms for the Construction and Analysis of Systems

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