eprintid: 1798
rev_number: 14
eprint_status: archive
userid: 6
dir: disk0/00/00/17/98
datestamp: 2013-09-18 09:31:59
lastmod: 2016-07-13 10:47:00
status_changed: 2013-09-18 09:31:59
type: monograph
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: unpub
subjects: QA75
divisions: CSA
full_text_status: public
monograph_type: technical_report
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. 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.
date: 2013-12
date_type: published
number:  
pagerange: 1-10
pages: 10
event_title: 7th International Conference on Performance Evaluation Methodologies and Tools
event_location: Turin, Italy
event_dates: December 10–12, 2013
event_type: conference
institution: IMT Institute for Advanced Studies Lucca
refereed: TRUE
related_url_url: http://valuetools.org/2013/show/home
related_url_type: org
citation:   Sebastio, Stefano and Vandin, Andrea  MultiVeStA: Statistical Model Checking for Discrete Event Simulators.  Technical Report  # /2013        (Unpublished)   
document_url: http://eprints.imtlucca.it/1798/1/ValueTools2013_Sebastio_Vandin.pdf