# Model Engineering for Simulation ## 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](https://www.sciencedirect.com/topics/computer-science/discrete-event-system). 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](https://www.sciencedirect.com/topics/computer-science/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](https://www.sciencedirect.com/topics/computer-science/case-study) on the [modeling and simulation](https://www.sciencedirect.com/topics/computer-science/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.