Please use this identifier to cite or link to this item:
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.
Appears in Collections:Scholarly Works - FacICTCS

Files in This Item:
File Description SizeFormat 
Compensation-Aware_Runtime_Monitoring.pdf115.51 kBAdobe PDFView/Open

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