scientific article; zbMATH DE number 2080041

MaRDI QIDQ4472228zbMATH OpenFDO

Authors Elena Fersman, Paul Pettersson, Wang Yi

Publication date 4 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2280/22800067.htm

Mathematics Subject Classification ID

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)

Recommendations

• Task automata: Schedulability, decidability and undecidability
• Tools and Algorithms for the Construction and Analysis of Systems
• Schedulability analysis of fixed-priority systems using timed automata
• scientific article; zbMATH DE number 2147037
• A theory of timed automata

Cited in

(18)

• Task automata: Schedulability, decidability and undecidability
• Models and formal verification of multiprocessor system-on-chips
• Scheduling with timed automata
• Formal verification of multitasking applications based on timed automata model
• scientific article; zbMATH DE number 1956583 (Why is no real title available?)
• A survey of timed automata for the development of real-time systems
• Coverability problem of asynchronous multi-process timed automata
• Spotlight abstraction in model checking real-time task schedulability
• State-based scheduling with tree schedules: analysis and evaluation
• PADS: an approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling
• Schedulability of asynchronous real-time concurrent objects
• On global scheduling independency in networks of timed automata
• scientific article; zbMATH DE number 2147037 (Why is no real title available?)
• scientific article; zbMATH DE number 1760151 (Why is no real title available?)
• A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems
• Tools and Algorithms for the Construction and Analysis of Systems
• Graph-based models for real-time workload: a survey
• Schedulability analysis of fixed-priority systems using timed automata

Describes a project that uses

Uses Software

• Kronos
• TIMES
• Uppaal

This page was built for publication:

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