Forked from
RT-PROOFS / PROSA - Formally Proven Schedulability Analysis
Source project has a limited visibility.
-
Björn Brandenburg authored
EDF is defined in terms of jobs, whether or not those jobs stem from tasks. Make sure our definition is general enough to capture the possibility of a set of jobs without associated tasks scheduled by EDF.
Björn Brandenburg authoredEDF is defined in terms of jobs, whether or not those jobs stem from tasks. Make sure our definition is general enough to capture the possibility of a set of jobs without associated tasks scheduled by EDF.