Concurrent runtime checking of annotated Ada programs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 241 LNCS, Issue , 1986, Pages 10-35

  Rosenblum, David S ^a   Sankar, Sriram ^a   Luckham, David C ^a  

^a STANFORD UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; COMPUTER SOFTWARE; PROGRAM DEBUGGING; SOFTWARE ENGINEERING; SOFTWARE TESTING;

ANNOTATED PROGRAM; DISTRIBUTED CHECKING; INTERACTIVE PROGRAMS; PARALLEL ENVIRONMENT; RUN-TIME CHECKING; RUN-TIME CHECKS; SINGLE PROCESSOR SYSTEMS; TESTING AND DEBUGGING;

ADA (PROGRAMMING LANGUAGE);

EID: 84938166142     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-17179-7_2     Document Type: Conference Paper

References (12)

1. The Ada Programming Language Reference Manual. US Department of Defense, US Government Printing Office, February 1983. ANSI/MIL-STD-1815A-1983.
2. A. Ersoz, D. M. Andrews, and E. J. McCluskey. The Watchdog Task: Concurrent Error Detection Using Assertions. Technical Report 85-267, Computer Systems Laboratory, Stanford University, May 1985.
3. A. Evans, K.J. Butler, G. Goos, and W. A. Wulf. DIANA Reference Manual. Tartan Laboratories, Inc., Pittsburgh, PA, revision 3 edition, 1983.
4. B. Krieg-Brückner. Consistency checking in Ada and Anna: a transformational approach. Ada Letters, 3(2):46-54, September-October 1983.
5. David J. Lu. Watchdog processors and VLSI. In Proceedings of the National Electronics Conference (Volume 34), pages 240-245, October 1980.
6. David C. Luckham, S. M. German, F. W. yon Henke, R. A. Karp, P. W. Milne, D. C. Oppen, W. Polak, and W. L. Scherlis. Stanford Pascal Verifier User Manual. Technical Report 79-731, Department of Computer Science, Stanford University, March 1979. (Program Analysis and Verification Group Report 11.).
7. David C. Luckham and F. W. von Henke. An overview of Anna, a specification language for Ada. IEEE Software, 2(2):9-23, March 1985.
8. David C. Luckham, F. W. von Henke, B. Krieg-Briickner, and O. Owe. Anna—A Language for Annotating Ada Programs. Technical Report 84-261, Computer Systems Laboratory, Stanford University, July 1984. (Program Analysis and Verification Group Report 24).
9. A. Mahmood and E. J. McCluskey. Concurrent Error Delection Using Watchdog Processors—A Survey. Technical Report 85-266, Computer Systems Laboratory, Stanford University, June 1985.
10. David S. Rosenblum. A methodology for the design of Ada transformation tools in a DIANA environment. IEEE Software, 2(2):24-33, March 1985.
11. Sriram Sankar and David S. Rosenblum. The Complete Transformation Methodology for Sequential Runtime Checking of an Anna Subset. Technical Report 86-301, Computer Systems Laboratory, Stanford University, June 1986. (Program Analysis and Verification Group Report 30.).
12. Sriram Sankar, David S. Rosenblum, and Randall B. Neff. An implementation of Anna. In Ada in Use: Proceedings of the Ada International Conference, pages 285-296, Cambridge University Press, May 1985.