Strategy Switching: Smart Fault-Tolerance for Weakly-Hard Resource-Constrained Real-Time Applications

Open Access
Authors
Publication date 2022
Host editors
  • B.-H. Schlingloff
  • M. Chai
Book title Software Engineering and Formal Methods
Book subtitle 20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022 : proceedings
ISBN
  • 9783031171079
ISBN (electronic)
  • 9783031171086
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
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
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
Permalink to this page
Back