Resource holding times: computation and optimization
Real-Time Systems
Refining SIRAP with a dedicated resource ceiling for self-blocking
EMSOFT '09 Proceedings of the seventh ACM international conference on Embedded software
Automatica (Journal of IFAC)
Improved SIRAP analysis for synchronization in hierarchical scheduled real-time systems
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
Proceedings of the 2010 ACM Symposium on Applied Computing
Sharing resources among independently-developed systems on multi-cores
ACM SIGBED Review
Proceedings of the 21st International conference on Real-Time Networks and Systems
Hi-index | 0.00 |
We study the problem of executing a collection of indepen- dently designed and validated task systems upon a common plat- form comprised of a preemptive processor and additional shared resources. We present an abstract formulation of the problem and identify the major issues that must be addressed in order to solve this problem. We present (and prove the correctness of) algorithms that address these issues, and thereby obtain a design for an open real-time environment in the presence of shared global resources. Keywords: Open environments; Resource-sharing systems; Spo- radic tasks; Critical sections; Earliest Deadline First; Stack Re- source Policy.