Logo eprints

MultiVeStA: Statistical Model Checking for Discrete Event Simulators

Sebastio, Stefano and Vandin, Andrea MultiVeStA: Statistical Model Checking for Discrete Event Simulators. Technical Report # /2013 (Unpublished)

PDF - Submitted Version
Download (620kB) | Preview
Related URLs


The modeling, analysis and performance evaluation of large-scale systems are difficult tasks. Due to the size and complexity of the considered systems, an approach typically followed by engineers consists in performing simulations of systems models to obtain statistical estimations of quantitative properties. Similarly, a technique used by computer scientists working on quantitative analysis is Statistical Model Checking (SMC), where rigorous mathematical languages (typically logics) are used to express systems properties of interest. Such properties can then be automatically estimated by tools performing simulations of the model at hand. These property specifications languages, often not popular among engineers, provide a formal, compact and elegant way to express systems properties without needing to hard-code them in the model definition. This paper presents MultiVeStA, a statistical analysis tool which can be easily integrated with existing discrete event simulators, enriching them with efficient distributed statistical analysis and SMC capabilities.

Item Type: Working Paper (Technical Report)
Uncontrolled Keywords: Discrete event simulation, quantitative analysis, statistical analysis, statistical model checking
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area: Computer Science and Applications
Depositing User: Ms T. Iannizzi
Date Deposited: 18 Sep 2013 09:31
Last Modified: 13 Jul 2016 10:47
URI: http://eprints.imtlucca.it/id/eprint/1798

Actions (login required)

Edit Item Edit Item