Edinburgh Research Explorer

Transient and Steady-State Statistical Analysis for Discrete Event Simulators

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Related Edinburgh Organisations

Open Access permissions

Open

Documents

https://link.springer.com/chapter/10.1007/978-3-319-66845-1_10
Original languageEnglish
Title of host publicationProceedings of iFM 2017: 13th International Conference on integrated Formal Methods
Place of PublicationTurin, Italy
PublisherSpringer-Verlag
Pages145-160
Number of pages15
ISBN (Electronic)978-3-319-66845-1
ISBN (Print)978-3-319-66844-4
DOIs
Publication statusPublished - 27 Aug 2017
Event13th International Conference on integrated Formal Methods 2017 - Turin, Italy
Duration: 18 Sep 201722 Sep 2017
http://ifm2017.di.unito.it/

Publication series

NameLecture Notes in Computer Science

Conference

Conference13th International Conference on integrated Formal Methods 2017
Abbreviated titleiFM 2017
CountryItaly
CityTurin
Period18/09/1722/09/17
Internet address

Abstract

We extend the modelchecking 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.

    Research areas

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

Event

13th International Conference on integrated Formal Methods 2017

18/09/1722/09/17

Turin, Italy

Event: Conference

Download statistics

No data available

ID: 42966913