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.


Criticality Analysis (10)Provide methods and tools to support the criticality analysis of software systems.

 Research Projects
 Contingency Software in Autonomous Systems
 Criticality Analysis Database
 Integrating Software Into Probabilistic Risk Assessment
 Measuring Confidence in IV&V Products
 Mitigating the Risk of Legacy Software on NASA Spacecraft
 Optimizing IV&V Benefits Using Simulation
 Product-Line Verification of Safety-Critical Software
 Research and Development of Deployable IV&V Methods for FPGA Applications
 Risk Assessment of Software Architectures
 Technology Transfer of Results in Contingency Software for Autonomous Systems