Inertial Navigation System Simulator: Behavioral Specification

Stefan E. Landherr
Mark H. Klein

Technical Report
CMU/SEI-87-TR-033

The Ada Embedded Systems Testbed Project at the Software Engineering Institute is specifying and developing a representative real-time application. This document augments an original set of specifications written by a Navy affiliate. The purpose of this behavior specification is to clarify and augment the original.