Logo eprints

MultiVeStA: Statistical Model Checking for Discrete Event Simulators

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)

Full text not available from this repository.


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.

Item Type: Conference or Workshop Item (Paper)
Identification Number: 10.4108/icst.valuetools.2013.254377
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: Caterina Tangheroni
Date Deposited: 12 Feb 2016 13:32
Last Modified: 12 Feb 2016 13:32
URI: http://eprints.imtlucca.it/id/eprint/3068

Actions (login required)

Edit Item Edit Item