qronos-state-abstractions

Sources for the evaluation presented in

Rheinfels, T., Gaukler, M., and Ulbrich, P.: A New Perspective on Criticality: Efficient State Abstraction and Runtime Monitoring of Mixed-Criticality Real-time Control Systems. ECRTS'23.