Verification of flight software with karnough map-based checking

IEEE Aerospace Conference Proceedings

Volumn , Issue , 2007, Pages

  Jaw, Link ^a   Tsai, W T ^b   Homan, David ^c   Keller, Kirby ^d  

^a Scientific Monitoring Inc   (United States)

^b Arizona State University   (United States)

^c AIR FORCE RESEARCH LABORATORY   (United States)

^d BOEING COMPANY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

C (PROGRAMMING LANGUAGE); COMPUTATIONAL COMPLEXITY; DECISION MAKING; FLIGHT CONTROL SYSTEMS; SPACE FLIGHT; UNMANNED VEHICLES; VERIFICATION;

AIRCRAFT ACTUATION SYSTEMS; FLIGHT SOFTWARE; SOFTWARE CHECKING;

COMPUTER SOFTWARE;

EID: 34548754995     PISSN: 1095323X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/AERO.2007.352765     Document Type: Conference Paper

References (24)

1. Homan, David; "Future of Integrated Health Management in Vehicle Control Systems;" presentation at the AFRL ISHM (Integrated System Health Management) Workshop, August 2004.
2. Ngo, A. D.; "ISHM Role in Adaptive Guidance and Control;" presentation at the AFRLISHM (Integrated System Health Management) Workshop, August 2004.
3. Crum, V. W., et al.; "Validation & Verification of Intelligent and Adaptive Control Systems;" Proceedings of IEEE Aerospace Conference, March 2004.
4. st Century, October, 2002.
5. Yilmaz, L. and Balci, O.; "Object-oriented Simulation Model Validation and Verification;" Proceedings of the 1997 Summer Computer Simulation Conference, July, 1997.
6. st Century, October, 2002.
7. Defense Modeling and Simulation Office (DMSO); "DoD Verification, Validation, and Accreditation (VV&A) Recommended Practices Guide;" May 13, 2003.
8. st Century, October, 2002.
9. st Century, October, 2002.
10. Crum, V.; "Certification Techniques for Advanced Flight Control Systems;" presented at the Safe and Secure Systems Airworthiness Certification R&D Symposium; Dayton, Ohio; September 2006.
11. Jaw, L. and Wang, William; "A Run-time Test System to Mature Intelligent System/Vehicle Capabilities;" Proceedings of IEEE Aerospace Conference, March, 2004.
12. P. Coad and E. Yourdon, Object-Oriented Design, Yourdon Press, Englewood Cliffs, NJ, 1991.
13. S. Shlaer and S. Mellor, Object Lifecycles: Modeling the Eorld in States, Yourdon Press, Englewood Cliffs, NJ, 1992.
14. M. Drake, W. T. Tsai, and W. Xie, "Document-Driven Analysis: Description and Formalization", in Special Issue on Real-World Applications, Journal of Object-Oriented Programming, Nov./Dec. 1992, pp. 33-50.
15. B. W. Boehm, "Verifying and Validating Software Requirements and Design Specifications" IEEE Software Vol. 1, No. 1, 1984, pp. 75-88.
16. C. L. Heitmeyer, R. D. Jeffords, and B. G. Labaw, "Automated Consistency Checking of Requirements Specifications", ACM Teansactions on Software Engineering and Methodology, Vol. 5, No. 3, July 1996, pp.231-261.
17. Zs. Pap, I. Majzik, A. Pataricza, "Checking General Safety Criteria on UML Statecharts", SAFECOMP 2001, pp. 46-55.
18. W. T. Tsai, R. Paul, L. Yu, X. Wei, and F. Zhu, "Rapid Pattern-Oriented Scenario-Based Testing for Embedded Systems" to appear in Software Evolution with UML and XML, edited by H. Yang, 2004.
19. T. Tsai, W. Xie, I. A. Zualkernan and S. K. Musukula, "A Framework for Systematic Testing of Software Specifications", Proc. of International Conference on Software Engineering and Knowledge Engineering, 1993, pp. 380-387.
20. C. L. Heitmeyer, R. D. Jeffords, and B. G. Labaw, "Automated Consistency Checking of Requirements Specifications", ACM Teansactions on Software Engineering and Methodology, Vol. 5, No. 3, July 1996, pp.231-261.
21. M. P.E. Heimdahl and N. G. Leveson, "Completeness and Consistency in Hierarchical State-based Requirements", IEEE Transactions on Software Engineering, Vol. 22, No. 6 June 1996, pp. 363-377.
22. Zs. Pap, I. Majzik, A. Pataricza, and A. Szegi, "Completeness and Consistency Analysis of UML Statechart Specifications", In Proc. IEEE Design and Diagnostics of Electronic Circuits and Systems Workshop (DDECS'2001), Gyo′r, Hungary, 18-20 April, 2001, pp. 83-90.
23. UCM (Use Case Map): http://www.usecasemaps.org/index.shtml.
24. W. T. Tsai, L. Yu, F. Zhu and R. Paul. "Rapid Verification of Embedded Systems Using Patterns", Proceedings of IEEE Annual International Computer Software and Applications Conference (COMPSAC), 2003. pp. 466-471.