DocumentCode
1042194
Title
A formal investigation of checking the input to critical systems
Author
Staknis, Mark E.
Author_Institution
Northeastern Univ., Boston, MA, USA
Volume
42
Issue
4
fYear
1993
fDate
12/1/1993 12:00:00 AM
Firstpage
588
Lastpage
595
Abstract
Safe reliable systems must be able to detect component failure. Checks in software can be effective for detecting hardware and sensor failure as well as for detecting errors in the software itself. This work develops a formal theory of checking in which the nature and structure of checks are investigated. Important to the theory is the notion of independence, which can be defined in terms of n-ary relations. The utility of the theory is illustrated by analyses of checks on input in various software contexts. In particular, sensor input to the NASA Guidance and Control Software is analyzed
Keywords
error detection; fault tolerant computing; program verification; set theory; software reliability; NASA Guidance and Control Software; component failure; critical systems; hardware failure; independence; n-ary relations; sensor failure; Aerospace electronics; FAA; Fault detection; Fault tolerant systems; Hardware; Military computing; NASA; Reliability theory; Sensor phenomena and characterization; Software safety;
fLanguage
English
Journal_Title
Reliability, IEEE Transactions on
Publisher
ieee
ISSN
0018-9529
Type
jour
DOI
10.1109/24.273587
Filename
273587
Link To Document