Design of self-checking software

Sik-Sang Yau, R. C. Cheung

Research output: Contribution to conferencePaper

1 Scopus citations

Abstract

This paper discusses different techniques for constructing s piece of self-checking software, for systems where ultra-reliability is required. Self-checking software can be designed to detect software errors, tu locate and to stop the propagation of software errors, to assist in the recovery from errors and to verify the integrity of the system. Self-checklng techniques can be implemented in the program to check the function, the control sequence and the data of a process. The functional aspects of a process can be monitored to detect infinite loops, incorrect loop terminations, illegal branches and wrong branches. The validity of data of @ process can be assured by performing checks on the integrity of data values, the integrity of data structures and the nature of data values. These self-checking capabilities should be implemented during the initial stage of program development. The cost effectiveness of each technique in the particular operating environment should be evaluated. Only the most cost-effective techniques should be retained and overhead can be reduced considerably by implementing these techniques in hardware.

Original languageEnglish (US)
Pages450-457
Number of pages8
DOIs
StatePublished - Apr 1 1975
Externally publishedYes
Event1975 International Conference on Reliable Software - Los Angeles, United States
Duration: Apr 21 1975Apr 23 1975

Conference

Conference1975 International Conference on Reliable Software
CountryUnited States
CityLos Angeles
Period4/21/754/23/75

ASJC Scopus subject areas

  • Software

Fingerprint Dive into the research topics of 'Design of self-checking software'. Together they form a unique fingerprint.

  • Cite this

    Yau, S-S., & Cheung, R. C. (1975). Design of self-checking software. 450-457. Paper presented at 1975 International Conference on Reliable Software, Los Angeles, United States. https://doi.org/10.1145/800027.808468