Abstract
This chapter provides an introduction to the essential concepts of modeling and simulation (M&S) keeping distributed simulation (DS) in focus. Our purpose in this chapter is to familiarize the user with the terminology and concepts used frequently in subsequent chapters. First, we introduce the basic concepts from the theory of M&S, and then present a historical perspective on DS and related standards. The chapter concludes with an outline of the book chapters.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Abrial, J.-R. (2010). Modeling in Event-B: System and software engineering. Cambridge: Cambridge University Press.
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). s.l.:Springer-Verlag, pp. 209–229.
Banks, J., Carson, J. S., II, Nelson, B. L., & Nicol, D. M. (2010). Discrete-event system simulation (5th ed.). Upper Saddle River: Pearson Education.
Boer, C. A., de Bruin, A., & Verbraeck, A. (2009). A survey on distributed simulation in industry. Journal of Simulation, 3, 3–16.
Bryant, B. R., et al. (2011). Challenges and directions in formalizing the semantics of modeling languages. ComSIS, 8(2), 225–253.
Cassandras, C. G., & Lafortune, S. (2010). Introduction to discrete event systems (2nd ed.). Boston: Springer.
Chapman, S. J. (2015). MATLAB programming for engineers (5th ed.). Boston: Cengage Learning.
Clarke, E., Grumberg, O., & Peled, D. (1999). Model checking. Cambridge, MA: MIT Press.
Cosby, L. (1995). SIMNET: An insiders’ perspective. [Online] Available at: http://oai.dtic.mil/oai/oai?verb=getRecord&metadataPrefix=html&identifier=ADA294786. Accessed 19 Dec 2015.
Cross, D. C. (1999). Report from the fidelity implementation study group. Spring Simulation Interoperability Workshop. Orlando: SISO.
Dahmann, J. S., Fujimoto, R. M., & Weatherly, R. (1997). The department of defense high level arhitecture (pp. 142–149). Proceedings of the 1997 Winter Simulation Conference. Atlanta: IEEE
DMSO. (1998). High level architecture (1.3 ed.). DMSO.
DoD. (1995). Modeling and simulation (M&S) master plan. U.S. DoD
Fujimoto, R. M. (2000). Parallel and distributed simulation systems. New York: Wiley.
IEEE. (1993). Protocols for distributed interactive simulation applications – Entity information and interaction (1993 ed.). New York: IEEE
IEEE. (2000a). IEEE standard for modeling and simulation (M&S) high level architecture (HLA) – Framework and rules. New York: IEEE
IEEE. (2000b). IEEE standard for modeling and simulation (M&S) high level architecture (HLA) – Federate interface specification. New York: IEEE
IEEE. (2000c). IEEE standard for modeling and simulation (M&S) high level architecture (HLA)-Object model template (OMT) specification. New York: IEEE
IEEE. (2010a). IEEE standard for modeling and simulation high level architecture (HLA)– Framework and rules. New York: IEEE
IEEE. (2010b). IEEE standard for modeling and simulation (M&S) high level architecture (HLA) – Federate interface specification. New York: IEEE
IEEE. (2010c). IEEE standard for modeling and simulation high level architecture (HLA) – Object model template (OMT) specification. New York: IEEE
IEEE-1516.4-2007. (2007). IEEE recommended practice for verification, validation, and accreditation of a federation: An overlay to the high level architecture federation development and execution process. New York: IEEE
Kelton, W. D., Sadowski, R., & Zupick, N. (2014). Simulation with Arena (6th ed.). McGraw-Hill Education.
Kleinrock, L. (1976). Queueing systems, volume 2: Computer applications. New York: Wiley.
Law, A. M. (2007). Simulation modeling & analysis (4th ed.). Singapore: McGraw-Hill.
Luenberger, D. G. (1979). Introduction to dynamic systems: Theory, models, and applications. New York: Wiley.
Microsoft .NET. (2014). MS.NET. [Online] Available at: http://www.microsoft.com/net. Accessed 19 Aug 2015.
Miller, D., & Thrope, J. A. (1995). SIMNET: The advent of simulator networking. Proceedings of IEEE, 83(8), 1114–1123.
OMG. (2012). OMG systems modeling language (SysML) version 1.3. Object Management Group (OMG).
OMG. (2015). OMG unified modeling language (OMG UML) version 2.5. Object Management Group (OMG).
RACoN. (2015). RACoN web site. [Online] Available at: https://sites.google.com/site/okantopcu/simge. Accessed 19 Dec 2015.
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. Orlando: s.n., pp. 621–630.
Rozenberg, G. (1997). Handbook of graph grammars and computing by graph transformation, volume 1: Foundations. Singapore: World Scientific.
SimGe. (2015). SimGe web site. [Online] Available at: https://sites.google.com/site/okantopcu/simge. Accessed 19 Dec 2015.
Singhal, S., & Zyda, M. (1999). Networked virtual environments: Design and implementation. Reading: Addison-Wesley.
Sokolowski, J. A., & Banks, C. A. (2010). Modeling and simulation fundamentals. Hoboken: Wiley.
Weatherly, R. M., et al. (1996). Advanced distributed simulation through the aggregate level simulation protocol. In Proceedings of the twenty-ninth Hawaii international conference on system sciences (pp. 407–415). IEEE.
Wilson, A. L., & Weatherly, R. M. (1994). The aggregate level simulation protocol: An evolving system (pp. 781–787). Winter Simulation Conference Proceedings. IEEE.
Wirth, N. (1973). Systematic programming: An introduction. Englewood Cliffs: McGraw-Hill.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Topçu, O., Durak, U., Oğuztüzün, H., Yilmaz, L. (2016). Introduction. In: Distributed Simulation. Simulation Foundations, Methods and Applications. Springer, Cham. https://doi.org/10.1007/978-3-319-03050-0_1
Download citation
DOI: https://doi.org/10.1007/978-3-319-03050-0_1
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-03049-4
Online ISBN: 978-3-319-03050-0
eBook Packages: Computer ScienceComputer Science (R0)