论文信息 - QP Based Framework for Development and Formal Verification of Flight Control Software of UAV

QP Based Framework for Development and Formal Verification of Flight Control Software of UAV

UAV is widely invested both in military and academic fields. The development and verification of UAV flight control software is an importance issues and hot topic. In this paper, a QP based method is present to develop and formally verify the UAV flight control software. The method combines the UML and OCL constraint language and output the UML file that constrained by OCL to XMI file. Then we input the XMI file to rule inference engine as facts. Aided by safety rules, the flight control software could be automatically verified. The method has many advantages and is hopeful to enhance the quality of UAV flight control software. It can also be used in similar scenarios.

[1] A. Zenker,et al. Business services as actors of knowledge transformation: the role of KIBS in regional and national innovation systems , 2001 .

[2] Wolfgang Emmerich,et al. Flexible consistency checking , 2003, TSEM.

[3] Pramod Gurunath. OCL exception handling , 2004 .

[4] Harry C. Koons,et al. An on-line expert system for diagnosing environmentally induced spacecraft anomalies using CLIPS , 1993 .

[5] Jos Warmer,et al. The object constraint language , 1998 .

[6] A. Sangiovanni-Vincentelli,et al. A formal approach to reactive system design: unmanned aerial vehicle flight management system design example , 1999, Proceedings of the 1999 IEEE International Symposium on Computer Aided Control System Design (Cat. No.99TH8404).

[7] Anneke Kleppe,et al. The Object Constraint Language: Getting Your Models Ready for MDA , 2003 .

[8] Zhang Zhi,et al. Feedback linearization and continuous sliding mode control for a quadrotor UAV , 2008, 2008 27th Chinese Control Conference.

[9] Sarangapani Jagannathan,et al. Output Feedback Control of a Quadrotor UAV Using Neural Networks , 2010, IEEE Transactions on Neural Networks.

[10] Amnon Naamad,et al. The STATEMATE semantics of statecharts , 1996, TSEM.

[11] Randal W. Beard,et al. Semi-autonomous human-UAV interfaces for fixed-wing mini-UAVs , 2004, 2004 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) (IEEE Cat. No.04CH37566).