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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    A digital flight control system verification laboratory


    Contributors:
    De Feo, P. (author) / Saib, S. (author)

    Conference:

    NAECON 1982; National Aerospace an Electronics Conference ; 1982 ; Dayton, OH


    Publication date :

    1982-01-01


    Type of media :

    Miscellaneous


    Type of material :

    No indication


    Language :

    English