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.


Reuse Analysis (4)Provide tools and methods that verify the original domain of the candidate reuse software will satisfy the domain of the new system.

 Research Projects
 Assurance and Recertification of Safety-Critical Software in Legacy Systems
 Empirical Assurance of Embedded Software using Realistic Simulated Failure Modes
 Mitigating the Risk of Legacy Software on NASA Spacecraft
 Product-Line Verification of Safety-Critical Software