DocumentCode
3347903
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
fYear
1992
fDate
2-4 Dec 1992
Firstpage
275
Lastpage
278
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Real-Time Systems Symposium, 1992
Conference_Location
Phoenix, AZ
Print_ISBN
0-8186-3195-3
Type
conf
DOI
10.1109/REAL.1992.242652
Filename
242652
Link To Document