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]

MS4 Modeling Environment
Developer(s)MS4 Systems, Inc.
Written inJava
Operating systemCross-platform
TypeSimulation software Discrete Event Simulation System Software
LicenseProprietary
Websitewww.ms4systems.com

[6] [7]

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

edit

References

edit
  1. ^ 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.
  2. ^ Zeigler, Bernard (2012). Guide to Modeling and Simulation of Systems of Systems (Simulation Foundations, Methods and Applications). Springer. ISBN 978-0857298645.
  3. ^ 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.
  4. ^ 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.
  5. ^ 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.
  6. ^ 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.
  7. ^ 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.
  8. ^ "FDDEVS Models". MS4 Systems, Inc. Retrieved November 14, 2012.
  9. ^ a b "System Entity Structures". MS4 Systems, Inc. Retrieved November 14, 2012.
edit