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.


Process Improvement (15)Methods and tools to help gather and analyze lessons learned, risks and IV&V metrics to support the implementation of corrective actions.

 Research Projects
 Architectural Level Software Metrics
 Automated Testing & Quantitative Evaluation of Real-Time System Source Code
 Automated Verification & Validation of Real-Time Systems Using Simulation
 Classifying Software Faults to Improve Fault Detection Effectiveness
 IV&V Code Level Metrics Data Program - GALAXY
 IV&V Metrics Data Project
 IV&V Technique for Object Oriented Software Systems
 Implementing MARTHA: A Next-Generation Testable Language
 Improving IV&V Techniques Through the Analysis of Anomalies
 Integrating Software Into Probabilistic Risk Assessment
 Optimizing IV&V Benefits Using Simulation
 Product-Line Verification of Safety-Critical Software
 Relationship of Cyclomatic Complexity, Essential Complexity and Error Density
 Risk Assessment of Software Architectures
 Technology Infusion of SAVE into the Common Ground SW Dev. Process for NASA Missions at JHU/APL