ARTiMon Monitoring Tool, The Time Domains

17 pages•Published: December 14, 2017

Abstract

This work is related to our monitoring tool called ARTiMon for the online property monitoring of discrete and continuous systems. This paper presents the syntax and the semantics of the current input language of ARTiMon. Because this is not always well understood by users, and also because it grounds the ability of ARTiMon to check properties online, in this tool paper a particular focus is accorded to the domain definition of time functions used to interpret terms of the language.

Keyphrases: monitoring, property, real time, semantics, time domains, time function

In: Giles Reger and Klaus Havelund (editors). RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, vol 3, pages 106-122.

Links:	https://easychair.org/publications/paper/b417
	https://doi.org/10.29007/wv9n

BibTeX entry

@inproceedings{RV-CuBES2017:ARTiMon_Monitoring_Tool_Time,
  author    = {Nicolas Rapin},
  title     = {ARTiMon Monitoring Tool, The Time Domains},
  booktitle = {RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools},
  editor    = {Giles Reger and Klaus Havelund},
  series    = {Kalpa Publications in Computing},
  volume    = {3},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/b417},
  doi       = {10.29007/wv9n},
  pages     = {106-122},
  year      = {2017}}

Download PDF Open PDF in browser