Watchdog Processors and Structural Integrity Checking

Watchdog Processors and Structural Integrity Checking

The use of watchdog processors in the implementation of Structural Integrity Checking (SIC) is described. A model for ideal SIC is given in terms of formal languages and automata. Techniques for use in implementing SIC are presented. The modification of a Pascal compiler into an SIC Pascal preproces...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:IEEE transactions on computers 1982-07, Vol.C-31 (7), p.681-685
1. Verfasser: Lu
Format: Artikel
Sprache:eng
Schlagworte:
Control flow
error detection
Pascal
structural integrity checking (SIC)
structured programming
watchdog processor
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:The use of watchdog processors in the implementation of Structural Integrity Checking (SIC) is described. A model for ideal SIC is given in terms of formal languages and automata. Techniques for use in implementing SIC are presented. The modification of a Pascal compiler into an SIC Pascal preprocessor is summarized.
ISSN:0018-9340
1557-9956
DOI:10.1109/TC.1982.1676066