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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    A digital flight control system verification laboratory


    Beteiligte:
    De Feo, P. (Autor:in) / Saib, S. (Autor:in)

    Kongress:

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


    Erscheinungsdatum :

    01.01.1982


    Medientyp :

    Sonstige


    Format :

    Keine Angabe


    Sprache :

    Englisch