Detailed analysis of compilation options for robust software-based embedded systems
Résumé
Several criteria can be used to assess the criticality of registers or variables at compile time and to guide software optimization with respect to robustness constraints. On the basis of such criteria, we analyze in detail the impact of compilation optimizations on the system dependability. We show that optimizations enabled by default lead to criticality increase. However, selectively picking optimizations may increase the robustness of a system even if the consequences of a given optimization option may vary from a program to another.