TY  - CONF
ID  - eprints3068
EP  - 315
N2  - The modeling, analysis and performance evaluation of large-scale systems are difficult tasks. 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 (e.g., logics) are used to express properties, which are automatically estimated again simulating the model at hand. These property specification languages provide a formal, compact and elegant way to express properties without hard-coding them in the model definition. This paper presents MultiVeStA, a statistical analysis tool which can be easily integrated with discrete event simulators, enriching them with efficient distributed statistical analysis and SMC capabilities.
SN  - 978-1-936968-48-0
T2  - Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools
PB  - ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering)
TI  - MultiVeStA: Statistical Model Checking for Discrete Event Simulators
SP  - 310
T3  - ValueTools '13
AV  - none
M2  - Brussels, Belgium
CY  - ICST, Brussels, Belgium, Belgium
KW  - Discrete event simulation
KW  -  Quantitative analysis
KW  -  Statistical analysis
KW  -  Statistical model checking
UR  - http://dx.doi.org/10.4108/icst.valuetools.2013.254377
A1  - Sebastio, Stefano
A1  - Vandin, Andrea
Y1  - 2013///
ER  -