Sik-Sang Yau, R. C. Cheung

Research output: Chapter in Book/Report/Conference proceedingChapter

52 Scopus citations


This paper discusses different techniques for constructing a piece of self-checking software for systems where ultra-reliability is required. Self-checking software can be designed to detect software errors, to 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-checking 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.

Original languageEnglish (US)
Title of host publicationUnknown Host Publication Title
Place of PublicationNew York, NY
Number of pages8
StatePublished - 1975
Externally publishedYes
EventInt Conf on Reliab Software, Proc - Los Angeles, CA, USA
Duration: Apr 21 1975Apr 23 1975


OtherInt Conf on Reliab Software, Proc
CityLos Angeles, CA, USA

ASJC Scopus subject areas

  • Engineering(all)

Fingerprint Dive into the research topics of 'DESIGN OF SELF-CHECKING SOFTWARE.'. Together they form a unique fingerprint.

Cite this