Hierarchical specification of the SIFT fault tolerant flight control systemThe specification and mechanical verification of the Software Implemented Fault Tolerance (SIFT) flight control system is described. The methodology employed in the verification effort is discussed, and a description of the hierarchical models of the SIFT system is given. To meet the objective of NASA for the reliability of safety critical flight control systems, the SIFT computer must achieve a reliability well beyond the levels at which reliability can be actually measured. The methodology employed to demonstrate rigorously that the SIFT computer meets as reliability requirements is described. The hierarchy of design specifications from very abstract descriptions of system function down to the actual implementation is explained. The most abstract design specifications can be used to verify that the system functions correctly and with the desired reliability since almost all details of the realization were abstracted out. A succession of lower level models refine these specifications to the level of the actual implementation, and can be used to demonstrate that the implementation has the properties claimed of the abstract design specifications.
Document ID
19820009232
Acquisition Source
Legacy CDMS
Document Type
Conference Paper
Authors
Melliar-Smith, P. M. (SRI International Corp. Menlo Park, CA, United States)
Schwartz, R. L. (SRI International Corp. Menlo Park, CA, United States)
Date Acquired
August 10, 2013
Publication Date
October 1, 1981
Publication Information
Publication: AGARD Tactical Airborne Distributed Computing and Networks