NASA IV&V Software Assurance Research Program

The President of Carina Space Corporation was the PI conducting the research effort titled “Assurance and Recertification of Safety-Critical Software in Legacy Systems” from January 1, 2007 through April 3, 2009. The research addressed three areas – assurance problems for the safety of legacy systems, practical software safety techniques and the appropriateness of verification and validation of reused/heritage software (reuse analysis). The NASA Office of Safety and Mission Assurance (OSMA) IV&V Software Assurance Research Program (SARP) funded the research during the 3-year period.The contract objectives were met in the technical, schedule, cost and management areas of the research project. All deliverables were provided to the SARP POC by March 2009. This work is indicative of the capability, reliability and performance of the Carina Space Corporation team members and can be predictive of future performance in future contracts.