search menu icon-carat-right cmu-wordmark

Generic Avionics Software Specification

December 1990 Technical Report
Doug Locke, Lee Lucas (Naval Weapons Center), John B. Goodenough

This 1990 report informally specifies the general functions, data interactions, and timing constraints for an avionics mission control computer system typical of those found in some existing U.S. Navy/Marine Corps aircraft.

Publisher:

Software Engineering Institute

CMU/SEI Report Number

CMU/SEI-90-TR-008

Abstract

This report informally specifies the general functions, data interactions, and timing constraints for an avionics mission control computer system typical of those found in some existing U.S. Navy/Marine Corps aircraft. Avionics functions and equipment are described only to the extent needed to specify MCC behavior, with primary emphasis being given to timing constraints and data interactions. 

The specification is intended to allow a wide variety of possible implementation approaches and was developed primarily to exemplify timing requirements and functional interactions in a typical real-time system. The specification consists of an introductory description of the environment in which the mission computer operates followed by a functional description of the requirements imposed on the mission computer. The functional description is minimal and serves mainly to characterize computer workload and data interactions. An appendix contains a summary of the timing requirements together with an analysis of the expected CPU load for a particular attack scenario.