Better Late Than Never or: Verifying Asynchronous Components at Runtime - Formal Techniques for Distributed Objects, Components, and Systems Access content directly
Conference Papers Year : 2021

Better Late Than Never or: Verifying Asynchronous Components at Runtime

Duncan Paul Attard
  • Function : Author
  • PersonId : 1107390
Luca Aceto
  • Function : Author
  • PersonId : 1107391
Antonis Achilleos
  • Function : Author
  • PersonId : 1107392
Adrian Francalanza
  • Function : Author
Anna Ingólfsdóttir
  • Function : Author
  • PersonId : 1107393

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 setup constraints.
Fichier principal
Vignette du fichier
paper.pdf (787.71 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-03320023 , version 1 (29-11-2021)

Identifiers

Cite

Duncan Paul Attard, Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, et al.. Better Late Than Never or: Verifying Asynchronous Components at Runtime. 41st International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Jun 2021, Valletta, Malta. pp.207 - 225, ⟨10.1007/978-3-030-78089-0_14⟩. ⟨hal-03320023⟩
85 View
142 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More