A concise specification language for trace monitoring

K. Vorobyov, P. Krishnan, P. A. Stocks

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review


In this paper we propose a mechanism called specification for monitoring (SFM) to specify runtime monitoring of programs at a high level, and an abstract API showing how to implement the monitor. SFM enables users to separate the semantic issues related to monitoring and implementation details. This results in compact specifications as the implementation details are delegated to the implementation of the API. We present several specifications to demonstrate that SFM is capable of addressing problems related to runtime fault detection at different levels of abstraction.

Original languageEnglish
Title of host publication2015 Symposium on Applied Computing, SAC 2015
PublisherAssociation for Computing Machinery (ACM)
Number of pages4
ISBN (Electronic)9781450331968
Publication statusPublished - 13 Apr 2015
Event30th Annual ACM Symposium on Applied Computing, SAC 2015 - Salamanca, Spain
Duration: 13 Apr 201517 Apr 2015
Conference number: 30th


Conference30th Annual ACM Symposium on Applied Computing, SAC 2015
Abbreviated titleSAC
Internet address


Dive into the research topics of 'A concise specification language for trace monitoring'. Together they form a unique fingerprint.

Cite this