Strategy Switching: Smart Fault-Tolerance for Weakly-Hard Resource-Constrained Real-Time Applications
| Authors | |
|---|---|
| Publication date | 2022 |
| Host editors |
|
| Book title | Software Engineering and Formal Methods |
| Book subtitle | 20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022 : proceedings |
| ISBN |
|
| ISBN (electronic) |
|
| Series | Lecture Notes in Computer Science |
| Event | 20th International Conference on Software Engineering and Formal Methods |
| Pages (from-to) | 129–145 |
| Publisher | Cham: Springer |
| Organisations |
|
| Abstract |
The probability of data corruption as a result of single event upsets (SEUs) increases as transistor sizes decrease. Software-based fault-tolerance can help offer protection against SEUs on Commercial off The Shelf (COTS) hardware. However, such fault tolerance relies on replication, for which there may be insufficient resources in resource-constrained environments. Systems in the weakly-hard real-time domain can tolerate some faults as a product of their domain. Combining both the need for fault-tolerance and the intrinsic ability to tolerate faults, we propose a new approach for applying fault-tolerance named strategy switching. Strategy switching minimizes the effective unmitigated fault-rate by switching which tasks are to be run under a fault-tolerance scheme at runtime. Our method does not require bounding the number of faults for a given number of consecutive iterations. We show how our method improves the steady-state fault rate by analytically computing the rate for our test set of generated DAGs and comparing this against a static application of fault-tolerance. Finally, we validate our method using UPPAAL. |
| Document type | Conference contribution |
| Language | English |
| Published at | https://doi.org/10.1007/978-3-031-17108-6_8 |
| Downloads |
20220807-strategy-switching-sefm-AUTHORS-VERSION
(Accepted author manuscript)
|
| Permalink to this page | |
