Design of self-checking software

S. S. Yau, R. C. Cheung

Research output: Contribution to conferencePaperpeer-review

1 Scopus citations


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)
Number of pages8
StatePublished - Apr 1 1975
Externally publishedYes
Event1975 International Conference on Reliable Software - Los Angeles, United States
Duration: Apr 21 1975Apr 23 1975


Conference1975 International Conference on Reliable Software
Country/TerritoryUnited States
CityLos Angeles

ASJC Scopus subject areas

  • Software


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

Cite this