Abstract
Large and complex models can be difficult to analyze using static analysis results from current tools, including the Möbius modeling framework, which provides a powerful, formalism-independent, discrete-event simulator that outputs static results such as execution traces. The Möbius 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 paper discusses the details of the design and implementation of the feature in the Möbius modeling environment. Also, a case study is presented to demonstrate the new abilities provided by the feature.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Jazouli, T., Sandborn, P., Kashani-Pour, A.: A Direct Method for Determining Design and Support Parameters to Meet an Availability Requirement. International Journal of Performability Engineering 10(2), Paper 09, 211–225 (2014)
Andersson, J.: Environmental Impact Assessment using Production Flow Simulation. Research series from Chalmers University of Technology, Department of Product and Production Development: report, ISSN 1652-9243; nr 85
Viana, J., Brailsford, S.C., Harindra, V., Harper, P.R.: Combining Discrete-event Simulation and System Dynamics in a Healthcare Setting: A Composite Model for Chlamydia Infection. European Journal of Operational Research (March 2014)
Clark, G., Courtney, T., Daly, D., Deavours, D., Derisavi, S., Doyle, J.M., Sanders, W.H., Webster, P.: The Möbius Modeling Tool. In: Proceedings of the 9th International Workshop on Petri Nets and Performance Models, Aachen, Germany, September 11-14, pp. 241–250 (2001)
Simul8, http://www.simul8.com/
Vensim, http://vensim.com/
Williamson, A.L.: Discrete Event Simulation in the Möbius Modeling Framework. Master’s Thesis, University of Illinois at Urbana-Champaign (1998)
Kuratti, A.: Improved Techniques for Parallel Discrete Event Simulation. Ph.D. Thesis, University of Illinois at Urbana-Champaign (1997)
OMNeT++, http://www.omnetpp.org/
AnyLogic, http://www.anylogic.com/
Derisavi, S., Kemper, P., Sanders, W.H., Courtney, T.: The Möbius State-Level Abstract Functional Interface. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002. LNCS, vol. 2324, pp. 31–50. Springer, Heidelberg (2002)
Deavours, D.: Formal Specification of the Möbius Modeling Framework. Doctoral Dissertation, University of Illinois at Urbana-Champaign (2001)
Sanders, W.H., Meyer, J.F.: Stochastic Activity Networks: Formal Definitions and Concepts. In: Brinksma, E., Hermanns, H., Katoen, J.-P. (eds.) FMPA 2000. LNCS, vol. 2090, pp. 315–343. Springer, Heidelberg (2001)
Berthier, R., Jetcheva, J., Mashima, D., Huh, J., Grochocki, D., Bobba, R., Cárdenas, A., Sanders, W.: Reconciling Security Protection and Monitoring Requirements in Advanced Metering Infrastructures. In: Proceedings of the IEEE International Conference on Smart Grid Communications (SmartGridComm), Vancouver, Canada, October 21-24 (2013)
Berthier, R., Sanders, W.H., Khurana, H.: Intrusion Detection for Advanced Metering Infrastructures: Requirements and Architectural Directions. In: Proceedings of the 1st IEEE International Conference on Smart Grid Communications (SmartGridComm), Gaithersburg, Maryland, October 4-6, pp. 350–355 (2010)
Cárdenas, A., Berthier, R., Bobba, R., Huh, J., Jetcheva, J., Grochocki, D., Sanders, W.H.: A Framework for Evaluating Intrusion Detection Architectures in Advanced Metering Infrastructures. IEEE Transactions on Smart Grid
Grochocki, D., Huh, J., Berthier, R., Bobba, R., Cárdenas, A., Jetcheva, J., Sanders, W.H.: AMI Threats, Intrusion Detection Requirements and Deployment Recommendations. In: Proceedings of the 3rd IEEE International Conference on Smart Grid Communications (SmartGridComm), Tainan City, Taiwan, November 5-8, pp. 395–400 (2012)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Buchanan, C., Keefe, K. (2014). Simulation Debugging and Visualization in the Möbius Modeling Framework. In: Norman, G., Sanders, W. (eds) Quantitative Evaluation of Systems. QEST 2014. Lecture Notes in Computer Science, vol 8657. Springer, Cham. https://doi.org/10.1007/978-3-319-10696-0_18
Download citation
DOI: https://doi.org/10.1007/978-3-319-10696-0_18
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-10695-3
Online ISBN: 978-3-319-10696-0
eBook Packages: Computer ScienceComputer Science (R0)