Schedulability analysis of synchronization protocols based on overrun without payback for hierarchical scheduling frameworks revisited
Reinder J. Bril, U Ugur Keskin, Moris Behnam, Thomas Nolte · TU/e Research Portal · 2009
In this paper, we revisit global as well as local schedulability analysis of synchronization protocols based on the stack resource protocol (SRP) and overrun without payback for hierarchical scheduling frameworks based on fixed-priority pre-emptive scheduling (FPPS). We show that both the existing global and local schedulability analysis are pessimistic, present improved analysis, and illustrate the improvements by means of examples.