Abstract
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 language | English (US) |
|---|---|
| Title of host publication | Unknown Host Publication Title |
| Place of Publication | New York, NY |
| Publisher | IEEE |
| Pages | 450-457 |
| Number of pages | 8 |
| State | Published - 1975 |
| Externally published | Yes |
| Event | Int Conf on Reliab Software, Proc - Los Angeles, CA, USA Duration: Apr 21 1975 → Apr 23 1975 |
Other
| Other | Int Conf on Reliab Software, Proc |
|---|---|
| City | Los Angeles, CA, USA |
| Period | 4/21/75 → 4/23/75 |
ASJC Scopus subject areas
- General Engineering