Skip to content

The Fixpoints for the FP-FP RTA can now be calculated.

Paul Hermes requested to merge RTS/internships-2021:fixpoint into master

The folder results/fixed_priority/rta/comp contains the RTA proofs, using calculated fixed points provided by new functions from util/fixpoints.v. Currently only the the fully preemptive model is implemented.

Edited by Björn Brandenburg

Merge request reports