An engineering approach to synchronization based on overrun for compositional real-time systems


Hierarchical scheduling frameworks (HSFs) provide means for composing complex real-time systems from well-defined independently developed and analyzed subsystems. To support shared logical resources requiring mutual exclusive access in two-level HSFs, overrun without payback has been proposed as a mechanism to prevent budget depletion during resource access… (More)
DOI: 10.1109/SIES.2011.5953671
View Slides