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.
CITATION STYLE
Gilmore, S., Reijsbergen, D., & Vandin, A. (2017). Transient and steady-state statistical analysis for discrete event Simulators. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10510 LNCS, pp. 145–160). Springer Verlag. https://doi.org/10.1007/978-3-319-66845-1_10
Mendeley helps you to discover research relevant for your work.