Skip to content

Formalization of Weak Sustainability

Felipe Cerqueirarequested to merge
felipec/rt-proofs:sustainability into master

  • 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.

Edited by Felipe Cerqueira

Merge request reports