This is an overview of some of the successes of the Formal Methods team at NASA Langley. It includes discussion of the development of the Well-Clear definition for uncrewed aircraft and the subsequent creation of the DAIDALUS Detect and Avoid library, followed by discussion of the team's verification of the Compact Position Reporting algorithm, which led to the development of tools for floating-point analysis.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Formal Methods in the Air


    Contributors:
    A. Dutle (author)

    Publication date :

    2024


    Size :

    27 pages


    Type of media :

    Report


    Type of material :

    No indication


    Language :

    English




    Integrated formal methods

    Galloway, A. / Stoddart, B. / Informatiques des organisations et systemes d'information et de decision | British Library Conference Proceedings | 1997


    Making formal methods practical

    Zimmerman, M. / Rodriguez, M. / Ingram, B. et al. | IEEE | 2000


    Making Formal Methods Practical

    Zimmerman, M. / IEEE / AIAA | British Library Conference Proceedings | 2000


    Formal methods for railway signalling

    Cullyer, W.J. / Wise, J.W. | Tema Archive | 1989


    The 4SECURail Formal Methods Demonstrator

    Mazzanti, Franco / Belli, Dimitri | British Library Conference Proceedings | 2022