NASA NTRS · 19910008254
High level design proof of a reliable computing platform
Abstract
The main objectives are: to establish hardware/software platform for ultra-reliable computing; to use fault tolerant computer architecture; to use formal methods to prevent design and implementation errors; and to construct reliability model to quantify reliability estimate. The results show that: ultra-reliable control systems are hard to achieve; simple fault tolerant design is postulated; formal specification of design is constructed; and preliminary correctness proofs are obtained.
Keep this discovery
Explore connections, maps & timelines
Divito, Ben L., Butler, Ricky W., Caldwell, James L.. 1990-11-01. High level design proof of a reliable computing platform. https://ntrs.nasa.gov/citations/19910008254
Cite the original work for its findings. Save a collection to share your selection of sources.