Formal Design and Verification of a Reliable Computing Platform for Real-Time Control (Phase 1 Results)
Vito Ben L. Di, W Butler Ricky, James L. Caldwell · NASA Technical Reports Server (NASA) · 1990
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.