Accession Number:

ADP002872

Title:

Software Testing of Safety Critical Systems,

Descriptive Note:

Corporate Author:

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

Personal Author(s):

• Stocker,J.

Report Date:

1983-10-01

Pagination or Media Count:

9.0

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

Subject Categories:

Distribution Statement:

APPROVED FOR PUBLIC RELEASE