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 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.

Name thesis:degree_name

M.S.

Level thesis:degree_level

Thesis

Discipline thesis:degree_discipline

Electrical & Computer Engr

Grantor

University of Illinois at Urbana-Champaign

Year dc:date

2014

Author dc:creator

• Buchanan, Craig

Contributors dc:contributor

• Sanders, William H.

• discrete-event simulation
• Mobius
• debugging
• visualization
• Stochastic Activity Networks (SAN)
• Adversary View Security Evaluation (ADVISE)
• Rep/Join
• Abstract Functional Interface (AFI)

Statement dc:rights

• Copyright 2014 Craig Thomas Buchanan

Language dc:language

en

Handle dc:identifier

http://hdl.handle.net/2142/49368

OAI identifier oai:identifier

oai:www.ideals.illinois.edu:2142/49368