Baruah, Sanjoy and Burns, Alan orcid.org/0000-0001-5621-8816 (2019) Incorporating Robustness and Resilience into Mixed-Criticality Scheduling Theory. In: 2019 IEEE 22nd International Symposium on Real-Time Distributed Computing (ISORC). nternational Symposium on Real-Time Distributed Computing (ISORC) . IEEE , pp. 155-162.
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. As originally defined, MCSh deals exclusively with pre-runtime verification of such systems; hence many mixed-criticality scheduling algorithms that have been developed tend to exhibit rather poor survivability characteristics during run-time. (E.g., MCSh allows for less-important (\enquote{\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.) Here we seek to extend MCSh to incorporate survivability considerations, by proposing quantitative metrics for the {\em robustness\/} and {\em 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. We propose that MCSh seek to develop scheduling algorithms that possess superior survivability characteristics, thereby obtaining algorithms with better survivability properties than current ones (which, since they have been developed within a survivability-agnostic framework, tend to focus exclusively on pre-runtime verification and ignore survivability issues entirely).
Metadata
Item Type: | Proceedings Paper |
---|---|
Authors/Creators: |
|
Copyright, Publisher and Additional Information: | This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details. |
Dates: |
|
Institution: | The University of York |
Academic Units: | The University of York > Faculty of Sciences (York) > Computer Science (York) |
Depositing User: | Pure (York) |
Date Deposited: | 14 May 2019 15:40 |
Last Modified: | 08 Jan 2025 00:16 |
Published Version: | https://doi.org/10.1109/ISORC.2019.00038 |
Status: | Published |
Publisher: | IEEE |
Series Name: | nternational Symposium on Real-Time Distributed Computing (ISORC) |
Identification Number: | 10.1109/ISORC.2019.00038 |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:146089 |