By the same authors

HIART-MCS: High Resilience and Approximated Computing Architecture for Imprecise Mixed-Criticality Systems

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Standard

HIART-MCS: High Resilience and Approximated Computing Architecture for Imprecise Mixed-Criticality Systems. / Jiang, Zhe; Dai, Xiaotian; Audsley, Neil Cameron.

IEEE Real-Time Systems Symposium. IEEE, 2021. p. 290-303.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Jiang, Z, Dai, X & Audsley, NC 2021, HIART-MCS: High Resilience and Approximated Computing Architecture for Imprecise Mixed-Criticality Systems. in IEEE Real-Time Systems Symposium. IEEE, pp. 290-303.

APA

Jiang, Z., Dai, X., & Audsley, N. C. (2021). HIART-MCS: High Resilience and Approximated Computing Architecture for Imprecise Mixed-Criticality Systems. In IEEE Real-Time Systems Symposium (pp. 290-303). IEEE.

Vancouver

Jiang Z, Dai X, Audsley NC. HIART-MCS: High Resilience and Approximated Computing Architecture for Imprecise Mixed-Criticality Systems. In IEEE Real-Time Systems Symposium. IEEE. 2021. p. 290-303

Author

Jiang, Zhe ; Dai, Xiaotian ; Audsley, Neil Cameron. / HIART-MCS: High Resilience and Approximated Computing Architecture for Imprecise Mixed-Criticality Systems. IEEE Real-Time Systems Symposium. IEEE, 2021. pp. 290-303

Bibtex - Download

@inproceedings{5c406cbabc894750b194af654add389c,
title = "HIART-MCS: High Resilience and Approximated Computing Architecture for Imprecise Mixed-Criticality Systems",
abstract = "In mixed-criticality systems (MCSs), less-critical tasks are often terminated to ensure the correct execution of high critical tasks. This strategy could however lead to safety hazards, and largely reduce system functionality due to the absence of the discarded tasks. To overcome this problem, we introduce a high resilience and approximated computing framework for MCS, i.e., HIART-MCS. HIART-MCS introduces a novel processor which supports approximation at the hardware level. Associated with this, we also introduce a new intermediate system mode which allows less-critical tasks to be executed with reduced precision instead of being directly dropped out. Corresponding to the HIART-MCS, we further present a new theoretical model and schedulability analysis providing a timing guarantee for the system, followed by optimisations of the mode switch strategy. As demonstrated in both the theoretical and practical evaluations, HIART-MCS effectively improves the survivability of less-critical tasks with limited sacrifice of the critical tasks and negligible extra overhead. It is notable that HIART-MCS is the first practical framework for imprecise MCSs.",
author = "Zhe Jiang and Xiaotian Dai and Audsley, {Neil Cameron}",
year = "2021",
month = dec,
day = "7",
language = "English",
pages = "290--303",
booktitle = "IEEE Real-Time Systems Symposium",
publisher = "IEEE",

}

RIS (suitable for import to EndNote) - Download

TY - GEN

T1 - HIART-MCS: High Resilience and Approximated Computing Architecture for Imprecise Mixed-Criticality Systems

AU - Jiang, Zhe

AU - Dai, Xiaotian

AU - Audsley, Neil Cameron

PY - 2021/12/7

Y1 - 2021/12/7

N2 - In mixed-criticality systems (MCSs), less-critical tasks are often terminated to ensure the correct execution of high critical tasks. This strategy could however lead to safety hazards, and largely reduce system functionality due to the absence of the discarded tasks. To overcome this problem, we introduce a high resilience and approximated computing framework for MCS, i.e., HIART-MCS. HIART-MCS introduces a novel processor which supports approximation at the hardware level. Associated with this, we also introduce a new intermediate system mode which allows less-critical tasks to be executed with reduced precision instead of being directly dropped out. Corresponding to the HIART-MCS, we further present a new theoretical model and schedulability analysis providing a timing guarantee for the system, followed by optimisations of the mode switch strategy. As demonstrated in both the theoretical and practical evaluations, HIART-MCS effectively improves the survivability of less-critical tasks with limited sacrifice of the critical tasks and negligible extra overhead. It is notable that HIART-MCS is the first practical framework for imprecise MCSs.

AB - In mixed-criticality systems (MCSs), less-critical tasks are often terminated to ensure the correct execution of high critical tasks. This strategy could however lead to safety hazards, and largely reduce system functionality due to the absence of the discarded tasks. To overcome this problem, we introduce a high resilience and approximated computing framework for MCS, i.e., HIART-MCS. HIART-MCS introduces a novel processor which supports approximation at the hardware level. Associated with this, we also introduce a new intermediate system mode which allows less-critical tasks to be executed with reduced precision instead of being directly dropped out. Corresponding to the HIART-MCS, we further present a new theoretical model and schedulability analysis providing a timing guarantee for the system, followed by optimisations of the mode switch strategy. As demonstrated in both the theoretical and practical evaluations, HIART-MCS effectively improves the survivability of less-critical tasks with limited sacrifice of the critical tasks and negligible extra overhead. It is notable that HIART-MCS is the first practical framework for imprecise MCSs.

M3 - Conference contribution

SP - 290

EP - 303

BT - IEEE Real-Time Systems Symposium

PB - IEEE

ER -