279 articles – 2094 Notices  [english version]
Fiche détaillée Communications avec actes
13th Latin-American Test Workshop (LATW'12), Quito : Ecuador (2012)
Detailed analysis of compilation options for robust software-based embedded systems
A. Wecxsteen1, S. Bergaoui1, R. Leveugle1

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.
1 :  TIMA - Techniques of Informatics and Microelectronics for integrated systems Architecture
embedded-system – software