Please use this identifier to cite or link to this item:
Title: Statistics and runtime verification
Authors: Gauci, Andrew
Pace, Gordon J.
Colombo, Christian
Keywords: Computer software -- Verification
Aspect-oriented programming
Computer software -- Testing
Autonomous distributed systems
Computer network architectures
Issue Date: 2009
Publisher: University of Malta. Faculty of Information and Communication Technology
Citation: Gauci, A., Pace, G. J., & Colombo, C. (2009). Statistics and runtime verification. 2nd WICT National Workshop in Information and Communication Technology (WICT 2009), Valletta. 1-6.
Abstract: The importance of correctness of systems is becoming more crucial as computers control more of our everyday activities. Various approaches have been advocated and used for the verification of such correctness, with one of the more promising ones being runtime verification. One important issue in runtime verification is the logic used to specify properties, since this influences both the overheads induced by the monitors, and the applicability of the approach to a particular domain. In this paper we propose techniques for the expression and runtime monitoring of statistical properties, enabling easier manipulation and expression of non-functional requirements. The logic is developed as an extension of the existing runtime verification tool LARVA, and has been applied to an ftp server implementation, adding a new layer of probabilistic intrusion detection and system profiling.
Appears in Collections:Scholarly Works - FacICTCS

Files in This Item:
File Description SizeFormat 
Statistics_and_runtime_verification.pdf140.76 kBAdobe PDFView/Open

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