Abstract
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.
Chapter PDF
References
Quigley, M., Goodrich, M.A., Beard, R.W.: Semi-Autonomous Human-UAV Interfaces for Fixed- Wing Mini-UAVs. In: Proceedings of 2004 IEEE/RSJ International Conference on Intelligent Robots and Systems, pp. 2457–2462 (2004)
Fang, Z.: Output Feedback Control of a Quadrotor UAV Using Neural Networks. In: Proceedings of the 27th Chinese Control Conference, pp. 349–353 (2008)
Warmer, J., Kleppe, A.: The Object Constraint Language (2003)
Cai, G., Gu, T., Lam, C.P.: An approach for automatic test case generation from UML Statechart. In: Proceedings of the 9th Joint International Computer Conference (2003)
Koo, T.J., Sinopoli, B.: Aformal approach to reactive system design: a UAV flight management system design example. In: Proceedings of IEEE International Symposium on Computer-Aided Control System Design, Hawaii (1999)
Harei, D., Naamed, A.: The statement semantics of statecharts. In: Proceeding of the ACM Transactions on Software Engineering and Methodology, pp. 293–333 (1996)
Gunmath, P.: OCL exception handling. Texas A & M University, Texas (2004)
Nentwich, C., Emmerich, W., Finkelstein, A.: Flexible consistency checking. In: Proceedings of the ACM Transactions on Software Engineering and Methodology, pp. 28–63 (2003)
Muller, E., Zenker, A.: Business services as actors of knowledge transformation the role of KIBS in regional and innovation systems. Research Policy, 75–86 (1993)
Lauriente, M., Rolincik M.: An on-line expert system for diagnosing environmentally induced spacecraft anomalies using clips. N9332097 (1993)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zhang, Y., Li, G., Zhang, J. (2011). QP Based Framework for Development and Formal Verification of Flight Control Software of UAV. In: Deng, H., Miao, D., Lei, J., Wang, F.L. (eds) Artificial Intelligence and Computational Intelligence. AICI 2011. Lecture Notes in Computer Science(), vol 7002. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-23881-9_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-23881-9_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-23880-2
Online ISBN: 978-3-642-23881-9
eBook Packages: Computer ScienceComputer Science (R0)