Development of air combat HDEVS model implemented in HDEVSim++ environment

Being a mixture of discrete event and continuous time models, a hybrid model represents real-world dynamic systems in more realistic manner. Hybrid discrete event systems specification (HDEVS) formalism specifies a hybrid model in a modular, hierarchical form that employs discrete event systems specification (DEVS) formalism, differential equation formalism, and a formal interface. The HDEVSim++ environment implements the HDEVS formalism and an associate hybrid simulation algorithm in C++. This paper describes the development of an air combat hybrid model using the HDEVS formalism, which is implemented in the HDEVSim++ environment. The model contains a collection of fighter models, each of which consists of discrete event models for pilots and continuous models for flights. The simulation process is visualized using SIMDIS to verify and validate the trajectories for interactions between fighters, which are controlled by pilots' tactical decisions. Simulation performance is measured in execution time as the number of fighters varies.