Concurrent runtime monitoring of formally specified programs

  title={Concurrent runtime monitoring of formally specified programs},
  author={Sriram Sankar and Manas Mandal},
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… CONTINUE READING
Highly Cited
This paper has 144 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.

Explore Further: Topics Discussed in This Paper


Publications citing this paper.
Showing 1-10 of 43 extracted citations

Formal specification-based online monitoring

11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06) • 2006
View 4 Excerpts
Highly Influenced

A taxonomy and catalog of runtime software-fault monitoring tools

IEEE Transactions on Software Engineering • 2004
View 4 Excerpts
Highly Influenced

A survey of software runtime monitoring

2017 8th IEEE International Conference on Software Engineering and Service Science (ICSESS) • 2017
View 2 Excerpts

Time-triggered scheduling of query executions for active diagnosis in distributed real-time systems

2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) • 2017
View 1 Excerpt

A Framework for Earth System Model Application Monitoring

2013 IEEE 16th International Conference on Computational Science and Engineering • 2013
View 1 Excerpt

Monitoring Service Systems from a Language-Action Perspective

IEEE Transactions on Services Computing • 2011
View 1 Excerpt

Rapid property specification and checking for model-based formalisms

2011 22nd IEEE International Symposium on Rapid System Prototyping • 2011
View 1 Excerpt

145 Citations

Citations per Year
Semantic Scholar estimates that this publication has 145 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 14 references

Building Large Knowledge Based Systems

D. Lenat, R. V. Guha
Addison Wesley, • 1989

Stanford University

S. Sankar. Automatic Runtime Consistency Checking, Debugging of Formally Specified Programs. PhD thesis
August • 1989
View 2 Excerpts

VDM '88 VDM — The Way Ahead

Lecture Notes in Computer Science • 1988

An Intrusion-Detection Model

1986 IEEE Symposium on Security and Privacy • 1986
View 1 Excerpt

In Proceedings of the 6th Conference on Foundations of Software Technology and Theoretical Computer Science

D. S. Rosenblum, S. Sankar, D. C. Luckham. Concurrent runtime checking of annotat programs
pages 10-35, Springer-Verlag - Lecture Notes in Computer Science No. 241, December • 1986
View 2 Excerpts

Similar Papers

Loading similar papers…