This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
July 1982 (vol. 31 no. 7)
pp. 681-685
D.J. Lu, Center for Reliable Computing, Computer Systems Laboratory, Departments of Electrical Engineering and Computer Science, Stanford University
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.
Index Terms:
watchdog processor, Control flow, error detection, Pascal, structural integrity checking (SIC), structured programming
Citation:
D.J. Lu, "Watchdog Processors and Structural Integrity Checking," IEEE Transactions on Computers, vol. 31, no. 7, pp. 681-685, July 1982, doi:10.1109/TC.1982.1676066
Usage of this product signifies your acceptance of the Terms of Use.