IV&V Facility Research Program Results and SARP Results  

Advanced Search
Quality Control < Software Quality < Results Home

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 Control (17)Provide assurance that the software system adequately satisfies reliability, maintainability and testability requirements.
Research Projects
A Compositional Approach to Validation of Formal Models
Application of SAE Architecture Analysis & Design Language to IV&V of NASA Flight Projects
Contingency Software in Autonomous Systems
Effective Life-Cycle IV&V of Auto-Generated Software
IV&V Technique for Object Oriented Software Systems
Measuring Confidence in IV&V Products
Model-Validation in Model-Based Development
Optimizing IV&V for Mature Organizations
Performability of Web Based Applications
Product-Line Verification of Safety-Critical Software
Research and Development of Deployable IV&V Methods for FPGA Applications
Risk Assessment of Software Architectures
Tandem Experiments in Finding Faults During Model-Based Development
Technology Infusion of SAVE into STRS Architecture Compliance Verification at GRC
Technology Infusion of SAVE into the Common Ground SW Dev. Process for NASA Missions at JHU/APL
Technology Transfer of Results in Contingency Software for Autonomous Systems
Toward More Realistic Software Reliability Predictions


Curator: Jitesh Gandhi - ProLogic, Inc.
NASA Official: Lisa Montgomery
 NASA Insignia NASA Privacy, Security, Notices