Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

10

RV
2010
Springer

favoriteEmaildiscussreport

119views Hardware» more RV 2010»

LarvaStat: Monitoring of Statistical Properties

13 years 2 months ago

LarvaStat: Monitoring of Statistical Properties

Download www.cs.um.edu.mt

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

Christian Colombo, Andrew Gauci, Gordon J. Pace

Real-time Traffic

Hardware | Runtime Veriﬁcation | Runtime Veriﬁcation Techniques | Runtime Veriﬁcation Tool | RV 2010 |

claim paper

Related Content

» A statistical framework for efficient monitoring of endtoend network properties

» A Scalable Architecture for Monitoring and Visualizing Multicast Statistics

» Towards Statistically Strong Source Anonymity for Sensor Networks

» Optimal Sink Deployment for Distributed Sensing of Spatially Nonstationary Phenomena

» Monitoring the Evolution of Web Usage Patterns

» Reverse Hashing for HighSpeed Network Monitoring Algorithms Evaluation and Applications

» Pseudo Likelihood Estimation in Network Tomography

» Approximately Processing Multigranularity Aggregate Queries over Data Streams

» Towards Automatic Clustering of Protein Sequences

Post Info
More Details (n/a)

Added	30 Jan 2011
Updated	30 Jan 2011
Type	Journal
Year	2010
Where	RV
Authors	Christian Colombo, Andrew Gauci, Gordon J. Pace

Comments (0)