Practical Voltage-Scaling for Fixed-Priority RT-Systems
RTAS '03 Proceedings of the The 9th IEEE Real-Time and Embedded Technology and Applications Symposium
Evolving real-time systems using hierarchical scheduling and concurrency analysis
RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium
Scheduling within temporal partitions: response-time analysis and server design
Proceedings of the 4th ACM international conference on Embedded software
Real-Time Systems
Incremental schedulability analysis of hierarchical real-time components
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
A methodology for designing hierarchical scheduling systems
Journal of Embedded Computing - Real-Time Systems (Euromicro RTS-03)
SIRAP: a synchronization protocol for hierarchical resource sharingin real-time open systems
EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
Compositional real-time scheduling framework with periodic model
ACM Transactions on Embedded Computing Systems (TECS)
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
QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
A Hierarchical Framework for Component-based Real-time Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Self-tuning schedulers for legacy real-time applications
Proceedings of the 5th European conference on Computer systems
Towards budgeting in real-time calculus: deferrable servers
FORMATS'07 Proceedings of the 5th international conference on Formal modeling and analysis of timed systems
A process algebraic framework for modeling resource demand and supply
FORMATS'10 Proceedings of the 8th international conference on Formal modeling and analysis of timed systems
Implementation of compositional scheduling framework on virtualization
ACM SIGBED Review
Sharing resources among independently-developed systems on multi-cores
ACM SIGBED Review
RT-Xen: towards real-time hypervisor scheduling in xen
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Theoretical Computer Science
A compositional framework for real-time embedded systems
ISAS'05 Proceedings of the Second international conference on Service Availability
Kernel-level ARINC 653 partitioning for Linux
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Decoupled inter- and intra-application scheduling for composable and robust embedded MPSoC platforms
Proceedings of the 15th International Workshop on Software and Compilers for Embedded Systems
Flattening hierarchical scheduling
Proceedings of the tenth ACM international conference on Embedded software
Schedulability analysis of EDF-scheduled embedded real-time systems with resource sharing
ACM Transactions on Embedded Computing Systems (TECS)
Virtualization for safety-critical, deeply-embedded devices
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Holistic design parameter optimization of multiple periodic resources in hierarchical scheduling
Proceedings of the Conference on Design, Automation and Test in Europe
A comparison of compositional schedulability analysis techniques for hierarchical real-time systems
ACM Transactions on Embedded Computing Systems (TECS)
Fault-tolerant hierarchical real-time scheduling with backup partitions on single processor
ACM SIGBED Review - Special Issue on the 5th Workshop on Adaptive and Reconfigurable Embedded Systems
Hi-index | 0.00 |
Reservation-based operating systems provide applications with guaranteed and timely access to system resources. One of their chief benefits is temporal isolation, which prevents the timing mis-behavior of one task from interfering with other tasks. Such a benefit is appealing enough that many systems [2, 8] desire to recursively apply this reservation model to each of their components. This recursive application provides flexible load isolation among applications, users and other high-level resource management entities such as aggregated flows for network bandwith. The hierarchical reservation study can be applied to hierarchical schedulers [5, 6], that support heterogenous scheduling algorithms. We propose and analyze a hierarchical reservation model in the context of fixed-priority scheduling, rate-monotonic and deadline-monotonic, as used in systems such as the Resource Kernel [11]. Detailed schedulability analyses under both deferrable-server and sporadic-server replenishment schemes, including exact completion time tests under hierarchical deadline-monotonic schedulers, are presented. We also derive the least upper scheduling bound for hierarchicalrate-monotonic schedulers. Finally, we describe how to apply multi-reserve PCP [4 ], an extension of the Priority Ceiling Protocol for reservation-based systems, to allow tasks to share non-preemptable resources across the hierarchy.