This Project Grant from the National Science Foundation supports research at the University of Southern California to develop a principled framework for modeling and analyzing the impact of hardware faults on embedded software. The award of $374,999 under the Computer and Information Science and Engineering program will fund research over four years from July 2022 to June 2026.
The researchers will design an instruction-set architecture-level fault model to capture the effects of hardware faults. They will simulate fault injection to characterize the model and integrate it into formal analysis and verification tools to efficiently investigate faults' impact on software. The tools are intended to improve fault detection, countermeasures, and prove or disprove exploitability in the presence of hardware attacks. Findings aim to help secure embedded software and address reliability risks from faults.
Generated 1/6/24, 7:12 PM