Verification, validation, and certification challenges for adaptive flight-critical control system software

Collection of Technical Papers - AIAA Guidance, Navigation, and Control Conference

Volumn 4, Issue , 2004, Pages 2648-2657

  Jacklin, Stephen A ^a,d   Lowry, Michael R ^a,d   Schumann, Johann M ^a   Gupta, Pramod P ^a   Bosworth, John T ^b,e   Zavala, Eddie ^b,f   Kelly, John W ^b,g   Hayhurst, Kelly J ^c,h   Belcastro, Celeste M ^c,h   Belcastro, Christine M ^c,h  

^a NASA AMES RESEARCH CENTER   (United States)

^b NASA DRYDEN FLIGHT RESEARCH CENTER   (United States)

^c NASA LANGLEY RESEARCH CENTER   (United States)

^d M/S 269 2 ^*  (United States)

^e M/S 269 3 ^*  (United States)

^f MS 2217

^g Flight Systems Branch   (Australia)

^h Airborne Systems   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AVIATION SOFTWARE; CERTIFICATION; FLIGHT CONTROL SYSTEMS; SAFETY-CRITICAL AEROSPACE APPLICATIONS;

ACCREDITATION; ADAPTIVE SYSTEMS; AVIATION; COMPUTER SOFTWARE; FLIGHT DYNAMICS; SAFETY FACTOR;

CONTROL SYSTEMS;

EID: 19944365563     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (36)

1. Rysdyk, R. T., and Calise, A. J., "Fault Tolerant Flight Control via Adaptive Neural Network Augmentation," AIAA 98-4483, August 1998.
2. Kaneshige, J., Bull, J., and Totah, J. J., "Generic Neural Flight Control and Autopilot System," AIAA-2000-4281, August 2000.
3. Kaneshige, J. and Gundy -Burlet, K., "Integrated Neural Flight and Propulsion Control System," AIAA 2001-4386, August 2001.
4. Gat, E., "ESL: A language for Supporting Robust Plan Execution in Embedded Autonomous Agents," Proceedings of the AAAI Fall Symposium on Plan Execution, AAAI Press, 1996.
5. Nayak, P. P., et al, "Validating the DS1 Remote Agent Experiment," Proceedings of the Space Technology Conference and Exposition, Albuquerque, NM, September 1999.
6. RTCA/DO-178B, Software Considerations in Airborne Systems and Equipment Certification, RTCA, Inc., Washington, D. C., December 1992.
7. Lowry, M., Havelund, K., and Penix, J., "Verification and Validation of AI Systems that Control Deep-Space Spacecraft," Tenth International Symposium on Methodologies for Intelligent Systems, Charlotte, North Carolina, October 1997.
8. Mackall, D., Nelson, S., and Schumann, J., "Verification and Validation of Neural Networks for Aerospace Systems," NASA/CR-2002-211409, July 2002.
9. Advisory Circular #20-115B, U. S. Department of Transportation, Federal Aviation Administration, issued January 11, 1993.
10. Cortellessa, V., Cukic, B., Del Gobbo, D., Mili, A., Napolitano, M., Shereshevsky, M., and Sandhu, H., "Certifying Adaptive Flight Control Software", Proceedings ISACC 2000, Reston, VA, September 24-26, 2000.
11. Taylor, B., Darrah, M., Pullum, L., Smith, J. T., Luxemburg, L., Skias, S. T., and Cukic, B., "Methods and Procedures for the Independent Verification and Validation of Neural Networks," Final Report for NASA NAGS-12069.
12. Stewart, D. B., and Brown, R. A., "Grand Challenges in Mission-Critical Systems: Dynamically Reconfigurable Real-Time Software for Flight Control Systems," Proceedings of Workshop on Real-Time Mission-Critical Systems in conjunction with the 1999 Real-Time Systems Symposium, Phoenix, AZ, November 10, 1999.
13. Schumann, J., and Nelson, S., "Toward V&V of Neural Network Based Controllers", WOSS '02, Charleston, SC, November 18-19, 2002.
14. Bedford, D. F., Morgan, G., and Austin, J., "Requirements for a Standard Certifying the use of Artificial Neural Networks in Safety Critical Applications," ICANN 96.
15. st International Conference on Space Mission Challenges for Information Technology (SMC-IT), Pasadena, California, July 2003, pp. 321-326.
16. Holtzmann, G. J., "The Model Checker SPIN," IEEE Transactions on Software Engineering, Vol. 25, No. 5, May 1997.
17. Venet, A., and Brat, G., "Precise and Efficient Static Array Bound Checking for Large Embedded C Programs", Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'04), Washington DC, USA, ACM Press 2004, pp. 231 -242. This is the main reference for CGS.
18. Havelund, K., and Pressburger, T., "Model Checking Java Programs Using Java PathFinder", International Journal on Software Tools for Technology Transfer, Volume 2, Number 4, April 2000.
19. Visser, W., Havelund, K., Brat, G., Park, S., and Lerda, F., "Model Checking Programs", Automated Software Engineering, Volume 10, Number 2, April 2003.
20. th IEEE Conference on Automated Software Engineering (ASE'01), San Diego, California, November 2001.
21. Selected for publication in the Journal Automated Stiftware Engineering.
22. Artho, C., Drusinsky, D., Goldberg, A., Havelund, K., Lowry, M., Pasareanu, C., Rosu, G., and Visser, W., "Experiments with Test Case Generation and Runtime Analysis", Proceedings International Conference on Abstract State Machines (ASM'03), March 3-7, 2003, Taormina, Italy.
23. Lecture Notes in Computer Science, Volume 2589, Springer.
24. Selected to appear in the journal Theoretical Computer Science.
25. Denney, E., Fischer, B., and Schumann, J., "Using Automated Theorem Provers to Certify Auto-Generated Aerospace Software". To appear in Proceedings of the 2nd International Joint Conference on Automated Reasoning, Springer, 2004.
26. Brat, G., Giannakopoulou, D., Goldberg, A., Havelund, K., Lowry, M., Pasareanu, Venet, A., Washington, R., and Visser, W., "Experimental Evaluation of Verification and Validation Tools on Martian Rover Software", SEI Software Model Checking Workshop, 2003.
27. To appear in Formal Methods in System Design, November, 2004.
28. Zakrzewski, R. R., "Verification of Performance of a Neural Network Estimator," Proceedings of 2002 IEEE World Congress on Computational Intelligence, Honolulu, HI, May 12-17,2002.
29. Jorgensen, C., "Direct Adaptive Aircraft Control Using Neural Networks," NASA TM-47136, 1997.
30. Schumann, J., Gupta, P., and Nelson, S., "On Verification and Validation of Neural Network Based Controllers," Proceedings of Engineering Applications of Neural Networks (EANN'03), Malaga, Spain, September 2003.
31. Hull, J., Ward, D., and Zakrzewski, R. R., "Verification and Validation of Neural Networks for Safety-Critical Applications," Proceedings of the American Control Conference, Anchorage, AK, 2002.
32. Slotine, J.-J. E., and Li, W., Applied Nonlinear Control, Prentice Hall, 1991.
33. Wu, N., "Eva: Reliability of Fault Tolerant Control Systems: Part I.," Proceedings of the IEEE Conference On Decision & Control, 2001.
34. Wu, N., "Eva: Reliability of Fault Tolerant Control Systems: Part II.," Proceedings of the IEEE Conference On Decision & Control, 2001.
35. Belcastro, C. M., and Beicastro, C. M., "On the Validation of Safety Critical Aircraft Systems, Part I: An Overview of Analytical &'Simulation Methods," Proceedings of the Guidance, Navigation, and Control Conference, Austin TX, August 2003.
36. Belcastro, C. M., and Beicastro, C. M., "On the Validation of Safety Critical Aircraft Systems, Part I: An Overview of Experimental Methods," Proceedings of the Guidance, Navigation, and Control Conference, Austin TX, August 2003.