DEVS Framework and Tooklits for Simulators Interoperation Using HLA/RTI
暂无分享,去创建一个
The Discrete Event System Specification (DEVS) formalism is a framework which supports specification of discrete event models in a hierarchical, modular form. Associated with the formalism is a method which transforms a non-modular model to modular one. The method is a theoretical basis for the exchange of information between heterogeneous simulators which interoperate together. The High Level Architecture (HLA) is a specification of common services for such interoperation, which include synchronization of simulation time and exchange of data between interoperated simulators. This paper introduces the DEVS framework and associated tools which support development of interoperable simulators under the HLA/RTI environment. The core of the tools is the DEVSimHLA environment for development of HLA-compliant simulators using the DEVS framework and the RTI interface. An architecture of interoperable war game simulators based on DEVSimHLA is presented; a list of DMSO certified federates developed using the DEVSimHLA environment is given.
[1] Chang Ho Sung,et al. Layered Structure to Development of OO War Game Models Using DEVS Framework , 2005 .
[2] Tag Gon Kim,et al. Real time simulation framework for RT-DEVS models , 2001 .
[3] Kyu Ho Park,et al. A Real-Time Discrete Event System Specification Formalism for Seamless Real-Time Software Development , 1997, Discret. Event Dyn. Syst..
[4] Tag Gon Kim,et al. A framework for verifying discrete event models within a DEVS-based system development methodology , 1996 .