Formalization of Weak Sustainability (!6) · Merge requests · RT-PROOFS / PROSA - Formally Proven Schedulability Analysis · GitLab

Snippets Groups Projects

Merged Felipe Cerqueira requested to merge felipec/rt-proofs:sustainability into master 7 years ago

Jul 17, 2018

Formalization of Weakly Sustainable Policy · 258edf49

Felipe Cerqueira authored 7 years ago

1) Formalize the notion of weakly sustainable policy, along with
its contrapositive, and prove the equivalence between the two.

2) Establish weak sustainability of self-suspending tasks w.r.t.
execution times and variable suspension times, based on the
transformation we had formalized.

258edf49

Add mapP lemma for non-eqTypes lists · 9aa57786
Felipe Cerqueira authored 7 years ago

9aa57786