The presentation will focus on the application of formal methods to safety-critical systems in aviation and space. Although the talk will mostly focus on work conducted at the NASA Langley Research Center, there will be a brief summary of work conducted at NASA?s Jet Propulsion Laboratory and Ames Research Center.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Formal Methods Applied to Safety-Critical Systems


    Beteiligte:
    Alwyn Goodloe (Autor:in)

    Kongress:

    NITRD Software Design and Productivity Meeting ; 2012 ; Arlington, VA, US


    Medientyp :

    Sonstige


    Format :

    Keine Angabe


    Sprache :

    Englisch




    Formal Verification of Safety-Critical Aerospace Systems

    Paul, Saswata / Cruz, Elkin / Dutta, Airin et al. | IEEE | 2023


    Formal Methods and their Applications to Safety-Critical Systems of Railways

    Ogino, T. / Hirao, Y. | British Library Online Contents | 1995



    Formal Safety Assessment: A Critical Review

    Kontovas, Christos A. | Online Contents | 2009


    Formal development of software in railways safety critical systems

    Dehbonei, B. / Mejia, F. / Wessex Institute of Technology | British Library Conference Proceedings | 1994