Forked from
RT-PROOFS / PROSA - Formally Proven Schedulability Analysis
Source project has a limited visibility.
-
Felipe Cerqueira authored
We use simpler, more pessimistic interference bounds to prove that Bertogna and Cirinei's RTA works for parallel jobs.
Felipe Cerqueira authoredWe use simpler, more pessimistic interference bounds to prove that Bertogna and Cirinei's RTA works for parallel jobs.
