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

In this paper, we present software tools for predicting the rate and nature of observable SEU induced errors in microprocessor systems. These tools are built around a commercial microprocessor simulator and are used to analyse real satellite application systems. Results obtained from simulating the nature of SEU induced errors are shown to correlate with ground-based radiation test dat

Artificial Neural Networks have been shown to possess fault tolerant properties. We present the architecture of a neural network designed to process satellite images (SPOT photos). Computer simulations and ground tests performed on a digital implementation of this neural network prove its robustness with respect to bit errors

This paper deals with a method able to provide a microprocessor-based system with safety capabilities by modifying the source code of the executed application, only. The method exploits a set of transformations which can automatically be applied, thus greatly reducing the cost of designing a safe system, and increasing the confidence in its correctness. Fault Injection experiments have been performed on a sample application using two different systems based on CISC and RISC processors. Results demonstrate that the method effectiveness is rather independent of the adopted platform

The intrinsic robustness of fuzzy control digital implementations with respect to Single Event Upset is investigated. A commercial circuit dedicated to fuzzy control was used to implement the control part of a future ESA Mars instrument deployment vehicle. Upset fault injection experiments show the fault tolerance properties of the studied application