Distributed simulation: creating distributed simulation using DEVS M&S environments

ABSTRACT

We briefly review the theory of modeling and simulation and its support for constructing distributed simulations. Formal representation of simulation models can contribute to a number of aspects in the modeling and simulation enterprise. Separation of models from simulation execution engines is a prerequisite transferring model among phases of a project as well as from project to project. The Discrete Event System Specification (DEVS) formalism, drawing on its system theoretic basis, provides a number of important properties such as hierarchical, modular composition, universality and uniqueness that can support development of simulation models and environments their development. An layered architecture for supporting comprehensive M&S environments is discussed that unifies the theoretical framework with implementation in distributed computational environments.

REFERENCES

• 1: Gyung Pyo Hong , Tag Gon Kim, A framework for verifying discrete event models within a DEVS-based system development methodology, Transactions of the Society for Computer Simulation International, v.13 n.1, p.19-34, March 1996
• 2: Joon Sung Hong , Hae-Sang Song , Tag Gon Kim , Kyu Ho Park, A Real-Time Discrete Event System Specification Formalismfor Seamless Real-Time Software Development, Discrete Event Dynamic Systems, v.7 n.4, p.355-375, October 1997 [doi>10.1023/A:1008262409521]
• 3: Bernard P. Zeigler , Doohwan Kim , Stephen J. Buckley, Distributed supply chain simulation in a DEVS/CORBA execution environment, Proceedings of the 31st conference on Winter simulation: Simulation---a bridge to the future, p.1333-1340, December 05-08, 1999, Phoenix, Arizona, United States [doi>10.1145/324898.325274]
• 4: T. G. Kim , S. M. Cho , W. B. Lee, DEVS framework for systems development: unified specification for logical analysis, performance evaluation and implementation, Discrete event modelng and simulation technologies: a tapestry of systems and AI-based theories and methodologies, Springer-Verlag New York, Inc., New York, NY, 2001
• 5: Kim, Y. J., J. H. Cho, et al. 1999. DEVS-HLA: Heterogeneous simulation framework using DEVS Bus implemented on RTI. In Proceedings of the 1999 Summer Computer Simulation Conference, Chicago, IL.
• 6: Lake, T., H. Sarjoughian, et al. 2000. DEVS Simulation and HLA Lookahead. SIW, Orlando, FL.
• 7: Hessam S. Sarjoughian , Bernard P. Zeigler , Daryl R. Hild, A Codesign Approach for Distributed Systems, Computer, v.33 n.3, p.110-113, March 2000 [doi>10.1109/2.825713]
• 8: Bernard P. Zeigler, Theory of Modelling and Simulation, Krieger Publishing Co., Inc., Melbourne, FL, 1984
• 9: Zeigler, B. P., G. Ball, et al. 1999. Implementation of the DEVS Formalism over the HLA/RTI: Problems and Solutions. SIW, Orlando, FL.
• 10: Zeigler, B. P., S. Hall, et al. 1999. Exploiting HLA and DEVS to Promote Interoperability and Reuse in Lockheed's Corporate Environment. Simulation Journal. 74(4): 288-295.
• 11: Bernard P. Zeigler , Tag Gon Kim , Herbert Praehofer, Theory of Modeling and Simulation, Academic Press, Inc., Orlando, FL, 2000