Formal Design and Verification of a Reliable Computing Platform for Real-Time Control (Phase 2 Results)

Authors:
Ricky W. Butler;Ben L. Di Vito
Affiliations:
-;-
Venue:
Formal Design and Verification of a Reliable Computing Platform for Real-Time Control (Phase 2 Results)
Year:
2003

Citing 0
Cited 5

Formal Methods Technology Transfer: A View from NASA

Formal Methods in System Design - Special issue: industrial critical systems
Stability and Performance of List Scheduling With ExternalProcess Delays

Real-Time Systems
Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms

IEEE Transactions on Software Engineering
Inherently Stable Real-Time Priority List Dispatchers

IEEE Parallel & Distributed Technology: Systems & Technology
On-Line and Off-Line Test of Airborne Digital Systems: a Reliability Study

ITC '00 Proceedings of the 2000 IEEE International Test Conference

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper the design and formal verification of the Reliable Computing Platform (RCP), a fault-tolerant computing system for digital flight control applications is presented. The RCP utilizes N-Multiply Redundant (NMR) style redundancy to mask faults and internal majority voting to flush the effects of transient faults. The system is formally specified and verified using the Ehdm verification system. A major goal of this work is to provide the system with significant capability to withstand the effects of High Intensity Radiated Fields (HIRF).