Expressing Survivability Considerations in Mixed-Criticality Scheduling Theory

TY - JOUR

T1 - Expressing Survivability Considerations in Mixed-Criticality Scheduling Theory

AU - Baruah, Sanjoy

AU - Burns, Alan

PY - 2020/10

Y1 - 2020/10

N2 - Mixed-criticality scheduling theory (MCSh) was developed to allow for more resource-efficient implementation of systems comprising different components that need to have their correctness validated at different levels of assurance. MCSh is primarily concerned with the pre-runtime verification of such systems; hence many mixed-criticality scheduling algorithms tend to exhibit poor survivability characteristics during run-time. (e.g., MCSh allows for less-important (“lo-criticality”) workloads to be completely discarded in the event that run-time behavior is not compliant with the assumptions under which the correctness of the lo-criticality workload should be verified.) We propose extensions to MCSh to make it cognizant of survivability considerations, by defining quantitative metrics for the robustness and resilience of mixed-criticality scheduling algorithms. Such metrics allow us to make quantitative assertions regarding the survivability characteristics of mixed-criticality scheduling algorithms, and to compare different algorithms from the perspective of their survivability.

AB - Mixed-criticality scheduling theory (MCSh) was developed to allow for more resource-efficient implementation of systems comprising different components that need to have their correctness validated at different levels of assurance. MCSh is primarily concerned with the pre-runtime verification of such systems; hence many mixed-criticality scheduling algorithms tend to exhibit poor survivability characteristics during run-time. (e.g., MCSh allows for less-important (“lo-criticality”) workloads to be completely discarded in the event that run-time behavior is not compliant with the assumptions under which the correctness of the lo-criticality workload should be verified.) We propose extensions to MCSh to make it cognizant of survivability considerations, by defining quantitative metrics for the robustness and resilience of mixed-criticality scheduling algorithms. Such metrics allow us to make quantitative assertions regarding the survivability characteristics of mixed-criticality scheduling algorithms, and to compare different algorithms from the perspective of their survivability.

KW - Real-time analysis

U2 - 10.1016/j.sysarc.2020.101755

DO - 10.1016/j.sysarc.2020.101755

M3 - Article

SN - 1383-7621

VL - 109

JO - Journal of systems architecture

JF - Journal of systems architecture

M1 - 101755

ER -