Abstract: Mixed-criticality (MC) systems have become indispensable in managing diverse tasks within unified computational environments, particularly in complex embedded systems like those in the ...