Formalization of Weak Sustainability

• Definition of weakly and strongly sustainable policy

• Proof that uniprocessor JLFP of sporadic self-suspending tasks is weakly sustainable w.r.t. job costs and variable suspension times, under the dynamic suspension model.

changed title from WIP: Sustainability + Self-Suspensions to WIP: Sustainability

changed the description

added 1 commit

• 49bac20b - Prove equivalence between definitions

Compare with previous version

added 1 commit

• 18d0e1cd - Prove equivalence between definitions

Compare with previous version

added 2 commits

• 9aa57786 - Add mapP lemma for non-eqTypes lists
• 258edf49 - Formalization of Weakly Sustainable Policy

Compare with previous version

unmarked as a Work In Progress

changed title from WIP: Sustainability to Formalization of Weak Sustainability

changed the description

merged