ASPIS

ASPIS (from the ancient Greek Ἀσπίς Aspís, shield) is a set of LLVM passes that harden the code against Single-Event Upsets (SEUs) by introducing fault detection mechanisms.

This webpage is still a Work-in-Progress. Please check to the README file for further information.

Scientific papers

The main reference paper for the ASPIS tool is:

• Davide Baroffio, Federico Reghenzani, and William Fornaciari. 2024. Enhanced Compiler Technology for Software-based Hardware Fault Detection. ACM Trans. Des. Autom. Electron. Syst. Just Accepted (April 2024). doi:10.1145/3660524

Other articles:

• Davide Baroffio and Federico Reghenzani. 2023. Compiler-Injected SIHFT for Embedded Operating Systems. In Proceedings of the 20th ACM International Conference on Computing Frontiers (CF ‘23). Association for Computing Machinery, New York, NY, USA, 337–343. doi:10.1145/3587135.3589944.

Acknowlegments

This tool is developed by HEAP laboratory at Politecnico di Milano. The following people are the main contributors of this tool:

• Davide Baroffio (main maintainer)
• Federico Reghenzani