Skip to content
Andrea Vandin edited this page Feb 15, 2021 · 35 revisions

Simulation-based analysis made easy The MultiVeStA approach to automated simulation-based analysis

Summary

MultiVeStA is an efficient statistical analysis tool which

  • can be easily integrated with existing discrete-event simulators and agent-based models
  • enriching them with automated statistical analysis techniques from the family of Statistical Model Checking
  • allows to distribute simulations in the cores of a machine or in a network for free
The extensible parallel architecture of MultiVeStA

Supported Analysis

  1. Transient analysis: what is the expected value of a model's property at a given point in time /as time progresses? Statistically reliable counterfactual analysis

  2. Counterfactual analysis: do the model dynamics change significantly across different parametrizations?

Statistically reliable counterfactual analysis

  1. Steady-state analysis: what is the expected value of a model's property on the long run / after it stabilizes?
  2. Ergodicity diagnosis: does the model actually has a steady-state? / does it make sense at all to perform a steady-state analysis?

History

Development

  • MultiVeStA has been created in 2012, focusing on transient analysis find more info here
  • It has been recently deeply refactored in 2021, adding a number of analysis techniques as discussed here
  • It supports any simulator written in Java, C++, Python, R, or developed within the JMAB framework

Examples of Considered models/simulatiors

MultiVeStA has been successfully applied in a wide range of domains including, e.g.,

Contacts

Please conact us for information on

  • how to get MultiVeStA and
  • how to integrate it with your simulator
    We will reply shortly

Replicability

Please use the menu on the right to access the replicability material for the paper