Digital Flight Control Software Validation Study.
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)
Document Details
- Document Type
- Technical Report
- Publication Date
- Jun 01, 1979
- Accession Number
- ADA076021
Entities
People
- Dennis B. Mulcare
- Edward R. Rang
- Michael J. Gutmann
- William G. Ness
Organizations
- Honeywell International, Inc.