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 (14)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
 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
 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)