This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these messages)
|
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]
See also
editReferences
edit- ^ 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 978-0857298645.
- ^ 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.
- ^ a b "System Entity Structures". MS4 Systems, Inc. Retrieved November 14, 2012.