Simulation debugging and visualization in the Mobius modeling framework

Abstract

Large and complex models can be difficult to analyze using static analysis results from current tools, including the Mobius modeling framework, which provides a powerful, formalism-independent, discrete-event simulator that outputs static results such as execution traces. The Mobius Simulation Debugger and Visualization (MSDV) feature adds user interaction to running simulations to provide a more transparent view into the dynamics of the models under consideration. This thesis discusses the details of the design and implementation of this feature in the Mobius modeling environment. Also, a case study is presented to demonstrate the new capabilities provided by the feature.