Digital Library

Topics: Performance and Dependability

This report presents a paradigm for object-oriented implementation of flight simulators. It is a result of work on the ADA Simulator Validation Program (ASV) carried out by members of the technical staff at the SEI.

Topics: Performance and Dependability

This report summarizes the history, goals, and conclusions of the prototype real-time monitor development effort.

Topics: Performance and Dependability

The requirements imposed by flight simulators and good software engineering practice on Ada systems force software engineers to seek new solutions to the problem of monitoring executing software. This report examines some of these requirements and, based on these requirements, defines a subset for implementation as a prototype real-time monitor (RTM).

Topics: Performance and Dependability

This 1987 report defines the user interface to the prototype real-time monitor (RTM).

Topics: Performance and Dependability

The requirements imposed by flight simulators and good software engineering practice on Ada systems force software engineers to seek new solutions to the problem of monitoring executing software. This report examines some of these requirements and, based on these requirements, defines a subset for implementation as a prototype real-time monitor (RTM).

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