Today's verification techniques are hard-pressed to scale with the ever-increasing complexity of safety critical systems. Within the field of aeronautics alone, we find the need for verification of algorithms for separation assurance, air traffic control, auto-pilot, Unmanned Aerial Vehicles (UAVs), adaptive avionics, automated decision authority, and much more. Recent advances in formal methods have made verifying more of these problems realistic. Thus we need to continually re-assess what we can solve now and identify the next barriers to overcome. Only through an exchange of ideas between theoreticians and practitioners from academia to industry can we extend formal methods for the verification of ever more challenging problem domains. This volume contains the extended abstracts of the talks presented at LFM 2008: The Sixth NASA Langley Formal Methods Workshop held on April 30 - May 2, 2008 in Newport News, Virginia, USA. The topics of interest that were listed in the call for abstracts were: advances in formal verification techniques; formal models of distributed computing; planning and scheduling; automated air traffic management; fault tolerance; hybrid systems/hybrid automata; embedded systems; safety critical applications; safety cases; accident/safety analysis.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Proceedings of the Sixth NASA Langley Formal Methods (LFM) Workshop


    Contributors:

    Conference:

    Sixth NASA Langley Formal Methods Workshop ; 2008 ; Newport News, VA, United States


    Publication date :

    2008-04-30


    Type of media :

    Miscellaneous


    Type of material :

    No indication


    Language :

    English





    Fourth NASA Langley Formal Methods Workshop

    C. M. Holloway / K. J. C. Hayhurst | NTIS | 1997


    NASA Langley Research and Technology-Transfer Program in Formal Methods

    Butler, Ricky W. / Caldwell, James L. / Carreno, Victor A. et al. | NTRS | 1995


    NASA Formal Methods Workshop, 1990

    R. W. Butler | NTIS | 1990


    NASA Formal Methods Workshop, 1990

    Butler, Ricky W. | NTRS | 1990