Computational analysis of run-time monitoring: Fundamentals of java-MaC

Moonjoo Kim, Sampath Kannan, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan

Research output: Contribution to journalConference articlepeer-review


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.

Original languageEnglish (US)
Pages (from-to)80-94
Number of pages15
JournalElectronic Notes in Theoretical Computer Science
Issue number4
StatePublished - Dec 2002
EventRV'02, Runtime Verification 2002 (FLoC satellite Event) - Copenhagen, Denmark
Duration: Jul 26 2002Jul 26 2002

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)


Dive into the research topics of 'Computational analysis of run-time monitoring: Fundamentals of java-MaC'. Together they form a unique fingerprint.

Cite this