Simulation Debugging and Visualization in the Mobius Modeling Framework

Large and complex models can be difficult to analyze using static analysis results from current tools, including the M"obius modeling framework, which provides a powerful, formalism- independent, discrete-event simulator that outputs static results such as execution traces. The M"obius 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 M"obius modeling environment. Also, a case study is presented to demonstrate the new capabilities provided by the feature.