Transient and steady-state statistical analysis for discrete event Simulators

Stephen Gilmore, Daniël Reijsbergen, Andrea Vandin*

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Abstract

We extend the model checking tool MultiVeStA with statistical model checking of steady-state properties. Since MultiVeStA acts as a front-end for simulation tools, it confers this ability onto any tool with which it is integrated. The underlying simulation models are treated as black-box systems. We will use an approach based on batch means using the ASAP3 algorithm. We motivate the work using two case studies: a biochemical model written in the Bio-PEPA language and an application from transport logistics.

Original languageEnglish
Title of host publicationIntegrated Formal Methods - 13th International Conference, IFM 2017, Proceedings
Volume10510 LNCS
PublisherSpringer Verlag
Publication date2017
Pages145-160
ISBN (Print)9783319668444
DOIs
Publication statusPublished - 2017
Externally publishedYes
Event13th International Conference on Integrated Formal Methods - Turin, Italy
Duration: 20 Sept 201722 Sept 2017
Conference number: 13

Conference

Conference13th International Conference on Integrated Formal Methods
Number13
Country/TerritoryItaly
CityTurin
Period20/09/201722/09/2017
SeriesLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume10510 LNCS
ISSN0302-9743

Keywords

  • Batch means
  • MultiVeStA
  • Statistical model checking
  • Steady-state

Fingerprint

Dive into the research topics of 'Transient and steady-state statistical analysis for discrete event Simulators'. Together they form a unique fingerprint.

Cite this