Please use this identifier to cite or link to this item:
|Title:||PolyLARVA : runtime verification with configurable resource-aware monitoring boundaries|
|Other Titles:||Software engineering and formal methods. SEFM 2012. Lecture notes in computer science|
Pace, Gordon J.
Computer software -- Development
Real-time data processing
|Publisher:||Springer, Berlin, Heidelberg|
|Citation:||Colombo, C., Francalanza, A., Mizzi, R., & Pace, G. J. (2012). PolyLARVA: runtime verification with configurable resource-aware monitoring boundaries. In G. Eleftherakis, M. Hinchey, & M. Holcombe (Eds.), Software Engineering and Formal Methods. SEFM 2012. Lecture Notes in Computer Science (pp. 218-232). Berlin, Heidelberg: Springer.|
|Abstract:||Runtime 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.|
|Appears in Collections:||Scholarly Works - FacICTCS|
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.