This report describes both the research techniques and the application results from the analysis of safety-critical software anomalies recorded post-launch on seven spacecraft: Galileo, Mars Global Surveyor, Cassini/Huygens, Deep Space 1, Mars Climate Orbiter, Mars Polar Lander, and Stardust.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Formalized pilot study of safety-critical software anomalies: final report


    Contributors:

    Conference:

    Assigned JPL Task


    Publication date :

    2002-12-30


    Type of media :

    Conference paper


    Type of material :

    No indication


    Language :

    English






    Empirical analysis of safety - critical software anomalies post-launch

    Sigal, B. / Lutz, R. / Mikulski, C. | NTRS | 2002


    Towards Developing Formalized Assurance Cases

    Meng, Baoluo / Moitra, Abha / Crapo, Andrew W. et al. | IEEE | 2020


    Formalized electromagnetic support of systems

    Schulz, R.B. / Baker, A. | Tema Archive | 1976