Please use this identifier to cite or link to this item:
Title: An operational guide to monitorability
Authors: Aceto, Luca
Achilleos, Antonis
Francalanza, Adrian
Ingólfsdóttir, Anna
Lehtinen, Karoliina
Keywords: Computer software -- Verification
Object monitors (Computer software)
Computer logic
Software engineering
Issue Date: 2019
Publisher: Springer
Citation: Aceto, L., Achilleos, A., Francalanza, A., Ingólfsdóttir, A., & Lehtinen, K. (2019). An operational guide to monitorability. In International Conference on Software Engineering and Formal Methods (pp. 433-453). Springer, Cham.
Abstract: Monitorability delineates what properties can be verified at runtime. Although many monitorability definitions exist, few are defined explicitly in terms of the guarantees provided by monitors, i.e., the computational entities carrying out the verification. We view monitorability as a spectrum: the fewer monitor guarantees that are required, the more properties become monitorable. We present a monitorability hierarchy and provide operational and syntactic characterisations for its levels. Existing monitorability definitions are mapped into our hierarchy, providing a unified framework that makes the operational assumptions and guarantees of each definition explicit. This provides a rigorous foundation that can inform design choices and correctness claims for runtime verification tools.
Appears in Collections:Scholarly Works - FacICTCS

Files in This Item:
File Description SizeFormat 
An Operational Guide to.pdf
  Restricted Access
359.74 kBAdobe PDFView/Open Request a copy

Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.