Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Stefan F. Landherr
August 1989 - Technical Report Inertial Navigation System Simulator: Behavioral Specification (1989)

This 1989 revision specifies the INS simulator program and clarifies and supplements the functional specification.

December 1987 - Technical Report ADA for Embedded Systems: Issues and Questions

Topics: Performance and Dependability

This 1987 report addresses issues and questions related to the use of ADA for embedded systems applications.

December 1987 - Technical Report Annual Technical Report for ADA Embedded Systems Testbed Project

Topics: Performance and Dependability

This technical report provides an overview of the results produced in the first year of the ADA Embedded Systems Testbed Project (through September 30, 1987).

December 1987 - Technical Report Inertial Navigation System Simulator Program: Top-Level Design (1987)

This 1987 document discusses top-level design from three points of view: data flow perspective, the concurrency and control perspective, and the Adamodule perspective.

October 1987 - Technical Report Inertial Navigation System Simulator: Behavioral Specification (1987)

This 1987 report specifies the INS simulator program and clarifies and supplements the functional specification.

March 1987 - Technical Report Evaluation of ADA Environments, Executive Summary

This 1987 report provides a detailed description of the Ada Environments methodology and examples of its usage.