Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/23981
Title: | Compensation-aware runtime monitoring |
Authors: | Colombo, Christian Pace, Gordon J. Abela, Patrick |
Keywords: | Computer software -- Verification Aspect-oriented programming Computer software -- Testing Autonomous distributed systems |
Issue Date: | 2010 |
Publisher: | Springer Berlin/Heidelberg |
Citation: | Colombo, C., Pace, G., & Abela, P. (2010). Compensation-aware runtime monitoring. First Conference on Runtime Verification, St Julians. 214-228. |
Abstract: | To avoid large overheads induced by runtime monitoring, the use of asynchronous log-based monitoring is sometimes adopted — even though this implies that the system may proceed further despite having reached an anomalous state. Any actions performed by the system after the error occurring are undesirable, since for instance, an unchecked malicious user may perform unauthorized actions. Since stopping such actions is not feasible, in this paper we investigate the use of compensations to enable the undoing of actions, thus enriching asynchronous monitoring with the ability to restore the system to the original state in which the anomaly occurred. Furthermore, we show how allowing the monitor to adaptively synchronise and desynchronise with the system is also possible and report on the use of the approach on an industrial case study of a financial transaction system. |
URI: | https://www.um.edu.mt/library/oar//handle/123456789/23981 |
Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Compensation-Aware_Runtime_Monitoring.pdf | 115.51 kB | Adobe PDF | View/Open |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.