Abstract-In this paper, we show that both global as well as local schedulability analysis of synchronization protocols based on the stack resource policy (SRP) and overrun without payback for hierarchical scheduling frameworks based on fixed-priority preemptive scheduling (FPPS) are pessimistic. We present tighter global and local schedulability analysis, illustrate the improvements of the new analysis by means of examples, and show that the improved global analysis is both uniform and sustainable. We evaluate the new global and local schedulability analysis based on an extensive simulation study and compare the results with the existing analysis.
In addition, REF improved on the local schedulability analysis by using the EDP resource model instead of the periodic resource model.
Tighter Schedulability Analysis of Synchronization Protocols Based on Overrun without Payback for Hierarchical Scheduling Frameworks
2011 16th IEEE International Conference on Engineering of Complex Computer Systems
2011 16th IEEE International Conference on Engineering of Complex Computer Systems
Computer Science