NASA Logo

NTRS

NTRS - NASA Technical Reports Server

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
20040121140
Document Type
Conference Paper
Authors
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
Third IFIP International Working Conference on Dependable Computing for Critical Applications(Mondello)
Funding Number(s)
CONTRACT_GRANT: NAS1-19341
Distribution Limits
Public
Copyright
Public Use Permitted.

Available Downloads

NameType 20040121140.pdf STI
No Preview Available