NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login

Press Enter or click the Search button to begin your search.

Back to Results
High Level Design Proof of a Reliable Computing PlatformThe 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.
Document ID
19910008254
Acquisition Source
Legacy CDMS
Document Type
Presentation
Authors
Ben L Divito (Langley Research Center Hampton, United States)
Ricky W Butler (Langley Research Center Hampton, United States)
James L Caldwell (Langley Research Center Hampton, United States)
Date Acquired
September 6, 2013
Publication Date
November 1, 1990
Publication Information
Publication: NASA Formal Methods Workshop, 1990
Publisher: National Aeronautics and Space Administration
Subject Category
Computer Operations and Hardware
Report/Patent Number
NASA-CP-10052
Meeting Information
Meeting: NASA Formal Methods Workshop
Location: Hampton, VA
Country: US
Start Date: August 20, 1990
End Date: August 23, 1990
Sponsors: National Aeronautics and Space Administration
Accession Number
91N17567
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.
Technical Review
NASA Technical Management

Related Records

IDRelationTitle19910008246Collected WorksNASA Formal Methods Workshop, 1990
No Preview Available