Theoretical Computer Science
Holistic schedulability analysis for distributed hard real-time systems
Microprocessing and Microprogramming - Parallel processing in embedded real-time systems
Information and Computation
Discrete-time control for rectangular hybrid automata
Theoretical Computer Science
Automata For Modeling Real-Time Systems
ICALP '90 Proceedings of the 17th International Colloquium on Automata, Languages and Programming
Timing Assumptions and Verification of Finite-State Concurrent Systems
Proceedings of the International Workshop on Automatic Verification Methods for Finite State Systems
Real-time scheduling of tasks that contain the external blocking intervals
RTCSA '95 Proceedings of the 2nd International Workshop on Real-Time Computing Systems and Applications
Scheduling a Steel Plant with Timed Automata
RTCSA '99 Proceedings of the Sixth International Conference on Real-Time Computing Systems and Applications
Schedulability Analysis for Tasks with Static and Dynamic Offsets
RTSS '98 Proceedings of the IEEE Real-Time Systems Symposium
Minimal schedulability interval for real-time systems of periodic tasks with offsets
Theoretical Computer Science
Negative Results for Scheduling Independent Hard Real-Time Tasks with Self-Suspensions
RTSS '04 Proceedings of the 25th IEEE International Real-Time Systems Symposium
Task automata: Schedulability, decidability and undecidability
Information and Computation
Partitioned Fixed-Priority Preemptive Scheduling for Multi-core Processors
ECRTS '09 Proceedings of the 2009 21st Euromicro Conference on Real-Time Systems
Task Scheduling with Self-Suspensions in Soft Real-Time Multiprocessor Systems
RTSS '09 Proceedings of the 2009 30th IEEE Real-Time Systems Symposium
Coordinated Task Scheduling, Allocation and Synchronization on Multiprocessors
RTSS '09 Proceedings of the 2009 30th IEEE Real-Time Systems Symposium
UPPAAL-Tiga: time for playing games!
CAV'07 Proceedings of the 19th international conference on Computer aided verification
Scheduling Self-Suspending Real-Time Tasks with Rate-Monotonic Priorities
RTAS '10 Proceedings of the 2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium
Improving the Schedulability of Sporadic Self-Suspending Soft Real-Time Multiprocessor Task Systems
RTCSA '10 Proceedings of the 2010 IEEE 16th International Conference on Embedded and Real-Time Computing Systems and Applications
Hi-index | 0.00 |
In this paper, we address the problem of scheduling periodic, possibly self-suspending, real-time tasks. We show how to use model checking to obtain both a necessary and sufficient feasibility test, and a schedulability test for classical scheduling policies (RM, DM, EDF). When these algorithms fail to schedule a feasible system, we show how to generate an appropriate scheduler. We provide also a method to test the sustainability of a schedule w.r.t execution and suspension durations. Finally, using a model checking tool we validate our approach.