eprintid: 3068
rev_number: 5
eprint_status: archive
userid: 69
dir: disk0/00/00/30/68
datestamp: 2016-02-12 13:32:18
lastmod: 2016-02-12 13:32:18
status_changed: 2016-02-12 13:32:18
type: conference_item
metadata_visibility: show
creators_name: Sebastio, Stefano
creators_name: Vandin, Andrea
creators_id: stefano.sebastio@imtlucca.it
creators_id: andrea.vandin@imtlucca.it
title: MultiVeStA: Statistical Model Checking for Discrete Event Simulators
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
pres_type: paper
keywords: Discrete event simulation, Quantitative analysis, Statistical analysis, Statistical model checking
abstract: 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.
date: 2013
date_type: published
series: ValueTools '13
publisher: ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering)
place_of_pub: ICST, Brussels, Belgium, Belgium
pagerange: 310-315
event_title: Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools
event_location: Brussels, Belgium
event_dates: December 10-12, 2013
event_type: conference
id_number: 10.4108/icst.valuetools.2013.254377
refereed: TRUE
isbn: 978-1-936968-48-0
book_title: Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools . ValueTools '13
official_url: http://dx.doi.org/10.4108/icst.valuetools.2013.254377
citation:   Sebastio, Stefano and Vandin, Andrea  MultiVeStA: Statistical Model Checking for Discrete Event Simulators.  In: Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, December 10-12, 2013, Brussels, Belgium pp. 310-315.  ISBN 978-1-936968-48-0.      (2013)