By the same authors

From the same journal

From the same journal

Expressing Survivability Considerations in Mixed-Criticality Scheduling Theory

Research output: Contribution to journalArticlepeer-review

Published copy (DOI)

Author(s)

Department/unit(s)

Publication details

JournalJournal of systems architecture
DateAccepted/In press - 14 Feb 2020
DateE-pub ahead of print - 5 Mar 2020
DatePublished (current) - Oct 2020
Volume109
Number of pages9
Early online date5/03/20
Original languageEnglish

Abstract

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.

    Research areas

  • Real-time analysis

Projects

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations