Computational Analysis of Run-time Monitoring: Fundamentals of Java-MaC

Loading...
Thumbnail Image
Penn collection
Departmental Papers (CIS)
Degree type
Discipline
Subject
Run-time verification
monitorable properties
abstraction
Funder
Grant number
License
Copyright date
Distributor
Related resources
Author
Kim, Moonjoo
Viswanathan, Mahesh
Contributor
Abstract

A run-time monitor shares computational resources, such as memory and CPU time, with the target program. Furthermore, heavy computation performed by a monitor for checking target program's execution with respect to requirement properties can be a bottleneck to the target program's execution. Therefore, computational characteristics of run-time monitoring cause a significant impact on the target program's execution. We investigate computational issues on run-time monitoring. The first issue is the power of run-time monitoring. In other words, we study the class of properties run-time monitoring can evaluate. The second issue is computational complexity of evaluating properties written in process algebraic language. Third, we discuss sound abstraction of the target program's execution, which does not change the result of property evaluation. This abstraction can be used as a technique to reduce monitoring overhead. Theoretical understanding obtained from these issues affects the implementation of Java-MaC, a toolset for the run-time monitoring and checking of Java programs. Finally, we demonstrate the abstraction-based overhead reduction technique implemented in Java-MaC through a case study.

Advisor
Date of presentation
2002-07-26
Conference name
Departmental Papers (CIS)
Conference dates
2023-05-16T22:27:43.000
Conference location
Date Range for Data Collection (Start Date)
Date Range for Data Collection (End Date)
Digital Object Identifier
Series name and number
Volume number
Issue number
Publisher
Publisher DOI
Journal Issue
Comments
Postprint version. Published in Electronic Notes in Theoretical Computer Science, Volume 70, Issue 4, December 2002, Proceedings of the Second International Workshop on Runtime Verification (RV 2002). Publisher URL: http://dx.doi.org/10.1016/S1571-0661(04)80578-4
Postprint version. Published in Electronic Notes in Theoretical Computer Science, Volume 70, Issue 4, December 2002, Proceedings of the Second International Workshop on Runtime Verification (RV 2002). Publisher URL: http://dx.doi.org/10.1016/S1571-0661(04)80578-4
Recommended citation
Collection