This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Concurrent Runtime Monitoring of Formally Specified Programs
March 1993 (vol. 26 no. 3)
pp. 32-41

A methodology for continuously monitoring a program for specification consistency during program execution is described. Prior development of the formal specification and program is assumed. The program is annotated with constructs from a formal specification language, and the formal specification constructs are transformed into checking code, which is then inserted into the underlying program. Calls to this checking code are inserted into underlying program wherever it can potentially become inconsistent with its specification. If an inconsistency does in fact occur, diagnostic information is provided. The implementation of such a system for Anna (annotated Ada) subtype annotations is presented.

Citation:
Sriram Sankar, Manas Mandal, "Concurrent Runtime Monitoring of Formally Specified Programs," Computer, vol. 26, no. 3, pp. 32-41, March 1993, doi:10.1109/2.204684
Usage of this product signifies your acceptance of the Terms of Use.