NTRS - NASA Technical Reports Server

As of October 27, 2023, NASA STI Services will no longer have an embargo for accepted manuscripts. For more information visit NTRS News.

Back to Results
Formal Techniques for Synchronized Fault-Tolerant SystemsWe present the formal verification of synchronizing aspects of the Reliable Computing Platform (RCP), a fault-tolerant computing system for digital flight control applications. 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. Our formalization is based on an extended state machine model incorporating snapshots of local processors clocks.
Document ID
Document Type
Conference Paper
DiVito, Ben L.
(Vigyan Research Associates, Inc. Hampton, VA, United States)
Butler, Ricky W.
(NASA Langley Research Center Hampton, VA, United States)
Date Acquired
September 7, 2013
Publication Date
January 1, 1992
Subject Category
Aircraft Stability And Control
Meeting Information
Meeting: Third IFIP International Working Conference on Dependable Computing for Critical Applications
Location: Mondello
Country: Italy
Start Date: September 14, 1992
End Date: September 16, 1992
Funding Number(s)
Distribution Limits
Public Use Permitted.
No Preview Available