Verifying HLA RTIs

摘要

An RTI Verification Facility has been established by the Defense Modeling and Simulation Office (DMSO) to test the compliance of High Level Architecture (HLA) Run Time Infrastructure (RTI) implementations with the U.S DoD High Level Architecture Interface Specification, version 1.3. Using the custom-built 'RTI Verifier' software, the Verification Facility has to date verified two RTI implementations from two different RTI developers. In this paper, we describe our experience with the verification process and the RTI Verifier. We explain the process in detail, including the effort involved, test failure analysis, and turnaround time. We also discuss how the RTI Verifier works and enhancements that have been made to support future versions of the HLA Interface Specification. Finally, we present some lessons learned as an aid to future RTI developers.