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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Formal Methods Applications in Air Transportation


    Contributors:


    Publication date :

    2009-04-01


    Type of media :

    Conference paper


    Type of material :

    No indication


    Language :

    English




    Formal methods in automotive applications

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


    Formal safety analysis in transportation control

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


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

    Free access