A NASA/FAA program has been established for the verification and validation of digital flight control systems (DFCS), with the primary objective being the development and analysis of automated verification tools. In order to enhance the capabilities, effectiveness, and ease of using the test environment, software verification tools can be applied. Tool design includes a static analyzer, an assertion generator, a symbolic executor, a dynamic analysis instrument, and an automated documentation generator. Static and dynamic tools are integrated with error detection capabilities, resulting in a facility which analyzes a representative testbed of DFCS software. Future investigations will ensue particularly in the areas of increase in the number of software test tools, and a cost effectiveness assessment.
A digital flight control system verification laboratory
NAECON 1982; National Aerospace an Electronics Conference ; 1982 ; Dayton, OH
1982-01-01
Miscellaneous
No indication
English
Technology update - Digital flight control system verification completed
Online Contents | 1998
Methods for the Verification and Validation of Digital Flight Control Systems
SAE Technical Papers | 1980
|First flight verification and validation of the 728JET primary flight control system
Tema Archive | 2002
|Digital multimode flight control system
AIAA | 1975
|