Aviation, both on-board systems and the National Airspace System, can be transformed by many current and future technical capabilities. To name but a few, improved efficiency may be achieved by integrating functions; robustness may be improved by distributing functions; and safety may be improved by building in risk mitigation through not only redundant, independent systems but also through operational concepts and effective interaction with human operators. This talk will review the key aspects of verification, validation and certification for which formal methods will provide a critical function in enabling truly revolutionary designs to enter the operational community, illustrating successes in formal modeling to date and posing further questions for the formal modeling community.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    The Nation's Needs in Aviation Formal Methods


    Contributors:


    Publication date :

    2008-04-30


    Type of media :

    Conference paper


    Type of material :

    No indication


    Language :

    English






    The Nation's Engineering Research Needs 1965-1985 : Summary Report

    Engineering Research Committee | TIBKAT | 1962



    Needs of civil aviation

    Travers, H.G. | Engineering Index Backfile | 1932