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.
Formalized pilot study of safety-critical software anomalies: final report
Assigned JPL Task
2002-12-30
Conference paper
No indication
English
Towards Developing Formalized Assurance Cases
IEEE | 2020
|Formalized electromagnetic support of systems
Tema Archive | 1976
|