Abstract
Due to aggressive technology downscaling, mobile and embedded systems are susceptible to transient faults in the underlying hardware. Transient faults may incur soft-errors or even lead to system failure. A recent study has proposed to exploit the concept of the (m,k)-firm real-time task model with compensation techniques to manage redundant executions, aiming to selectively protect the control application. In this work we provide an empirical approach to find the (m,k) robustness requirements. With the delivered (m,k) robustness requirements on path tracing and balance control tasks, we conduct comprehensive case studies to evaluate the effectiveness of the compensation techniques under different fault locations and fault rates.
Original language | English |
---|---|
Title of host publication | Proceedings - 2018 4th International Workshop on Emerging Ideas and Trends in the Engineering of Cyber-Physical Systems, EITEC 2018 |
DOIs | |
Publication status | Published - 2018 |
Externally published | Yes |
Event | 4th International Workshop on Emerging Ideas and Trends in the Engineering of Cyber-Physical Systems, EITEC 2018 - Porto, Portugal Duration: 11 Apr 2018 → 11 Apr 2018 Conference number: 4 |
Conference
Conference | 4th International Workshop on Emerging Ideas and Trends in the Engineering of Cyber-Physical Systems, EITEC 2018 |
---|---|
Abbreviated title | EITEC 2018 |
Country/Territory | Portugal |
City | Porto |
Period | 11/04/18 → 11/04/18 |