Please use this identifier to cite or link to this item:
|Title:||Statistics and runtime verification|
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:||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:
|Statistics_and_runtime_verification.pdf||140.76 kB||Adobe PDF||View/Open|
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.