| Verifying HLA RTIs
July 2000
Susan Symington, The MITRE Corporation
Joseph Kaplan, The MITRE Corporation
Frederick Kuhl, The MITRE Corporation
John Tufarolo, The MITRE Corporation
Richard Weatherly, The MITRE Corporation
Jeff Nielsen, ObjectSpace, Inc.
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.
» Download Paper [PDF, 128KB]
Additional Search Keywords
HLA, RTI, Verification, Verifier, Interface Specification, testing.
|
