Accession Number:

ADP006489

Title:

Development and Verification of Software for Flight Safety Critical Systems,

Descriptive Note:

Corporate Author:

LITEF DER HELLIGE GMBH FREIBURG IM BREISGAU (GERMANY F R)

Personal Author(s):

Report Date:

1991-09-01

Pagination or Media Count:

4.0

Abstract:

In Flight Safety Critical Systems where the lives of people andor mission success is depending on, errors in the Computer Software Components can have a catastrophic impact on the safety. The requirements for the software development and maintenance of Flight Safety Critical systems differ in some aspects from the systems which do not fall into this category. The reason for these requirement is to produce the right product at the very beginning of the systems usage and to ensure special attention is paid throughout the whole service life of the equipment. The reliability and safety requirements can reach a point where testing alone is not sufficient. Consequently adequate control mechanisms have to be applied. The software configuration management, quality control, verification and validation must be rigorously adhered to. For the development of the equipment software, a set of development standards and additional procedures for the implementation of Safety Critical Functions are defined. LITEF applied the standards and procedures for the development of the Inertial Measurement Unit which is a part of the Flight Control System and Seat Sequencer Unit which is part of the Ejection Seat. In this paper, some critical technology needs are described for supporting the development and verification process of such systems and the activities which have to be performed during the development phases for identifying, assessing and eliminating or minimizing hazards in a systematic way.

Subject Categories:

  • Computer Programming and Software
  • Military Aircraft Operations

Distribution Statement:

APPROVED FOR PUBLIC RELEASE