Systems that make safety-critical decisions must undergo a rigorous verification and validation process to ensure automation decisions do not jeopardize the nominal safe state of operation. Flight safety assessment and management is a high-level decision-making system to reduce loss of control risk. This paper demonstrates how tools from formal verification can be used to guide the design of a takeoff flight safety assessment and management system implemented as a deterministic Moore machine. Finite state abstractions of simplified takeoff dynamics under different control authorities (i.e., pilot vs safety controller) are computed and composed with the Moore machine. By construction, the composition captures all behaviors of simplified takeoff dynamics. Then, a model checking tool analyzes whether this composition satisfies the takeoff safety requirements specified by federal aviation regulations. The results of model checking together with the abstraction are used to refine the Moore machine to ensure satisfaction of the specification. This paper contributes a novel approach to verification of a supervisory system specified by a Moore machine and applies this technique to flight safety assessment and management, which is itself an emerging flight management automation aid.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Verification Guided Refinement of Flight Safety Assessment and Management System for Takeoff


    Contributors:

    Published in:

    Publication date :

    2016-08-05


    Size :

    13 pages




    Type of media :

    Article (Journal)


    Type of material :

    Electronic Resource


    Language :

    English




    Flight Safety Assessment and Management during Takeoff

    Balachandran, Sweewarman / Atkins, Ella M. | AIAA | 2013


    Flight Safety Assessment and Management during Takeoff (AIAA 2013-4805)

    Balachandran, S. / Atkins, E.M. / American Institute of Aeronautics and Astronautics | British Library Conference Proceedings | 2013



    Flight takeoff time management method and system

    XU HONGJIANG | European Patent Office | 2020

    Free access

    VSTOL autonomous takeoff flight control

    Bain, J. / Speyer, J. | AIAA | 1997