1. Experimentally evaluating an automatic approach for generating safety-critical software with respect to transient errors
- Author
-
Raoul Velazco, M. Sonza Reorda, P. Cheynet, Massimo Violante, B. Nicolescu, Maurizio Rebaudengo, Techniques of Informatics and Microelectronics for integrated systems Architecture (TIMA), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA), Dipartimento di Automatica e Informatica [Torino] (DAUIN), Politecnico di Torino [Torino] (Polito), Techniques de l'Informatique et de la Microélectronique pour l'Architecture des systèmes intégrés (TIMA), Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS), and Politecnico di Torino = Polytechnic of Turin (Polito)
- Subjects
Nuclear and High Energy Physics ,Computer science ,transient-error ,high-level-code ,02 engineering and technology ,Fault detection and isolation ,redundancy ,Software ,Software fault tolerance ,0202 electrical engineering, electronic engineering, information engineering ,Redundancy (engineering) ,N-version programming ,microprocessor ,[SPI.NANO]Engineering Sciences [physics]/Micro and nanotechnologies/Microelectronics ,Electrical and Electronic Engineering ,business.industry ,020207 software engineering ,Control engineering ,automatic-generation ,safety-critical-software ,020202 computer hardware & architecture ,Reliability engineering ,Nuclear Energy and Engineering ,PACS 85.42 ,Fault coverage ,business ,on-line-fault-detection - Abstract
This paper deals with a software modification strategy allowing on-line detection of transient errors. Being based on a set of rules for introducing redundancy in the high-level code, the method can be completely automated, and is therefore particularly suited for low-cost safety-critical microprocessor-based applications. Experimental results are presented and discussed, demonstrating the effectiveness of the approach in terms of fault detection capabilities.
- Published
- 2000
- Full Text
- View/download PDF