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).


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Verification and validation of air traffic systems: Tactical separation assurance


    Beteiligte:

    Erschienen in:

    Erscheinungsdatum :

    2009-03-01


    Format / Umfang :

    260144 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch





    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



    Impact of Tactical and Strategic Weather Avoidance on Separation Assurance

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