A concise specification language for trace monitoring

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

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

Abstract

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)
Pages1637-1640
Number of pages4
ISBN (Electronic)9781450331968
DOIs
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
https://www.sigapp.org/sac/sac2015/

Conference

Conference30th Annual ACM Symposium on Applied Computing, SAC 2015
Abbreviated titleSAC
Country/TerritorySpain
CitySalamanca
Period13/04/1517/04/15
Internet address

Fingerprint

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

Cite this