Mixed-Criticality Real-Time Systems represent an innovative class of computing platforms that integrate functionalities with varying levels of criticality onto a single shared system. This integration ...