Chapter 17 - DEVSim ++ ME: HLA-Compliant DEVS Modeling/Simulation Environment With DEVSim ++
This chapter describes a model engineering environment that supports the development of high-level architecture (HLA)-compliant DEVS models for discrete event systems. The environment consists of a set of tools to support the development of DEVS models and their simulation, either in stand-alone mode or in an interoperation mode using HLA/RTI. The toolset consists of DEVSim ++, MVeri, MVali, DEXSim, and KHLA Adaptor. The core of the environment, DEVSim ++, helps modelers to develop DEVS models within a DEVS methodology using C ++. MVeri and MVali are tools that automatically verify and validate DEVS models, respectively. DEXSim is an experimental environment for the parallel/distributed execution of simulation replications using the concept of single simulation and multiple scenarios. KAIST HLA Adaptor (KHLA Adaptor) is a smart interface that implements all APIs for RTI services and callbacks. We demonstrate how to exploit DEVSim ++ME with a case study on the modeling and simulation of a defense system. This chapter describes the advantages that the DEVSim ++ ME toolset offers over other existing environments, especially when targeting DEVS models to be deployed in HLA-based distributed simulations.