NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
Overview of Code VerificationThe verified code for the SIFT Executive is not the code that executes on the SIFT system as delivered. The running versions of the SIFT Executive contain optimizations and special code relating to the messy interface to the hardware broadcast interface and to packing of data to conserve space in the store of the BDX930 processors. The running code was in fact developed prior to and without consideration of any mechanical verification. This was regarded as necessary experimentation with the SIFT hardware and special purpose Pascal compiler. The Pascal code sections cover: the selection of a schedule from the global executive broadcast, scheduling, dispatching, three way voting, and error reporting actions of the SIFT Executive. Not included in these sections of Pascal code are: the global executive, five way voting, clock synchronization, interactive consistency, low level broadcasting, and program loading, initialization, and schedule construction.
Document ID
19840017243
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 Programming And Software
Accession Number
84N25311
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