search menu icon-carat-right cmu-wordmark

Generic Avionics Software Specification

Technical Report
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.

Cite This Technical Report

Locke, D., Lucas, L., & Goodenough, J. (1990, December 1). Generic Avionics Software Specification. (Technical Report CMU/SEI-90-TR-008). Retrieved April 19, 2024, from https://insights.sei.cmu.edu/library/generic-avionics-software-specification/.

@techreport{locke_1990,
author={Locke, Douglas and Lucas, Lee and Goodenough, John},
title={Generic Avionics Software Specification},
month={Dec},
year={1990},
number={CMU/SEI-90-TR-008},
howpublished={Carnegie Mellon University, Software Engineering Institute's Digital Library},
url={https://insights.sei.cmu.edu/library/generic-avionics-software-specification/},
note={Accessed: 2024-Apr-19}
}

Locke, Douglas, Lee Lucas, and John Goodenough. "Generic Avionics Software Specification." (CMU/SEI-90-TR-008). Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, December 1, 1990. https://insights.sei.cmu.edu/library/generic-avionics-software-specification/.

D. Locke, L. Lucas, and J. Goodenough, "Generic Avionics Software Specification," Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, Technical Report CMU/SEI-90-TR-008, 1-Dec-1990 [Online]. Available: https://insights.sei.cmu.edu/library/generic-avionics-software-specification/. [Accessed: 19-Apr-2024].

Locke, Douglas, Lee Lucas, and John Goodenough. "Generic Avionics Software Specification." (Technical Report CMU/SEI-90-TR-008). Carnegie Mellon University, Software Engineering Institute's Digital Library, Software Engineering Institute, 1 Dec. 1990. https://insights.sei.cmu.edu/library/generic-avionics-software-specification/. Accessed 19 Apr. 2024.

Locke, Douglas; Lucas, Lee; & Goodenough, John. Generic Avionics Software Specification. CMU/SEI-90-TR-008. Software Engineering Institute. 1990. https://insights.sei.cmu.edu/library/generic-avionics-software-specification/