Publications Memory & Shared-Resource Management
Restart-based fault-tolerance: System design and schedulability analysis
23rd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2017), August 2017, Hsinchu, Taiwan
Abstract
Embedded systems in safety-critical environments are continuously required to deliver more performance and functionality, while expected to provide verified safety guarantees. Nonetheless, platform-wide software verification (required for safety) is often expensive. Therefore, design methods that enable utilization of components such as real-time operating systems (RTOS), without requiring their correctness to guarantee safety, is necessary. In this paper, we propose a design approach to deploy safe-by-design embedded systems. To attain this goal, we rely on a small core of verified software to handle faults in applications and RTOS and recover from them while ensuring that timing constraints of safety-critical tasks are always satisfied. Faults are detected by monitoring the application timing and fault-recovery is achieved via full platform restart and software reload, enabled by the short restart time of embedded systems. Schedulability analysis is used to ensure that the timing constraints of critical plant control tasks are always satisfied in spite of faults and consequent restarts. We derive schedulability results for four restart-tolerant task models. We use a simulator to evaluate and compare the performance of the considered scheduling models.
Cite this paper
@inproceedings{abdi2017restart,
title = {{Restart-based fault-tolerance: System design and schedulability analysis}},
author = {Abdi, Fardin A. T. and Mancuso, Renato and Tabish, Rohan and Caccamo, Marco},
booktitle = {23rd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2017)},
year = 2017,
month = aug,
pages = {1--10},
address = {Hsinchu, Taiwan},
doi = {10.1109/RTCSA.2017.8046320},
url = {https://doi.org/10.1109/RTCSA.2017.8046320}
}
TY - CONF AU - Abdi, Fardin A. T. AU - Mancuso, Renato AU - Tabish, Rohan AU - Caccamo, Marco TI - Restart-based fault-tolerance: System design and schedulability analysis T2 - 23rd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2017) PY - 2017 DA - 2017/08// CY - Hsinchu, Taiwan SP - 1 EP - 10 DO - 10.1109/RTCSA.2017.8046320 UR - https://doi.org/10.1109/RTCSA.2017.8046320 AB - Embedded systems in safety-critical environments are continuously required to deliver more performance and functionality, while expected to provide verified safety guarantees. Nonetheless, platform-wide software verification (required for safety) is often expensive. Therefore, design methods that enable utilization of components such as real-time operating systems (RTOS), without requiring their correctness to guarantee safety, is necessary. In this paper, we propose a design approach to deploy safe-by-design embedded systems. To attain this goal, we rely on a small core of verified software to handle faults in applications and RTOS and recover from them while ensuring that timing constraints of safety-critical tasks are always satisfied. Faults are detected by monitoring the application timing and fault-recovery is achieved via full platform restart and software reload, enabled by the short restart time of embedded systems. Schedulability analysis is used to ensure that the timing constraints of critical plant control tasks are always satisfied in spite of faults and consequent restarts. We derive schedulability results for four restart-tolerant task models. We use a simulator to evaluate and compare the performance of the considered scheduling models. ER -
%0 Conference Paper %A Abdi, Fardin A. T. %A Mancuso, Renato %A Tabish, Rohan %A Caccamo, Marco %T Restart-based fault-tolerance: System design and schedulability analysis %B 23rd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2017) %D 2017 %P 1-10 %C Hsinchu, Taiwan %R 10.1109/RTCSA.2017.8046320 %U https://doi.org/10.1109/RTCSA.2017.8046320 %X Embedded systems in safety-critical environments are continuously required to deliver more performance and functionality, while expected to provide verified safety guarantees. Nonetheless, platform-wide software verification (required for safety) is often expensive. Therefore, design methods that enable utilization of components such as real-time operating systems (RTOS), without requiring their correctness to guarantee safety, is necessary. In this paper, we propose a design approach to deploy safe-by-design embedded systems. To attain this goal, we rely on a small core of verified software to handle faults in applications and RTOS and recover from them while ensuring that timing constraints of safety-critical tasks are always satisfied. Faults are detected by monitoring the application timing and fault-recovery is achieved via full platform restart and software reload, enabled by the short restart time of embedded systems. Schedulability analysis is used to ensure that the timing constraints of critical plant control tasks are always satisfied in spite of faults and consequent restarts. We derive schedulability results for four restart-tolerant task models. We use a simulator to evaluate and compare the performance of the considered scheduling models.
[
{
"id": "abdi2017restart",
"type": "paper-conference",
"title": "Restart-based fault-tolerance: System design and schedulability analysis",
"author": [
{
"family": "Abdi",
"given": "Fardin A. T."
},
{
"family": "Mancuso",
"given": "Renato"
},
{
"family": "Tabish",
"given": "Rohan"
},
{
"family": "Caccamo",
"given": "Marco"
}
],
"container-title": "23rd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2017)",
"issued": {
"date-parts": [
[
2017,
8
]
]
},
"page": "1-10",
"publisher-place": "Hsinchu, Taiwan",
"DOI": "10.1109/RTCSA.2017.8046320",
"abstract": "Embedded systems in safety-critical environments are continuously required to deliver more performance and functionality, while expected to provide verified safety guarantees. Nonetheless, platform-wide software verification (required for safety) is often expensive. Therefore, design methods that enable utilization of components such as real-time operating systems (RTOS), without requiring their correctness to guarantee safety, is necessary. In this paper, we propose a design approach to deploy safe-by-design embedded systems. To attain this goal, we rely on a small core of verified software to handle faults in applications and RTOS and recover from them while ensuring that timing constraints of safety-critical tasks are always satisfied. Faults are detected by monitoring the application timing and fault-recovery is achieved via full platform restart and software reload, enabled by the short restart time of embedded systems. Schedulability analysis is used to ensure that the timing constraints of critical plant control tasks are always satisfied in spite of faults and consequent restarts. We derive schedulability results for four restart-tolerant task models. We use a simulator to evaluate and compare the performance of the considered scheduling models."
}
]
F. A. T. Abdi, R. Mancuso, R. Tabish, and M. Caccamo, “Restart-based fault-tolerance: System design and schedulability analysis,” in 23rd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2017), pp. 1–10, Aug. 2017, doi: 10.1109/RTCSA.2017.8046320.
Abdi, F. A. T., Mancuso, R., Tabish, R., & Caccamo, M. (2017). Restart-based fault-tolerance: System design and schedulability analysis. In 23rd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2017) (pp. 1–10). https://doi.org/10.1109/RTCSA.2017.8046320