NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
The Hierarchical Specification and Mechanical Verification of the SIFT DesignThe formal specification and proof methodology employed to demonstrate that the SIFT computer system meets its requirements are described. The hierarchy of design specifications is shown, from very abstract descriptions of system function down to the implementation. The most abstract design specifications are simple and easy to understand, almost all details of the realization were abstracted out, and are used to ensure that the system functions reliably and as intended. A succession of lower level specifications refines these specifications into more detailed, and more complex, views of the system design, culminating in the Pascal implementation. The section describes the rigorous mechanical proof that the abstract specifications are satisfied by the actual implementation.
Document ID
19840017242
Acquisition Source
Legacy CDMS
Document Type
Other
Date Acquired
August 12, 2013
Publication Date
August 1, 1983
Publication Information
Publication: Invest., Develop., and Evaluation of Performance Proving for Fault-Tolerant Computers
Subject Category
Computer Operations And Hardware
Accession Number
84N25310
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.
Document Inquiry

Available Downloads

There are no available downloads for this record.
No Preview Available