Title :
Provable transient recovery for frame-based, fault-tolerant computing systems
Author :
Di Vito, Ben L. ; Butler, Ricky W.
Author_Institution :
ViGYAN Inc., Hampton, VA, USA
Abstract :
A formal verification of the transient fault recovery aspects of the Reliable Computing Platform (RCP), a fault-tolerant computing system architecture for digital flight control applications, is described. The RCP uses NMR-style redundancy to mask faults and internal majority voting to purge the effects of transient faults. The system design has been formally specified and verified using the EHDM verification system. The present formalization accommodates a wide variety of voting schemes for purging the effects of transients
Keywords :
aerospace computer control; fault tolerant computing; formal verification; EHDM verification system; NMR-style redundancy; Reliable Computing Platform; digital flight control applications; fault-tolerant computing systems; formal verification; frame-based; internal majority voting; provable transient recovery; transient fault recovery; Actuators; Computer architecture; Control systems; Digital control; Fault tolerant systems; Formal verification; Hardware; NASA; Operating systems; Voting;
Conference_Titel :
Real-Time Systems Symposium, 1992
Conference_Location :
Phoenix, AZ
Print_ISBN :
0-8186-3195-3
DOI :
10.1109/REAL.1992.242652
