The U.S. air transportation system is the most productive in the world, moving far more people and goods than any other. It is also the safest system in the world, thanks in part to its venerable air traffic control system. But as demand for air travel continues to grow, the air traffic control system s aging infrastructure and labor-intensive procedures are impinging on its ability to keep pace with demand. And that impinges on the growth of our economy. Air traffic control modernization has long held the promise of a more efficient air transportation system. Part of NASA s current mission is to develop advanced automation and operational concepts that will expand the capacity of our national airspace system while still maintaining its excellent record for safety. It is a challenging mission, as efforts to modernize have, for decades, been hamstrung by the inability to assure safety to the satisfaction of system operators, system regulators, and/or the traveling public. In this talk, we ll provide a brief history of air traffic control, focusing on the tension between efficiency and safety assurance, and the promise of formal methods going forward.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Formal Methods Applications in Air Transportation


    Beteiligte:
    Farley, Todd (Autor:in)


    Erscheinungsdatum :

    2009-04-01


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Keine Angabe


    Sprache :

    Englisch




    Formal Safety Analysis in Transportation Control

    Ortmeier, F. / Thums, A. / Zentrum fur Verkehr der Technischen Universitat Braunschweig et al. | British Library Conference Proceedings | 2003


    Formal safety analysis in transportation control

    Thums, A. / Schellhorn, G. | Tema Archiv | 2003


    Formal methods in automotive applications

    Tran,S.C. / Marks,K.T. / Cullyer,J.C. et al. | Kraftfahrwesen | 1990


    Formal Methods Demonstration Project for Space Applications

    Kelly, J. / DiVito, B. / United States; National Aeronautics and Space Administration | British Library Conference Proceedings | 1995


    Urban form as a transportation interchange: a formal theory.

    Dunbar, Gary Arthur | DSpace@MIT | 1966

    Freier Zugriff