Verification , Validation , and Certification Challenges for Adaptive Flight-Critical Control System Software

@inproceedings{Jacklin2004VerificationV,
  title={Verification , Validation , and Certification Challenges for Adaptive Flight-Critical Control System Software},
  author={Stephen A. Jacklin and Michael R. Lowry and Johann Schumann and Pramod K. Gupta and Eddie Zavala and John W. Kelly and Celeste M. Belcastro and Christine M. Belcastro},
  year={2004}
}
This paper presents some of the unique verification, validation, and certification challenges that must be addressed during the development of adaptive system software for use in safety-critical aerospace applications. The paper first discusses the challenges imposed by the current regulatory guidelines for aviation software. Next, a number of individual technologies being researched by NASA and others are discussed that focus on various aspects of the software challenges. These technologies… CONTINUE READING
Highly Cited
This paper has 40 citations. REVIEW CITATIONS