2026-09-19T22:26:23Z https://www.ideals.illinois.edu/oai-pmh

oai:www.ideals.illinois.edu:2142/49368 2023-07-11 col_2142_5131 col_2142_8888 com_2142_5130 com_2142_8887 com_2142_234

Sanders, William H. Buchanan, Craig 2014-05-30T16:40:30Z 2014-05-30T16:40:30Z 2014-05 2014-05-30T16:40:30Z 2014-05 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. Item withdrawn by Alexis Thompson (athmpsn1@illinois.edu) on 2014-04-25T17:00:13Z Item was in collections: University of Illinois Theses & Dissertations (ID: 1) No. of bitstreams: 2 edu.illinois.mobius.solver.simulator.debugger.thesis.zip: 4141589 bytes, checksum: 6f1f1eafb6227ffc013e483937bf72ac (MD5) Buchanan_Craig.pdf: 1651012 bytes, checksum: c2ef0d793222e7244cb553d25b905e56 (MD5) Made available in DSpace on 2014-05-30T16:40:30Z (GMT). No. of bitstreams: 3 Craig_Buchanan.pdf: 1651385 bytes, checksum: 9a547dd4fe4bd4e410f1d9d766d3f88d (MD5) edu.illinois.mobius.solver.simulator.debugger.thesis.zip: 4141589 bytes, checksum: 6f1f1eafb6227ffc013e483937bf72ac (MD5) license.txt: 4064 bytes, checksum: 8fec8983a6eddbfb19e44f7fbbab9770 (MD5) http://hdl.handle.net/2142/49368 en Copyright 2014 Craig Thomas Buchanan discrete-event simulation Mobius debugging visualization Stochastic Activity Networks (SAN) Adversary View Security Evaluation (ADVISE) Rep/Join Abstract Functional Interface (AFI) Simulation debugging and visualization in the Mobius modeling framework text Electrical & Computer Eng 1933 Electrical & Computer Engr 1200 University of Illinois at Urbana-Champaign Thesis M.S. MS:Electr & Computer Eng-UIUC 10KS1200MS