Model verification of HLA-based systems: Issues and approaches

As the increasing use of HLA, the need for VV&A techniques specific to HLA simulations also increases. This paper discusses the unique challenges of model verification presented by distributed simulations in general and HLA federations in particular. The verification process consists of simulation programs verification, simulation support systems verification and simulation infrastructure verification, which are all different from the stand-alone simulation. Our research is just focused on these differences. Issues and approaches are proposed for each type of verification. The HLA systems' Object-Oriented characteristic and RTI verification are also analyzed in details. Finally, the lessons learned from our federation verification and the directions come to the conclusion.