Accession Number : ADP002872

Title :   Software Testing of Safety Critical Systems,

Corporate Author : MESSERSCHMITT-BOELKOW-BLOHM G M B H MUNICH (GERMANY F R) MILITARY AIRCRAFT DIV

Personal Author(s) : Stocker,J.

Report Date : OCT 1983

Pagination or Media Count : 9

Abstract : This paper outlines methods used for testing the software of the Tornado Autopilot and Flight Director System (AFDS). An overview of existing test systems is given, followed by a detailed presentation of a new test facility the - the AFDS Cross Software Test System (AFDS-CSTS). The CSTS is an automated test tool. The AFDS is stimulated by a test computer with well-defined test data, generated via a test language. A software model running on this test computer is stimulated with the same test data. This software model is programmed according to the dual programming method based on the AFDS software specification. The test computer compares cycle by cycle, the outputs of the AFDS with the software model outputs. All deviations from expected results are recorded for subsequent analysis. The experience gained by installing and using this tool is reported. An important point is the cost of testing future software modifications.

Descriptors :   *Automatic pilots, *Flight control systems, *Digital simulation, Aviation safety, Computer programs, Validation, Test and evaluation, Avionics, Man machine systems, Digital computers, Redundancy, Faults, Tolerance, Jet aircraft, West Germany

Distribution Statement : APPROVED FOR PUBLIC RELEASE