Investigating the usability of real-time scheduling theory with the Cheddar project
From MaRDI portal
Publication:1033676
DOI10.1007/s11241-009-9072-yzbMath1184.68139MaRDI QIDQ1033676
Frank Singhoff, Alain Plantec, Pierre Dissaux, Jérôme Legrand
Publication date: 10 November 2009
Published in: Real-Time Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11241-009-9072-y
68M20: Performance evaluation, queueing, and scheduling in the context of computer systems
Related Items
Uses Software
Cites Work
- Scheduler modeling based on the controller synthesis paradigm
- Investigating the usability of real-time scheduling theory with the Cheddar project
- A note on preemptive scheduling of periodic, real-time tasks
- Schedulability analysis of fixed-priority systems using timed automata
- The tool TINA – Construction of abstract state spaces for petri nets and time petri nets
- Formal Methods for the Design of Real-Time Systems
- Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item