The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.07 - July (1982 vol.31)
pp: 681-685
D.J. Lu , Center for Reliable Computing, Computer Systems Laboratory, Departments of Electrical Engineering and Computer Science, Stanford University
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.
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
42 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool