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.


Integrating Software Into Probabilistic Risk Assessment
Point of Contact Carol Smidts
csmidts@eng.umd.edu
Dates October 2000 - September 2003
Problem Probabilistic Risk Assessment (PRA) is a technique to assess the probability of failure or success of a mission. Current PRA neglects the contribution of software to the risk of failure of the mission. The current proposal is to extend current PRA method ology to integrate software in the risk assessment process. It is proposed that the approach developed be applied to Next Generation Space Telescope (NGST) software.
Objective The objective is to develop the techniques necessary for the systematic integration of software in PRA and to prove the conceptual validity of the methodology on a specific sub-system of the Next Generation Space Telescope.
Results 2001 End of Year Briefing.ppt
Brief Report Reflecting Comments from Experts Panel on Methodology.doc
Defining Impact of Software on PRA.doc
Defining Software Quantification Models.doc
End of Year Briefing 2002 - PRA Training.ppt
Integrating Software Into Probabilistic Risk Assessment - Final Report.doc
OSMA SAS 2002 Presentation.ppt
Report Describing Changes to Space Station PRA.doc
Report Describing Changes to the Space Station PRA Quantification.doc
Report Describing the Final Modeling Representation.doc
SAS 05 Technical Presentation.ppt
SAS 05 Executive Presentation.ppt
Report describing the analytical propagation approach.doc
SAS 06 Technical Presentation.ppt
Report describing the PRA procedure (Test-Based and Analytical).doc
Final Report Containing the Procedures Guide.doc
SAS 06 Executive Presentation.ppt
Keywords probabilistic risk assessment, risk cube, risk assessment, software failures
Categories Criticality Analysis
Design Analysis
Formal Methods
Issue & Risk Tracking
Process Improvement
Traceability Analysis