 |
TIMA Laboratory | Publications |  |
|
TIMA Laboratory | Publications | |
| Fiche détaillée | Communications avec actes |
 |
| 13th Latin-American Test Workshop (LATW'12), Quito : Équateur (2012) |
|
|
| Detailed analysis of compilation options for robust software-based embedded systems |
|
|
| A. Wecxsteen1S. Bergaoui1R. 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 |
| hal-00688246, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00688246 | |
| oai:hal.archives-ouvertes.fr:hal-00688246 | |
| Contributeur : Lucie Torella | |
| Soumis le : Mardi 17 Avril 2012, 10:47:01 | |
| Dernière modification le : Mardi 17 Avril 2012, 10:47:01 | |