Introduction
Abstract
Modeling and Simulation (M&S) has become a prominent interdisciplinary scientific and engineering endeavor with many applications. In this chapter, we introduce some fundamental concepts of M&S with a view toward distributed simulation (DS), specifically High Level Architecture (HLA). We aim to familiarize the reader with the terminology and concepts used frequently in this book. First, we introduce the basic concepts from the theory of M&S and then present a historical perspective on DS and related standards. The case studies used for illustration throughout the book are also introduced in this chapter. It concludes with a detailed outline of the book chapters incorporating a chart for chapter dependency. This introduction chapter is a slight adaptation of the first chapter of Topçu et al (Distributed simulation: a model-driven engineering approach, 1st edn. Springer International Publishing, Cham, 2016).
References
- Alur, R., Courcoubetis, C., Henzinger, T. A. & Ho, P. H. (1993). Hybrid automata: An algorithmic approach to the specification of hybrid systems. In: Hybrid systems, lecture notes in computer science (Vol. 736, pp. 209–229). Berlin: Springer.Google Scholar
- Asimov, A. (1988). Prelude to foundation. New York: Collins. (New Ed 1994).Google Scholar
- Banks, J., Carson, J. S., II, Nelson, B. L., & Nicol, D. M. (2010). Discrete-event system simulation (5th ed.). Upper Saddle River, CA: Pearson Education.Google Scholar
- Boer, C., de Bruin, A., & Verbraeck, A. (2009). A survey on distributed simulation in industry. Journal of Simulation, 3, 3–16.CrossRefGoogle Scholar
- Cassandras, C. G., & Lafortune, S. (2010). Introduction to discrete event systems (2nd ed.). Boston, MA: Springer.MATHGoogle Scholar
- Chapman, S. J. (2015). MATLAB programming for engineers (5th ed.). Boston, MA: Cengage Learning.Google Scholar
- Chen, D., Turner, S., Cai, W., & Xiong, M. (2008). Decoupled federate architecture for high level architecture-based distributed simulation. Journal of Parallel and Distributed Computing, 68(11), 1487–1503.CrossRefGoogle Scholar
- Clarke, E., Grumberg, O., & Peled, D. (1999). Model checking. Cambridge, MA: MIT Press.Google Scholar
- Cosby, L. (1995). SIMNET: An insiders’ perspective. Retrieved from http://oai.dtic.mil/oai/oai?verb=getRecord&metadataPrefix=html&identifier=ADA294786
- Cross, D. C. (1999). Report from the fidelity implementation study group. In Spring Simulation Interoperability Workshop. Google Scholar
- Dahmann, J., Kuhl, F., & Weatherly, R. (1998). Standards for simulation: As simple as possible but not simpler the high level architecture for simulation. Simulation, 71(6), 378–387.CrossRefMATHGoogle Scholar
- DoD. (1995). Modeling and simulation (M&S) master plan. Alexandria: DoD.Google Scholar
- Fujimoto, R. M. (2000). Parallel and distributed simulation systems. New York, NY: Wiley.Google Scholar
- IEEE Std 1278.1-2012. (2012). IEEE standard for distributed interactive simulation–application protocols. IEEE.Google Scholar
- IEEE Std 1516.1-2000. (2000). Standard for modeling and simulation (M&S) High level architecture (HLA)—Federate interface specification. IEEE.Google Scholar
- IEEE Std 1516.1-2010. (2010). Standard for modeling and simulation (M&S) high level architecture (HLA)—Federate interface specification. IEEE.Google Scholar
- IEEE Std 1516.2-2000. (2000). Standard for modeling and simulation (M&S) high level architecture (HLA)—object model template (OMT) specification. IEEE.Google Scholar
- IEEE Std 1516.2-2010. (2010). Standard for modeling and simulation (M&S) high level architecture (HLA)—Object model template specification. IEEE.Google Scholar
- IEEE Std 1516.3-2003. (2003). Standard for IEEE recommended practice for high level architecture (HLA) federation development and execution process (FEDEP). IEEE.Google Scholar
- IEEE Std 1516-2000. (2000). Standard for modeling and simulation (M&S) high level architecture (HLA)—Framework and rules. IEEE.Google Scholar
- IEEE Std 1516-2010. (2010). Standard for modeling and simulation (M&S) high level architecture (HLA)—Framework and rules. New York: IEEE.Google Scholar
- IEEE Std 1730-2010. (2010). IEEE recommended practice for distributed simulation engineering and execution process (DSEEP). New York: NY: IEEE.Google Scholar
- IEEE-1516.4-2007. (2007). IEEE recommended practice for verification, validation, and accrediation of a federation: An overlay to the high level architecture federation development and execution process. IEEE.Google Scholar
- IEEE. (1993). Protocols for distributed interactive simulation applications—entity information and interaction.Google Scholar
- Kelton, W. D., Sadowski, R., & Zupick, N. (2014). Simulation with arena (6th ed.). New York: McGraw-Hill Education.Google Scholar
- Kleinrock, L. (1976). Queueing systems: Computer applications (Vol. 2). New York, NY: Wiley.MATHGoogle Scholar
- Law, A. M. (2007). Simulation modeling & analysis (4th ed.). Singapore: McGraw-Hill.Google Scholar
- Luenberger, D. G. (1979). Introduction to dynamic systems: Theory, models, and applications. New York, NY: Wiley.MATHGoogle Scholar
- MariSim. (2017). Maritime simulation (MariSim). Retrieved January 8, 2017 from https://sites.google.com/site/okantopcu/marisim
- Miller, D., & Thrope, J. A. (1995). SIMNET: The advent of simulator networking, pp. 1114–1123Google Scholar
- NSTMSS. (2016). Naval surface tactical maneuvering simulation system (NSTMSS) web site. Retrieved January 8, 2017 http://www.ceng.metu.edu.tr/~otopcu/nstmss/
- OMG. (2012). OMG systems modeling language (SysML) version 1.3. OMG.Google Scholar
- OMG. (2015). OMG unified modeling language (OMG UML) version 2.5. Object Management Group.Google Scholar
- Ören, T. I. (2011). The many facets of simulation through a collection of about 100 definitions. SCS M&S Magazine, 82–92.Google Scholar
- PNP-Software. (2007). EODiSP. Retrieved October 29, 2014 http://www.pnp-software.com/eodisp/index.html
- RACoN. (2016). RACoN project website. Retrieved May 19, 2017 https://sites.google.com/site/okantopcu/racon
- Reisig, W. (1991). Petri nets and algebraic specifications. Theoretical Computer Science, 80(1), 1–34.MathSciNetCrossRefMATHGoogle Scholar
- Rice, S., et al. (2005). The SIMSCRIPT III programming language for modular object-oriented simulation. In M. E. Kuhl, N. M. Steiger, F. B. Armstrong, & J. A. Joines (Eds.), Proceedings of the 2005 Winter Simulation Conference (pp. 621–630), Orlando, FL.Google Scholar
- Savaşan, H. (2008). The RToolkit: An open source object oriented distributed simulation framework. SISO: Orlando.Google Scholar
- SimGe. (2015). SimGe web site. Retrieved April 07, 2017 https://sites.google.com/site/okantopcu/simge
- Singhal, S., & Zyda, M. (1999). Networked virtual environments: Design and implementation. Reading, MA: Addison-Wesley.Google Scholar
- Sokolowski, J. A., & Banks, C. A. (2010). Modeling and simulation fundamentals. Hoboken, NJ: Wiley.CrossRefMATHGoogle Scholar
- Topçu, O., Adak, M., & Oğuztüzün, H. (2008). A metamodel for federation architectures. Transactions on Modeling and Computer Simulation (TOMACS), 18(3), 10:1–10:29.Google Scholar
- Topçu, O., Durak, U., Oğuztüzün, H., & Yılmaz, L. (2016). Distributed simulation: A model driven engineering approach (1st ed.). Cham: Springer International Publishing.CrossRefGoogle Scholar
- Topçu, O., & Oğuztüzün, H. (2005). Developing an HLA based naval maneuvering simulation. Naval Engineers Journal, 117(1), 23–40.CrossRefGoogle Scholar
- Topçu, O., & Oğuztüzün, H. (2010). Scenario management practices in HLA-based distributed simulation. Journal of Naval Science and Engineering, 6(2), 1–33.Google Scholar
- VT MAK. (2017). VR-Link. Retrieved April 23, 2017 https://www.mak.com/products/link/vr-link
- Weatherly, R., et al. (1996). Advanced distributed simulation through the aggregate level simulation protocol (pp. 407–415).Google Scholar
- Wilson, A. L., & Weatherly, R. M. (1994). The aggregate level simulation protocol: An evolving system (pp. 781–787). IEEE.Google Scholar
- Zeigler, P. B. (1976). Theory of modeling and simulation. New York: Wiley-Interscience Publication.MATHGoogle Scholar