Nonintrusive Automatic Compiler-Guided Reliability Improvement of Embedded Applications Under Proton Irradiation

A method is presented for automated improvement of embedded application reliability. The compilation process is guided using genetic algorithms and a multiobjective optimization approach (MOOGAs). Even though modern compilers are not designed to generate reliable builds, they can be tuned to obtain compilations that improve their reliability, through simultaneous optimization of their fault coverage, execution time, and memory size. Experiments show that relevant reliability improvements can be obtained from an efficient exploration of the compilation solutions space. Fault-injection simulation campaigns are performed to assess our proposal against different benchmarks, and the results are assessed against a real Advanced RISC Machines-based system-on-chip under proton irradiation.

[1]  Lamjed Ben Said,et al.  Many-objective Optimization Using Evolutionary Algorithms: A Survey , 2017, Recent Advances in Evolutionary Multi-objective Optimization.

[2]  Dan Boneh,et al.  On genetic algorithms , 1995, COLT '95.

[3]  Pedro J. Gil,et al.  Non-intrusive Software-Implemented Fault Injection in Embedded Systems , 2003, LADC.

[4]  Oliver Kramer,et al.  Genetic Algorithm Essentials , 2017, Studies in Computational Intelligence.

[5]  Antonio Martínez-Álvarez,et al.  On the influence of compiler optimizations in the fault tolerance of embedded systems , 2016, 2016 IEEE 22nd International Symposium on On-Line Testing and Robust System Design (IOLTS).

[6]  Joel Emer,et al.  A systematic methodology to compute the architectural vulnerability factors for a high-performance microprocessor , 2003, Proceedings. 36th Annual IEEE/ACM International Symposium on Microarchitecture, 2003. MICRO-36..

[7]  Mary W. Hall,et al.  Analyzing the effects of compiler optimizations on application reliability , 2011, 2011 IEEE International Symposium on Workload Characterization (IISWC).

[8]  Antonio Jimeno-Morenilla,et al.  A Flexible Software-Based Technique for Soft Error Mitigation in Low-Cost Embedded Systems , 2013 .

[9]  David I. August,et al.  Design and evaluation of hybrid fault-detection systems , 2005, 32nd International Symposium on Computer Architecture (ISCA'05).

[10]  Paolo Rech,et al.  Register File Criticality and Compiler Optimization Effects on Embedded Microprocessor Reliability , 2017, IEEE Transactions on Nuclear Science.

[11]  Kalyanmoy Deb,et al.  A fast and elitist multiobjective genetic algorithm: NSGA-II , 2002, IEEE Trans. Evol. Comput..

[12]  Antonio Martínez-Álvarez,et al.  Dependability evaluation of COTS microprocessors via on-chip debugging facilities , 2016, 2016 17th Latin-American Test Symposium (LATS).

[13]  Régis Leveugle,et al.  Statistical fault injection: Quantified error and confidence , 2009, 2009 Design, Automation & Test in Europe Conference & Exhibition.

[14]  J. Ziegler,et al.  SRIM – The stopping and range of ions in matter (2010) , 2010 .

[15]  Sameer Kulkarni,et al.  An evaluation of different modeling techniques for iterative compilation , 2011, 2011 Proceedings of the 14th International Conference on Compilers, Architectures and Synthesis for Embedded Systems (CASES).

[16]  Antonio Martínez-Álvarez,et al.  Compiler-Directed Soft Error Mitigation for Embedded Systems , 2012, IEEE Transactions on Dependable and Secure Computing.

[17]  David W. Corne,et al.  Evolutionary Algorithms , 2018, Handbook of Heuristics.

[18]  Matei Ripeanu,et al.  Finding Resilience-Friendly Compiler Optimizations Using Meta-Heuristic Search Techniques , 2016, EDCC 2016.

[19]  A. W. Kemp,et al.  Univariate Discrete Distributions , 1993 .

[20]  Y. Morilla,et al.  Evaluation of the Suitability of NEON SIMD Microprocessor Extensions Under Proton Irradiation , 2018, IEEE Transactions on Nuclear Science.

[21]  Massimo Violante,et al.  Software-Implemented Hardware Fault Tolerance , 2010 .

[22]  Antonio Martínez-Álvarez,et al.  Selective SWIFT-R , 2013, Journal of Electronic Testing.

[23]  Ricardo Reis,et al.  Evaluation of Compiler Optimization Flags Effects on Soft Error Resiliency , 2018, 2018 31st Symposium on Integrated Circuits and Systems Design (SBCCI).

[24]  Simon J. Hollis,et al.  BEEBS: Open Benchmarks for Energy Measurements on Embedded Platforms , 2013, ArXiv.