Skip to content

simplify FIFO

Kimaya Bedarkar requested to merge kbedarka/rt-proofs:simplifyFIFO into master

In the recent edit to EDF RTA, a lemma relating priority inversion bound and cumulative priority inversion bound was generalized. Using this, the proof for bound on cumulative priority inversion was simplified.

Edited by Kimaya Bedarkar

Merge request reports