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 schedulability analysis for cyber-physical systems
ACM SIGBED Review - Special issue on the RTSS forum on deeply embedded real-time computing
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
Towards hierarchical scheduling in AUTOSAR
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
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
Toward probabilistic real-time calculus
ACM SIGBED Review
A formal approach to design and verification of two-level hierarchical scheduling systems
Ada-Europe'11 Proceedings of the 16th Ada-Europe international conference on Reliable software technologies
RT-Xen: towards real-time hypervisor scheduling in xen
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Timing analysis of component-based embedded systems
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering
ACM Transactions on Embedded Computing Systems (TECS)
Schedulability analysis of EDF-scheduled embedded real-time systems with resource sharing
ACM Transactions on Embedded Computing Systems (TECS)
Proceedings of the 21st International conference on Real-Time Networks and Systems
Hi-index | 0.00 |
This paper focuses on resource sharing in hierarchical fixed priority pre-emptive systems where a number of separate applications, each with its own server, reside on a single processor. It defines the Hierarchical Stack Resource Policy, an appropriate global resource access policy that bounds priority inversion and also limits interference due to overruns during resource access. The paper provides detailed response time analysis enabling the schedulability of application servers and tasks to be determined for systems with local and global resource access. This analysis is applicable to real-world systems where server-based applications need mutually exclusive access to shared resources such as communications buffers, peripheral devices, operating system calls and data structures shared with interrupt handlers.