Design of self-checking software

Sik-Sang Yau, R. C. Cheung

Research output: Contribution to conferencePaper

1 Citation (Scopus)

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

Fingerprint

Cost effectiveness
Data structures
Hardware
Recovery
Costs

ASJC Scopus subject areas

  • Software

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

Design of self-checking software. / Yau, Sik-Sang; Cheung, R. C.

1975. 450-457 Paper presented at 1975 International Conference on Reliable Software, Los Angeles, United States.

Research output: Contribution to conferencePaper

Yau, S-S & Cheung, RC 1975, 'Design of self-checking software', Paper presented at 1975 International Conference on Reliable Software, Los Angeles, United States, 4/21/75 - 4/23/75 pp. 450-457. https://doi.org/10.1145/800027.808468
Yau S-S, Cheung RC. Design of self-checking software. 1975. Paper presented at 1975 International Conference on Reliable Software, Los Angeles, United States. https://doi.org/10.1145/800027.808468
Yau, Sik-Sang ; Cheung, R. C. / Design of self-checking software. Paper presented at 1975 International Conference on Reliable Software, Los Angeles, United States.8 p.
@conference{9657a1c62dd24a629069a9e27ce30c53,
title = "Design of self-checking software",
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.",
author = "Sik-Sang Yau and Cheung, {R. C.}",
year = "1975",
month = "4",
day = "1",
doi = "10.1145/800027.808468",
language = "English (US)",
pages = "450--457",
note = "1975 International Conference on Reliable Software ; Conference date: 21-04-1975 Through 23-04-1975",

}

TY - CONF

T1 - Design of self-checking software

AU - Yau, Sik-Sang

AU - Cheung, R. C.

PY - 1975/4/1

Y1 - 1975/4/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85059127810&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85059127810&partnerID=8YFLogxK

U2 - 10.1145/800027.808468

DO - 10.1145/800027.808468

M3 - Paper

AN - SCOPUS:85059127810

SP - 450

EP - 457

ER -