Verifying HLA RTIs

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 2006
Accession Number
ADA456336

Entities

People

  • Frederick Kuhl
  • Jeff Nielsen
  • John Tufarolo
  • Joseph Kaplan
  • Richard Weatherly
  • Susan Symington

Organizations

  • MITRE Corporation

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Abstracts
  • Computer Programs
  • Corporations
  • Databases
  • Failure Analysis
  • Graphical User Interface
  • Infrastructure
  • Language
  • Lessons Learned
  • Operating Systems
  • Simulations
  • Specifications
  • Standards
  • Verification
  • Verification Tests
  • Websites

Fields of Study

  • Computer science

Readers

  • Mathematical Modeling and Probability Theory.
  • Military Training and Readiness Simulation
  • Software Engineering