Download PDFOpen PDF in browser

A Suite of Monitoring Tools for Erlang

7 pagesPublished: December 14, 2017

Abstract

Ensuring formal correctness for actor-based, concurrent systems is a difficult task, pri- marily because exhaustive, static analysis verification techniques such as model checking quickly run into state-explosion problems. Runtime monitoring techniques such as Run- time Verification and Adaptation circumvent this limitation by verifying the correctness of a program by dynamically analysing its executions. This paper gives an overview of a suite of monitoring tools available for verifying and adapting actor-based Erlang programs.

Keyphrases: actor systems, adaptation, Enforcement, Erlang, monitoring, runtime verification, verification

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 41--47

Links:
BibTeX entry
@inproceedings{RV-CuBES2017:Suite_of_Monitoring_Tools,
  author    = {Ian Cassar and Adrian Francalanza and Duncan Attard and Luca Aceto and Anna Ingolfsdottir},
  title     = {A Suite of Monitoring Tools for Erlang},
  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},
  pages     = {41--47},
  year      = {2017},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {https://easychair.org/publications/paper/cSzb},
  doi       = {10.29007/7lrd}}
Download PDFOpen PDF in browser