Compiler Optimizations Impact the Reliability of the Control-Flow of Radiation-Hardened Software

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...

Full description

Bibliographic Details
Main Authors:	Ronaldo Rodrigues Ferreira, Rafael Baldiati Parizi, Luigi Carro, Álvaro Freitas Moreira
Format:	Article
Language:	English
Published:	Instituto de Aeronáutica e Espaço (IAE) 2013-08-01
Series:	Journal of Aerospace Technology and Management
Subjects:	Compilers Radiation effects Single event upsets Software reliability Software engineering
Online Access:	https://www.jatm.com.br/jatm/article/view/224

Similar Items

Incorporating Software Measurement Into a Compiler
by: Jamil Al Qutaish, Rafa Elayyan
Published: (1998)

Nwise and Pwise: 10T Radiation Hardened SRAM Cells for Space Applications With High Reliability Requirements
by: Azam Seyedi, et al.
Published: (2022-01-01)

Design and Analysis of SEU Hardened Latch for Low Power and High Speed Applications
by: Satheesh Kumar S, et al.
Published: (2019-07-01)

Custom Scrubbing for Robust Configuration Hardening in Xilinx FPGAs
by: Raffaele Giordano, et al.
Published: (2019-10-01)

Novel Radiation Hardened SOT-MRAM Read Circuit for Multi-Node Upset Tolerance
by: Alok Kumar Shukla, et al.
Published: (2022-01-01)

Novel Radiation-Hardened High-Speed DFF Design Based on Redundant Filter and Typical Application Analysis
by: Shuang Jiang, et al.
Published: (2022-04-01)

Implementation of Process Control and Monitoring Software with Dynamic Compilation in .NET Technology
by: Marek Babiuch, et al.
Published: (2011-11-01)

Method of diversity software protection based on fusion compilation
by: XIONG Xiaobing, SHU Hui, KANG Fei
Published: (2020-12-01)

Investigation of Radiation Hardened TFET SRAM Cell for Mitigation of Single Event Upset
by: M. Pown, et al.
Published: (2020-01-01)

The austin protocol compiler /
by: 369033 McGuire, Tommy M., et al.
Published: (2005)

Radiation Hardened NULL Convention Logic Asynchronous Circuit Design
by: Liang Zhou, et al.
Published: (2015-10-01)

A ReRAM-Based Non-Volatile and Radiation-Hardened Latch Design
by: Aibin Yan, et al.
Published: (2022-10-01)

Characterization of Single Event Cell Upsets in a Radiation Hardened SRAM in a 40 nm Bulk CMOS Technology
by: Guoqing Yang, et al.
Published: (2020-06-01)

Active Radiation-Hardening Strategy in Bulk FinFETs
by: Antonio Calomarde, et al.
Published: (2020-01-01)

Comparative Analysis of the Aeronautical Certification Process Against Nonionizing Radiation and the Management Proposal for Ionizing Radiation
by: Marcelo Tadeu Motta Ferreira, et al.
Published: (2022-03-01)

Comparative Analysis of the Aeronautical Certification Process Against Nonionizing Radiation and the Management Proposal for Ionizing Radiation
by: Marcelo Tadeu Ferreira, et al.
Published: (2022-03-01)

Improvement of Software Reliability Estimation Accuracy with Consideration of Failure Removal Effort
by: Myungmuk Kang, et al.
Published: (2013-01-01)

A SOFTWARE RELIABILITY ESTIMATION METHOD TO NUCLEAR SAFETY SOFTWARE
by: GEE-YONG PARK, et al.
Published: (2014-02-01)

SEU Tolerance Efficiency of Multiple Layout-Hardened 28 nm DICE D Flip-Flops
by: Yaqing Chi, et al.
Published: (2022-03-01)

Monitor of the single event upsets and linear energy transfer of space radiation on the Beidou navigation satellites
by: Zhang Binquan, et al.
Published: (2023-04-01)

LIHL: Design of a Novel Loop Interlocked Hardened Latch
by: Hui Xu, et al.
Published: (2021-08-01)

Definition of Software Reliability, Taking Into Account the Possibility of New Errors When Repairing Previously Detected
by: Ilmir Mubinovich Azymshin, et al.
Published: (2015-10-01)

A Radiation-Hardened Triple Modular Redundancy Design Based on Spin-Transfer Torque Magnetic Tunnel Junction Devices
by: Shubin Zhang, et al.
Published: (2024-02-01)

A High-Reliability 12T SRAM Radiation-Hardened Cell for Aerospace Applications
by: Ruxue Yao, et al.
Published: (2023-06-01)

Software reliability management method
by: S. N. Niaborski
Published: (2019-06-01)

The Methods of Determining the Probability of Appearance of Error for Modified Reliability Models of Software by Jelinski – Moranda and Schick – Wolverton
by: Ilmir Mubinovich Azymshin, et al.
Published: (2015-03-01)

Estimation of SEU Threshold Energy from Kitsat-1 Data Using AP-8 Model
by: Sung-Joon Kim, et al.
Published: (2001-11-01)

FPGA-Based Reliable Fault Secure Design for Protection against Single and Multiple Soft Errors
by: Manar N. Shaker, et al.
Published: (2020-12-01)

Credible Compilation *
by: Rinard, Martin C.
Published: (2003)

Selecting reliable blockchain peers via hybrid blockchain reliability prediction
by: Peilin Zheng, et al.
Published: (2023-08-01)

Weapon System Software Quality Improvement using Software Reliability Prediction Model
by: InSoo Ryu
Published: (2018-12-01)

A compiler compiler and methodology for problem oriented language compiler implementors /
by: 459855 Evans, R. V., et al.

A Fully Polarity-Aware Double-Node-Upset-Resilient Latch Design
by: Jung-Jin Park, et al.
Published: (2022-08-01)

SOFTWARE APPLICATIONS FOR FIELD RELIABILITY DATA
by: Adrian Stere PARIS,
Published: (2011-07-01)

SEU Hardened D Flip-Flop Design with Low Area Overhead
by: Chenyu Yin, et al.
Published: (2023-09-01)

Soft-Error-Aware Radiation-Hardened Ge-DLTFET-Based SRAM Cell Design
by: Pushpa Raikwal, et al.
Published: (2023-07-01)

Compiler design /
by: 371601 Wilhelm, Reinhard, et al.
Published: (1995)

Compiler techniques /
by: Pollack, Bary W.
Published: (1972)

Compiler construction /
by: 172147 Waite, William M., et al.
Published: (1984)

Compilation [kesetvideo]
by: Open University. An Algorithmic Approach to Computing Course Team
Published: (1973)