IV&V: Adding mission assurance to NASA flight software

@article{Savarino2011IVVAM,
  title={IV&V: Adding mission assurance to NASA flight software},
  author={Shirley Savarino and Sanford Krasner and Frank Huy},
  journal={2011 Aerospace Conference},
  year={2011},
  pages={1-9}
}
The NASA Independent Verification and Validation (IV&V) Facility objective is to identify potential defects in flight software using independent analysis techniques. This paper describes the tailored IV&V techniques that have been developed in support of critical interactions on the Mars Science Laboratory (MSL) project, scheduled to launch in November… CONTINUE READING