Issue No. 07 - July (1982 vol. 31)
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.
watchdog processor, Control flow, error detection, Pascal, structural integrity checking (SIC), structured programming
D. Lu, "Watchdog Processors and Structural Integrity Checking," in IEEE Transactions on Computers, vol. 31, no. , pp. 681-685, 1982.