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

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

Citing 0
Cited 3

Formal Methods Technology Transfer: A View from NASA

Formal Methods in System Design - Special issue: industrial critical systems
An Application of Formal Analysis to Software in a Fault-Tolerant Environment

IEEE Transactions on Computers
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

This paper presents a high-level design for a reliable computing platform for real-time control applications. Design tradeoffs and analyses related to the development of the fault-tolerant computing platform are discussed. The architecture is formalized and shown to satisfy a key correctness property.