Better Late Than Never or: Verifying Asynchronous Components at Runtime

Duncan Paul Attard*, Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen

*Corresponding author for this work

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

3 Citations (Scopus)

Abstract

This paper presents detectEr, a runtime verification tool for monitoring asynchronous component systems. The tool synthesises executable monitors from properties expressed in terms of the safety fragment of the modal μ -calculus. In this paper, we show how a number of useful properties can be flexibly runtime verified via the three forms of instrumentation—inline, outline, and offline—offered by detectEr to cater for specific system set-up constraints.

Original languageEnglish
Title of host publicationFormal Techniques for Distributed Objects, Components, and Systems - 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Proceedings
EditorsKirstin Peters, Tim A. Willemse
PublisherSpringer Science and Business Media Deutschland GmbH
Pages207-225
Number of pages19
ISBN (Print)9783030780883
DOIs
Publication statusPublished - 2021
Event41st IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2021 held as part of 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021 - Virtual, Online
Duration: 14 Jun 202118 Jun 2021

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume12719 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference41st IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2021 held as part of 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021
CityVirtual, Online
Period14/06/2118/06/21

Bibliographical note

Funding Information:
Supported by the doctoral student grant (No: 207055-051) and the MoVeMnt project (No: 217987-051) under the Icelandic Research Fund, the BehAPI project funded by the EU H2020 RISE under the Marie Skłodowska-Curie action (No: 778233), the ENDEAVOUR Scholarship Scheme (Group B, national funds), and the MIUR project PRIN 2017FTXR7S IT MATTERS.

Funding Information:
Supported by the doctoral student grant (No: 207055-051) and the MoVeMnt project (No: 217987-051) under the Icelandic Research Fund, the BehAPI project funded by the EU H2020 RISE under the Marie Skłodowska-Curie action (No: 778233), the ENDEAV-OUR Scholarship Scheme (Group B, national funds), and the MIUR project PRIN 2017FTXR7S IT MATTERS.

Publisher Copyright:
© 2021, IFIP International Federation for Information Processing.

Other keywords

  • Instrumentation
  • Monitoring
  • Runtime verification

Fingerprint

Dive into the research topics of 'Better Late Than Never or: Verifying Asynchronous Components at Runtime'. Together they form a unique fingerprint.

Cite this