|author:||Pieter Jan Roelofs|
|title:||Determining Long Run Properties of Complex Models using Statistical Model Checking|
|keywords:||Simulation, statistical model checking, steady state, longrun average, The Modest Toolset|
|topics:||Algorithms and Data Structures , Case studies and Applications|
This paper discusses the methods to compute the steady state of various models using only the simulations output. The paper proposes four methods and compares these against an existing tool with the capability to determine steady states: the \fig tool. Experiments were executed on Markovian queuing networks, Markovian stiff model and STA's. Preliminary results indicate that proposed methods work fairly well for non-rare event simulation.