IV&V Facility Research Program Results and SARP Results  

Advanced Search
Click here to complete a short survey. The results of this survey will be used to help us improve the research program and this website.

Click here to view research projects that had new research results added in the last 90 days.


Formalized Pilot Study of Safety-Critical Software Anomalies
Point of Contact Robyn Lutz
rlutz@cs.iastate.edu
Dates December 1999 - December 2002
Problem Advances in NASA's capability to produce safe, reliable systems depend in part on our ability to more precisely characterize areas needing improvement. Analysis of in-flight, critical software anomalies is such an area.
Objective This work characterizes safety-critical, in-flight software anomalies (using operations data from Cassini and other spacecraft) with a defect-analysis technology, called Orthogonal Defect Analysis, developed by IBM and used by major industries. A formal ized pilot study approach provides a sound, quantitative foundation to enable improvements, principally in testing.
Results Analyzing Post-Launch Anomalies at JPL.ppt
Empirical Analysis of Safety-Critical Software Anomalies Post-Launch.ppt
Evolution of Safety-Critical Requirements Post-Launch.pdf
Operational Anomalies as a Cause of Safety-Critical Requirements Evolution.pdf
Keywords safety-critical software anomalies orthogonal defect analysis defect-analysis technology safety-critical critical software in-flight software
Categories Test Analysis