MS4 Modeling Environment
MS4 Modeling Environment (MS4 Me) is a discrete event simulation system (DEVS) software developed by MS4 Systems, Inc. It has been used in the modeling of complex systems (such as a national health care system)[1] and is also covered in a discrete event simulation and systems of systems modeling text.[2] [3] [4] [5]
Launch page of MS4 Me | |
Developer(s) | MS4 Systems, Inc. |
---|---|
Written in | Java |
Operating system | Cross-platform |
Type | Simulation software Discrete Event Simulation System Software |
License | Proprietary |
Website | www.ms4systems.com |
MS4 Me supports the development and simulation of DEVS models via a natural language or Java. Finite Deterministic DEVS[8] (FDDEVS) models can also be quickly developed and analyzed. DEVS models can be composed into more complex systems via the use of System Entity Structures,[9] and System Entity Structures can be composed into complex systems of systems for simulation. Many different configurations of these systems can be stored and simulated via the use of pruning.[9]
References
- Bernard P. Zeigler; Ernest Carter; Chungman Seo; et al. (October 2012). Methodology and Modeling Environment for Simulating National Health Care (PDF). Proceedings of the 2012 AutumnSim Conference on Medical Processes Modeling and Simulation (MPMS). San Diego, California.
- Zeigler, Bernard (2012). Guide to Modeling and Simulation of Systems of Systems (Simulation Foundations, Methods and Applications). Springer. ISBN 085729864X.
- Jeffrey D. Morris (September 2014). CONCEPTUAL MODELING OF A QUANTUM KEY DISTRIBUTION SIMULATION RAMEWORK USING THE DISCRETE EVENT SYSTEM SPECIFICATION (PDF). Air Force Institute of Technology Air University. Master Sergeant, USA.
- Jeffrey D Morris; Michael R Grimaila; Douglas D Hodson; et al. (October 2014). The Journal of Defense Modeling and Simulation: Applications, Methodology, Technology (PDF). SAGE journals.
- Aznam Yacoub; Maamar el-amine Hamri; Claudia Frydman; et al. (September 2015). Towards an Extension of PROMELA for the Modeling, Simulation and Verification of Discrete-Event Systems. Proceedings of the 27th European Modelling & Simulation Symposium, EMSS 2015. Bergeggi, Italy.
- Aznam Yacoub; Maamar el-amine Hamri; Claudia Frydman; et al. (January 2017). Towards an Extension of PROMELA for the Modeling, Simulation and Verification of Discrete-Event Systems. International Journal of Simulation and Process Modelling 12(3/4):313.
- Valdemar Vicente Graciano Neto; Lina Garces; Milena Guessi; et al. (January 2017). ASAS: An Approach to Support Simulation of Smart Systems. 51 st Hawaii International Conference on System Sciences. Waikoloa, Hawai, USA.
- "FDDEVS Models". MS4 Systems, Inc. Retrieved November 14, 2012.
- "System Entity Structures". MS4 Systems, Inc. Retrieved November 14, 2012.