The expected future increase in air traffic requires the development of innovative algorithms and software systems to automate safety critical functions such as separation assurance - the task of maintaining a safe distance between aircraft at all times. Extensive verification and validation (V&V) of such functions will be crucial for the acceptance of new air traffic management systems. This paper reports on work performed at the NASA Ames Research Center. We discuss how advanced V&V technologies can be used to create robust software prototypes for air traffic control software, and how conformance of production code with such prototypes can be assured. We present preliminary results of V&V efforts for a prototype of the Tactical Separation Assisted Flight Environment system (TSAFE).


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Verification and validation of air traffic systems: Tactical separation assurance




    Publication date :

    2009-03-01


    Size :

    260144 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English




    Impact of Tactical and Strategic Weather Avoidance on Separation Assurance

    Refai, Mohamad S. / Windhorst, Robert | NTRS | 2011



    Impact of Tactical and Strategic Weather Avoidance on Separation Assurance

    Refai, M. / Windhorst, R. / American Institute of Aeronautics and Astronautics | British Library Conference Proceedings | 2011