AdaptMC: A Control-Theoretic Approach for Achieving Resilience in Mixed-Criticality Systems

Alessandro Papadopoulos; Enrico Bini; Sanjoy Baruah; Alan Burns

AdaptMC: A Control-Theoretic Approach for Achieving Resilience in Mixed-Criticality Systems

Alessandro Papadopoulos, Enrico Bini, Sanjoy Baruah, Alan Burns

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

A system is said to be resilient if slight deviations from expected behavior during run-time does not lead to catastrophic degradation of performance: minor deviations should result in no more than minor performance degradation. In mixed-criticality systems, such degradation should additionally be criticality-cognizant. The applicability of control theory is explored for the design of resilient run-time scheduling algorithms for mixed-criticality systems. Recent results in control theory have shown how appropriately designed controllers can provide guaranteed service to hard- real-time servers; this prior work is extended to allow for such guarantees to be made concurrently to multiple criticality-cognizant servers. The applicability of this approach is explored via several experimental simulations in a dual-criticality setting. These experiments demonstrate that our control-based run-time schedulers can be synthesized in such a manner that bounded deviations from expected behavior result in the high-criticality server suffering no performance degradation and the lower-criticality one, bounded performance degradation.

Original language	English
Title of host publication	Proceeding ECRTS Conference
Editors	Sebastian Altmeyer
Place of Publication	Dagstuhl
Publisher	LIPICS
Pages	14:1-14:22
Number of pages	22
Publication status	Published - 4 Jul 2018

Keywords

Real-time

Access to Document

PBBB-ECRTSAccepted author manuscript, 684 KB

Cite this

@inproceedings{d4f903a3efa943e5af7bfc4f42dcd8c4,

title = "AdaptMC: A Control-Theoretic Approach for Achieving Resilience in Mixed-Criticality Systems",

abstract = "A system is said to be resilient if slight deviations from expected behavior during run-time does not lead to catastrophic degradation of performance: minor deviations should result in no more than minor performance degradation. In mixed-criticality systems, such degradation should additionally be criticality-cognizant. The applicability of control theory is explored for the design of resilient run-time scheduling algorithms for mixed-criticality systems. Recent results in control theory have shown how appropriately designed controllers can provide guaranteed service to hard- real-time servers; this prior work is extended to allow for such guarantees to be made concurrently to multiple criticality-cognizant servers. The applicability of this approach is explored via several experimental simulations in a dual-criticality setting. These experiments demonstrate that our control-based run-time schedulers can be synthesized in such a manner that bounded deviations from expected behavior result in the high-criticality server suffering no performance degradation and the lower-criticality one, bounded performance degradation.",

keywords = "Real-time",

author = "Alessandro Papadopoulos and Enrico Bini and Sanjoy Baruah and Alan Burns",

year = "2018",

month = jul,

day = "4",

language = "English",

pages = "14:1--14:22",

editor = "Sebastian Altmeyer",

booktitle = "Proceeding ECRTS Conference",

publisher = "LIPICS",

}

TY - GEN

T1 - AdaptMC: A Control-Theoretic Approach for Achieving Resilience in Mixed-Criticality Systems

AU - Papadopoulos, Alessandro

AU - Bini, Enrico

AU - Baruah, Sanjoy

AU - Burns, Alan

PY - 2018/7/4

Y1 - 2018/7/4

N2 - A system is said to be resilient if slight deviations from expected behavior during run-time does not lead to catastrophic degradation of performance: minor deviations should result in no more than minor performance degradation. In mixed-criticality systems, such degradation should additionally be criticality-cognizant. The applicability of control theory is explored for the design of resilient run-time scheduling algorithms for mixed-criticality systems. Recent results in control theory have shown how appropriately designed controllers can provide guaranteed service to hard- real-time servers; this prior work is extended to allow for such guarantees to be made concurrently to multiple criticality-cognizant servers. The applicability of this approach is explored via several experimental simulations in a dual-criticality setting. These experiments demonstrate that our control-based run-time schedulers can be synthesized in such a manner that bounded deviations from expected behavior result in the high-criticality server suffering no performance degradation and the lower-criticality one, bounded performance degradation.

AB - A system is said to be resilient if slight deviations from expected behavior during run-time does not lead to catastrophic degradation of performance: minor deviations should result in no more than minor performance degradation. In mixed-criticality systems, such degradation should additionally be criticality-cognizant. The applicability of control theory is explored for the design of resilient run-time scheduling algorithms for mixed-criticality systems. Recent results in control theory have shown how appropriately designed controllers can provide guaranteed service to hard- real-time servers; this prior work is extended to allow for such guarantees to be made concurrently to multiple criticality-cognizant servers. The applicability of this approach is explored via several experimental simulations in a dual-criticality setting. These experiments demonstrate that our control-based run-time schedulers can be synthesized in such a manner that bounded deviations from expected behavior result in the high-criticality server suffering no performance degradation and the lower-criticality one, bounded performance degradation.

KW - Real-time

M3 - Conference contribution

SP - 14:1-14:22

BT - Proceeding ECRTS Conference

A2 - Altmeyer, Sebastian

PB - LIPICS

CY - Dagstuhl

ER -