DocumentCode :
1146782
Title :
Watchdog Processors and Structural Integrity Checking
Author :
Lu, David Jun
Author_Institution :
Center for Reliable Computing, Computer Systems Laboratory, Departments of Electrical Engineering and Computer Science, Stanford University
Issue :
7
fYear :
1982
fDate :
7/1/1982 12:00:00 AM
Firstpage :
681
Lastpage :
685
Abstract :
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.
Keywords :
Control flow; Pascal; error detection; structural integrity checking (SIC); structured programming; watchdog processor; Circuit faults; Circuit testing; Computer errors; Electrical fault detection; Error correction; Fault detection; Hardware; Silicon carbide; Software testing; Very large scale integration; Control flow; Pascal; error detection; structural integrity checking (SIC); structured programming; watchdog processor;
fLanguage :
English
Journal_Title :
Computers, IEEE Transactions on
Publisher :
ieee
ISSN :
0018-9340
Type :
jour
DOI :
10.1109/TC.1982.1676066
Filename :
1676066
Link To Document :
بازگشت