Watchdog Processors and Structural Integrity Checking

IEEE Transactions on Computers

Volumn C-31, Issue 7, 1982, Pages 681-685

  Jun Lu, David ^a  

^a STANFORD UNIVERSITY   (United States)

Author keywords

Control flow; error detection; Pascal; structural integrity checking (SIC); structured programming; watchdog processor

Indexed keywords

COMPUTER PROGRAMMING;

EID: 0020153883     PISSN: 00189340     EISSN: None     Source Type: Journal    
DOI: 10.1109/TC.1982.1676066     Document Type: Article

References (19)

1. J. M. Ayache, P. Azema, and M. Diaz, “Observer: A concept for on-line detection of control errors in concurrent systems,” in Proc. 9th Annu. Int. Conf. on Fault-Tolerant Comput., June 1979, pp. 79–86.
2. S. Bologna and W. Ehrenberger, “Possibilities and boundaries for the use of control sequence checking,” in Proc. 8th Annu. Int. Conf. on Fault-Tolerant Comput., June 1978, p. 226.
3. O.-J. Dahl, E. W. Dijkstra, and C. A. R. Hoare, Structured Programming. New York: Academic, 1972.
4. E. W. Dijkstra, “Structured programming,” in Software Engineering Techniques, J. N. Buxton and B. Randell, Eds. Rome, Italy: NATO, Oct. 1969, pp. 84–88.
5. J. E. Donahue, Complementary Definitions of Programming Language Semantics (Lecture Notes in Computer Science, vol. 42). New York: Springer-Verlag, 1976, p. 47.
6. R. S. Fabry, “Capability-based addressing,” Commun. Ass. Comput. Mach., vol. 17, pp. 403–412, July 1974.
7. J. E. Hopcroft and J. D. Ullman, Formal Languages and Their Relation to Automata. Reading, MA: Addison-Wesley, 1969.
8. J. J. Horning, H. C. Lauer, P. M. Melliar-Smith, and B. Randell, “A program structure for error detection and recovery,” in Lecture Notes in Computer Science, vol. 16. New York: Springer-Verlag, 1974, pp. 171–187.
9. K. Jensen and N. Wirth, Pascal User Manual and Report, 2nd ed. New York: Springer-Verlag, 1976.
10. J. R. Kane and S. S. Yau, “Concurrent software fault detection,” IEEE Trans. Software Eng., vol. SE-1, pp. 87–99, Mar. 1975.
11. D. J. Lu, “Watchdog processors and VLSI,” in Proc. Nat. Electron. Conf., vol. 34, Chicago, IL, Oct. 1980, pp. 240–245.
12. D. J. Lu, E. J. McCluskey, and M. Namjoo, “Summary of structural integrity checking,” in Proc. IEEE Distributed Data Acquisition, Comput., Contr. Symp., Miami Beach, FL, Dec. 1980, pp. 107–109.
13. D. J. Lu, “Concurrent testing and checking in computer systems,” Ph.D. dissertation, Stanford Univ., Stanford, CA, June 1981.
14. D. J. Lu, “Watchdog processors and structural integrity checking,” CRC Tech. Rep. 81–5 (CSL TR 212), Cen. for Reliable Comput., Comput. Syst. Lab., Dep. Elec. Eng. Comput. Sci., Stanford Univ., Stanford, CA, July 1981.
15. G. J. Myers, “Storage concepts in a software-reliability-directed computer architecture,” in Proc. 5th Annu. ACM–IEEE Symp. on Comput. Arch., Apr. 1978, pp. 107–113.
16. J. S. Nowak, and L. S. Tuomenoksa, “Memory mutilation in stored program controlled telephone systems,” in Proc. IEEE 1970 Int. Conf. on Commun., vol. 2, June 1970, pp. 43–22–43–45.
17. A. R. Rodriguez, “Ucode Pascal,” S-1 Project, Dep. Comput. Sci., Stanford Univ., Stanford, CA, Dec. 1979.
18. SDS Sigma 7 Computer Reference Manual. Santa Monica, CA: Scientific Data Systems, May 1966, p. 24.
19. S. S. Yau and F.-C. Chen, “An approach to concurrent control flow checking,” IEEE Trans. Software Eng., vol. SE-6, pp. 126–137, Mar. 1980.