Please use this identifier to cite or link to this item:
|Title:||Runtime monitoring of distributed systems|
Pace, Gordon J.
|Keywords:||Computer software -- Verification|
Computer software -- Testing
Autonomous distributed systems
Computer network architectures
|Publisher:||University of Malta. Faculty of Information and Communication Technology|
|Citation:||Francalanza, A., Gauci, A., & Pace, G. J. (2010). Runtime monitoring of distributed systems. Msida.|
|Abstract:||Distributed and component-based architectures are becoming more prevalent computer systems. The increased complexities introduced by the distribution hampers dependability, emphasising the need for verification techniques tailored for a distributed setting. Runtime verification has proven to be a viable approach for verifying correctness, by focussing on the adherence of the runtime-generated trace to the desired properties. We present a broad taxonomy of current techniques to distributed monitoring, culminating in the proposal of a novel migrating monitor approach. We argue for certain situations where this approach presents clear advantages over current techniques.|
|Appears in Collections:||Scholarly Works - FacICTCS|
Files in This Item:
|Runtime_Monitoring_of_Distributed_Systems.pdf||286.68 kB||Adobe PDF||View/Open|
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.