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⟩
78 View
120 Download

Altmetric

Share

Gmail Facebook X LinkedIn More