Visible to the public Simulation Debugging and Visualization in the Mobius Modeling FrameworkConflict Detection Enabled

TitleSimulation Debugging and Visualization in the Mobius Modeling Framework
Publication TypeThesis
Year of Publication2014
AuthorsCraig Buchanan, University of Illinois at Urbana-Champaign
Academic DepartmentDepartment of Electrical and Computer Engineering
DegreeM.S.
UniversityUniversity of Illinois at Urbana-Champaign
CityUrbana, IL
KeywordsUIUC
Abstract

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.

URLhttp://publish.illinois.edu/science-of-security-lablet/files/2015/11/Simulation-Debugging-and-Visual...
Citation Keynode-23455

Other available formats:

Simulation Debugging and Visualization in the Mobius Modeling Framework
AttachmentTaxonomyKindSize
Simulation Debugging and Visualization in the Mobius Modeling FrameworkPDF document1.57 MBDownloadPreview