Portal de Periódicos da CAPES

Software Techniques for Detecting Single-Event Upsets in Satellite Computers

1985; Institute of Electrical and Electronics Engineers; Volume: 32; Issue: 6 Linguagem: Inglês

10.1109/tns.1985.4334099

1558-1578

Joseph G. Tront, James R. Armstrong, Jayawant V. Oak,

Software Reliability and Analysis Research

This paper describes a technique for incorporating a self-testing capability into the software of a microprocessor-based control system. The technique is aimed towards power limited as well as size and weight constrained systems such as those found in satellites. The single-event upsets injected into the simulated system are modeled after those which would be produced by a cosmic ray intrusion. Although the implementation primarily uses a software system modification to attain self-testing, the technique also requires an additional hardware watchdog timer to ensure reliable functioning of the control system. The modifications do not incur extensive time or memory overheads. The technique has been verified, for two microprocessors with diverse architectures, using computer simulations.