LarvaStat: monitoring of statistical properties

Authors:
Christian Colombo;Andrew Gauci;Gordon J. Pace
Affiliations:
Department of Computer Science, University of Malta, Malta;Department of Computer Science, University of Malta, Malta;Department of Computer Science, University of Malta, Malta
Venue:
RV'10 Proceedings of the First international conference on Runtime verification
Year:
2010

Citing 3
Cited 2

An Intrusion-Detection Model

IEEE Transactions on Software Engineering - Special issue on computer security and privacy
LOLA: Runtime Monitoring of Synchronous Systems

TIME '05 Proceedings of the 12th International Symposium on Temporal Representation and Reasoning
Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties

Formal Methods for Industrial Critical Systems

Runtime verification with state estimation

RV'11 Proceedings of the Second international conference on Runtime verification
Safer asynchronous runtime monitoring using compensations

Formal Methods in System Design

Quantified Score

Hi-index	0.00

Visualization

Abstract

Execution paths expose non-functional information such as system reliability and performance, which can be collected using runtime verification techniques. Statistics gathering and evaluation can be very useful for processing such information for areas ranging from performance profiling to user modelling and intrusion detection. In this paper, we give an overview of LarvaStat -- a runtime verification tool extending LARVA [2] with the ability to straight forwardly specify real-time related statistical properties. Being automaton-based, LarvaStat also makes explicit the overhead induced by monitoring.