@inproceedings{baa30e3a4ac946fa96e4c4f0a8ddceb4,
title = "QP based framework for development and formal verification of flight control software of UAV",
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.",
keywords = "Inference machine, OCL, Software Verification, UML",
author = "Yuchao Zhang and Guoqi Li and Juan Zhang",
year = "2011",
doi = "10.1007/978-3-642-23881-9\_1",
language = "英语",
isbn = "9783642238802",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
number = "PART 1",
pages = "1--8",
booktitle = "Artificial Intelligence and Computational Intelligence - Third International Conference, AICI 2011, Proceedings",
edition = "PART 1",
note = "3rd International Conference on Artificial Intelligence and Computational Intelligence, AICI 2011 ; Conference date: 24-09-2011 Through 25-09-2011",
}