Enhanced Compiler Technology for Software-based Hardware Fault Detection
Open Access
- 4 September 2024
- journal article
- research article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Design Automation of Electronic Systems
- Vol. 29 (5) , 1-23
Abstract
Software-Implemented Hardware Fault Tolerance (SIHFT) is a modern approach for tackling random hardware faults of dependable systems employing solely software solutions. This work extends an automatic compiler-based SIHFT hardening tool called ASPIS, enhancing it with novel protection mechanisms and overhead-reduction techniques, also providing an extensive analysis of its compliance with the non-trivial workload of the open-source Real-Time Operating System FreeRTOS. A thorough experimental fault-injection campaign on an STM32 board shows how the system achieves remarkably high tolerance to single-event upsets and a comparison between the SIHFT mechanisms implemented summarises the tradeoff between the overhead introduced and the detection capabilities of the various solutions.Keywords
This publication has 31 references indexed in Scilit:
- RISC-V-Based Platforms for HPC: Analyzing Non-functional Properties for Future HPC and Big-Data Clusters2023
- On the Analysis of Real-time Operating System Reliability in Embedded Systems2020
- Selective Duplication and Selective Comparison for Data Flow Error Detection2019
- An efficient vulnerability-driven method for hardening a program against soft-error using genetic algorithmComputers and Electrical Engineering, 2015
- Statistical fault injection: Quantified error and confidence2009
- Soft Errors in Advanced Computer SystemsIEEE Design & Test of Computers, 2005
- SWIFT: Software Implemented Fault Tolerance2005
- Control-flow checking by software signaturesIEEE Transactions on Reliability, 2002
- Error detection by duplicated instructions in super-scalar processorsIEEE Transactions on Reliability, 2002
- Two CMOS memory cells suitable for the design of SEU-tolerant VLSI circuitsIEEE Transactions on Nuclear Science, 1994