C
CoRQ
Open-source release of the runtime reconfiguration controller called ``Command-based Reconfiguration Queue'' (CoRQ) as presented in "CoRQ: Enabling Runtime Reconfiguration under WCET Guarantees for Real-Time Systems", M. Damschen, L. Bauer, J. Henkel