Please use this identifier to cite or link to this item:
Full metadata record
DC FieldValueLanguage
dc.contributor.authorColombo, Christian-
dc.contributor.authorFrancalanza, Adrian-
dc.contributor.authorMizzi, Ruth-
dc.contributor.authorPace, Gordon J.-
dc.identifier.citationColombo, C., Francalanza, A., Mizzi, R., & Pace, G. J. (2012). PolyLarva: runtime verification with configurable resource-aware monitoring boundaries. 10th International Conference on Software Engineering and Formal Methods, Thessaloniki. 218-232.en_GB
dc.description.abstractRuntime verification techniques are increasingly being applied in industry as a lightweight formal approach to achieve added assurance of correctness at runtime. A key issue determining the adoption of these techniques is the overheads introduced by the runtime checks, affecting the performances of the monitored systems. Despite advancements in the development of optimisation techniques lowering these overheads, industrial settings such as online portals present new challenges, since they frequently involve the handling of high volume transaction throughputs and cannot afford substantial deterioration in the service they provide. One approach to reduce overheads is the deployment of the verification computation on auxiliary computing resources, creating a boundary between the system and the verification code. This limits the use of system resources with resource intensive verification being carried out on the remote-side. However, under particular scenarios this approach may still not be ideal, as it may induce significant communication overheads. In this paper, we propose a framework which enables fine-tuning of the tradeoff between processing, memory and communication monitoring overheads, through the use of a user-configurable monitoring boundary. This approach has been implemented in the second generation of the LARVA runtime verification tool, polyLARVA.en_GB
dc.publisherSpringer, Berlin, Heidelbergen_GB
dc.subjectAspect-oriented programmingen_GB
dc.subjectComputer programs -- Verificationen_GB
dc.subjectReal-time data processingen_GB
dc.subjectAutonomous distributed systemsen_GB
dc.titlePolyLARVA : runtime verification with configurable resource-aware monitoring boundariesen_GB
dc.rights.holderThe copyright of this work belongs to the author(s)/publisher. The rights of this work are as defined by the appropriate Copyright Legislation or as modified by any successive legislation. Users may access this work and can make use of the information contained in accordance with the Copyright Legislation provided that the author must be properly acknowledged. Further distribution or reproduction in any format is prohibited without the prior permission of the copyright holderen_GB
dc.bibliographicCitation.conferencename10th International Conference on Software Engineering and Formal Methodsen_GB
dc.bibliographicCitation.conferenceplaceThessaloniki, Greece, 01-05/10/2012en_GB
Appears in Collections:Scholarly Works - FacICTCS

Files in This Item:
File Description SizeFormat 
polyLARVA.pdf199.73 kBAdobe PDFView/Open

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