Skip to content

Fix response-time recurrence for EDF

Sergey Bozhko requested to merge sbozhko/rt-proofs:fix-non-overloaded-assumption into master

When we were writing the paper on Abstract RTA, we noticed the response-time recurrence for EDF does not match the known bound.

This merge request fixes the problem.

Edited by Björn Brandenburg

Merge request reports