Accession Number:

ADA076021

Title:

Digital Flight Control Software Validation Study.

Corporate Author:

HONEYWELL SYSTEMS AND RESEARCH CENTER MINNEAPOLIS MN

Report Date:

1979-06-01

Abstract:

The problems of designing, verifying, and validating software for digital flight control systems are reviewed to study how the new software engineering tools and techniques may be incorporated into the development process. This shows how automated methodologies will provide error-free flight control software at lower costs. The need for expensive, lengthy test programs is reduced by analytical methods. The quality of the software is demonstrated with higher confidence when designs are structured to facilitate the subsequent verification steps. The military standards relating to flight control systems are reviewed, and modifications to include provisions for software verification are recommended. Author

Descriptive Note:

Final rept. Apr 78-Apr 79,

Supplementary Note:

DOI: 10.21236/ADA076021

Pages:

0261

Identifiers:

Communities Of Interest:

Contract Number:

F33615-78-C-3605

File Size:

97.06MB