Publications

Publications

< retour aux publications

Detailed analysis of compilation options for robust software-based embedded systems

Auteur(s) : A. Wecxsteen, S. Bergaoui, R. Leveugle

Doc. Source: 13th Latin-American Test Workshop (LATW'12)

Publisher : IEEE

Pages : 188-193

Doi : 10.1109/LATW.2012.6261261

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.