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.
【 预 览 】
附件列表
Files
Size
Format
View
Simulation debugging and visualization in the Mobius modeling framework