Skip to content

revise ELF<->FP generality claim

Björn Brandenburg requested to merge wip-gel-elf-fp into master

  1. Remove infeasible hypothesis.

  2. Observe that ELF always is an FP schedule, without any further assumptions.

  3. Prove that FP->ELF under strengthened assumption (task sequentiality, schedule and arrival sequence validity).

Merge request reports