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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Formal Methods Applied to Safety-Critical Systems


    Contributors:

    Conference:

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


    Type of media :

    Miscellaneous


    Type of material :

    No indication


    Language :

    English




    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 development of software in railways safety critical systems

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


    Formal Safety Assessment: A Critical Review

    Kontovas, Christos A. | Online Contents | 2009