Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/86157
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. |
URI: | https://www.um.edu.mt/library/oar/handle/123456789/86157 |
Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
An Operational Guide to.pdf Restricted Access | 359.74 kB | Adobe PDF | View/Open Request a copy |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.