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.


Quality Assurance (19)Provide assurance that the right quality assurance standards, processes and procedures have been identified by the software project.

 Research Projects
 Assurance and Recertification of Safety-Critical Software in Legacy Systems
 Automated Verification & Validation of Real-Time Systems Using Simulation
 IV&V Technique for Object Oriented Software Systems
 Improving NASA Software Acquisition Capability
 Inspections for Systems and Software
 Measuring Confidence in IV&V Products
 Non-Parametric Software Reliability
 Optimizing IV&V Benefits Using Simulation
 Optimizing IV&V for Mature Organizations
 Practical Model Checking to Enforce Domain Specific Interfaces
 Preliminary Investigations on Intelligent Modeling of UML Scenarios
 Preventing and eliminating software faults through the life cycle
 Required Assurance and Reliability Estimator
 Research and Development of Deployable IV&V Methods for FPGA Applications
 Risk Assessment of Software Architectures
 Software Assurance of Web Based Applications
 Software Engineering Research / Developer Collaborations
 Software Process Assurance for Complex Electronics (SPACE)
 Technology Infusion of SPACE into JPL projects