Software safety assurance philosophy and practices at the NASA Ames are discussed. It is shown that, to be safe, software must be error-free. Software developments on two digital flight control systems and two ground facility systems are examined, including the overall system and software organization and function, the software-safety issues, and their resolution. The effectiveness of safety assurance methods is discussed, including conventional life-cycle practices, verification and validation testing, software safety analysis, and formal design methods. It is concluded (1) that a practical software safety technology does not yet exist, (2) that it is unlikely that a set of general-purpose analytical techniques can be developed for proving that software is safe, and (3) that successful software safety-assurance practices will have to take into account the detailed design processes employed and show that the software will execute correctly under all possible conditions.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Software safety - A user's practical perspective


    Contributors:

    Publication date :

    1990-01-01


    Type of media :

    Conference paper


    Type of material :

    No indication


    Language :

    English




    User's Perspective of Software Quality

    Singh, Jagannath / Kassie, Nigussu Bitew | IEEE | 2018


    CCTV - A User's Perspective

    Selvidge, P. / IEE; Road Transport Group | British Library Conference Proceedings | 1999


    Tomorrow's trucks: The user's perspective

    Dick, J. / Fisher, P.J. / Tahaney, T. et al. | Tema Archive | 1985


    Debris Assessment Software User’s Guide

    J.-C Liou / John Opiela / Andrew Vavrin et al. | NTRS | 2020


    Space transportation - The commercial user's perspective

    SIMANIS, A. / GUBBY, ROBIN | AIAA | 1988