Accession Number:

ADA456336

Title:

Verifying HLA RTIs

Descriptive Note:

Corporate Author:

MITRE CORP MCLEAN VA

Report Date:

2006-01-01

Pagination or Media Count:

10.0

Abstract:

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.

Subject Categories:

  • Computer Programming and Software
  • Computer Hardware
  • Information Science

Distribution Statement:

APPROVED FOR PUBLIC RELEASE