Experimentally evaluating an automatic approach for generating safety-critical software with respect to transient errors

IEEE Transactions on Nuclear Science

Volumn 47, Issue 6 III, 2000, Pages 2231-2236

  Cheynet, Phillipe ^a   Nicolescu, Bogdan ^a   Velazco, Raoul ^a,b   Rebaudengo, Maurizio ^c   Reorda, Matteo Sonza ^c   Violante, Massimo ^c  

^a TIMA LABORATORY   (France)

^b CNRS   (France)

^c POLITECNICO DI TORINO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

FAULT DETECTION; SAFETY CRITICAL SOFTWARE; TRANSIENT ERRORS;

ALGORITHMS; C (PROGRAMMING LANGUAGE); CHARGED PARTICLES; DYNAMIC RANDOM ACCESS STORAGE; FAILURE ANALYSIS; FAULT TOLERANT COMPUTER SYSTEMS; MICROCOMPUTERS; PROM; TRANSIENTS; TRANSPUTERS; VLSI CIRCUITS;

COMPUTER SOFTWARE;

EID: 0034450434     PISSN: 00189499     EISSN: None     Source Type: Journal    
DOI: 10.1109/23.903758     Document Type: Conference Paper

References (10)

1. System structure for software fault tolerant
2. The N-version approach to fault-tolerant software
3. Algorithm-based fault tolerance for matrix operations
4. Design and evaluation of system-level checks for on-line control flow error detection
5. An approach to concurrent control flow checking
6. Time redundancy based soft-error tolerance to rescue nanometer technologies
7. Soft-error detection through software fault-tolerance techniques
8. Evidences of SEU tolerance for digital implementations of artificial neural networks: One year MPTB flight results
9. Evaluating the effectiveness of a software fault-tolerance technique on RISC- and CISC-based architectures