Compiler Optimizations Impact the Reliability of the Control-Flow of Radiation-Hardened Software
http://dx.doi.org/10.5028/jatm.v5i3.224 This paper discusses how compiler optimizations influence software reliability when the optimized application is compiled with a technique to enable the software itself to detect and correct radiation-induced control-flow errors. Supported by a comprehensiv...
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Instituto de Aeronáutica e Espaço (IAE)
2013-08-01
|
| Series: | Journal of Aerospace Technology and Management |
| Subjects: | |
| Online Access: | https://www.jatm.com.br/jatm/article/view/224 |
| _version_ | 1818096411470725120 |
|---|---|
| author | Ronaldo Rodrigues Ferreira Rafael Baldiati Parizi Luigi Carro Álvaro Freitas Moreira |
| author_facet | Ronaldo Rodrigues Ferreira Rafael Baldiati Parizi Luigi Carro Álvaro Freitas Moreira |
| author_sort | Ronaldo Rodrigues Ferreira |
| collection | DOAJ |
| description |
http://dx.doi.org/10.5028/jatm.v5i3.224
This paper discusses how compiler optimizations influence software reliability when the optimized application is compiled with a technique to enable the software itself to detect and correct radiation-induced control-flow errors. Supported by a comprehensive fault-injection campaign using an established benchmark suite in the embedded systems domain, we show that the compiler is a non-negligible source of noise when hardening the software against radiationinduced soft errors.
|
| first_indexed | 2024-12-10T23:04:12Z |
| format | Article |
| id | doaj.art-f4e6519d765145199d1df1fcb590fe93 |
| institution | Directory Open Access Journal |
| issn | 2175-9146 |
| language | English |
| last_indexed | 2024-12-10T23:04:12Z |
| publishDate | 2013-08-01 |
| publisher | Instituto de Aeronáutica e Espaço (IAE) |
| record_format | Article |
| series | Journal of Aerospace Technology and Management |
| spelling | doaj.art-f4e6519d765145199d1df1fcb590fe932022-12-22T01:30:05ZengInstituto de Aeronáutica e Espaço (IAE)Journal of Aerospace Technology and Management2175-91462013-08-0153Compiler Optimizations Impact the Reliability of the Control-Flow of Radiation-Hardened SoftwareRonaldo Rodrigues Ferreira0Rafael Baldiati Parizi1Luigi Carro2Álvaro Freitas Moreira3Instituto de Informática - Universidade Federal do Rio Grande do SulInstituto de Informática - Universidade Federal do Rio Grande do SulInstituto de Informática - Universidade Federal do Rio Grande do SulInstituto de Informática - Universidade Federal do Rio Grande do Sul http://dx.doi.org/10.5028/jatm.v5i3.224 This paper discusses how compiler optimizations influence software reliability when the optimized application is compiled with a technique to enable the software itself to detect and correct radiation-induced control-flow errors. Supported by a comprehensive fault-injection campaign using an established benchmark suite in the embedded systems domain, we show that the compiler is a non-negligible source of noise when hardening the software against radiationinduced soft errors. https://www.jatm.com.br/jatm/article/view/224CompilersRadiation effectsSingle event upsetsSoftware reliabilitySoftware engineering |
| spellingShingle | Ronaldo Rodrigues Ferreira Rafael Baldiati Parizi Luigi Carro Álvaro Freitas Moreira Compiler Optimizations Impact the Reliability of the Control-Flow of Radiation-Hardened Software Journal of Aerospace Technology and Management Compilers Radiation effects Single event upsets Software reliability Software engineering |
| title | Compiler Optimizations Impact the Reliability of the Control-Flow of Radiation-Hardened Software |
| title_full | Compiler Optimizations Impact the Reliability of the Control-Flow of Radiation-Hardened Software |
| title_fullStr | Compiler Optimizations Impact the Reliability of the Control-Flow of Radiation-Hardened Software |
| title_full_unstemmed | Compiler Optimizations Impact the Reliability of the Control-Flow of Radiation-Hardened Software |
| title_short | Compiler Optimizations Impact the Reliability of the Control-Flow of Radiation-Hardened Software |
| title_sort | compiler optimizations impact the reliability of the control flow of radiation hardened software |
| topic | Compilers Radiation effects Single event upsets Software reliability Software engineering |
| url | https://www.jatm.com.br/jatm/article/view/224 |
| work_keys_str_mv | AT ronaldorodriguesferreira compileroptimizationsimpactthereliabilityofthecontrolflowofradiationhardenedsoftware AT rafaelbaldiatiparizi compileroptimizationsimpactthereliabilityofthecontrolflowofradiationhardenedsoftware AT luigicarro compileroptimizationsimpactthereliabilityofthecontrolflowofradiationhardenedsoftware AT alvarofreitasmoreira compileroptimizationsimpactthereliabilityofthecontrolflowofradiationhardenedsoftware |