Volume 9 Number 4 (Apr. 2014)
Home > Archive > 2014 > Volume 9 Number 4 (Apr. 2014) >
JSW 2014 Vol.9(4): 800-806 ISSN: 1796-217X
doi: 10.4304/jsw.9.4.800-806

Modeling and Analyzing Flight Control Software of Unmanned Aerial Vehicle Using UML and B Method

Jiufu Liu1, Jianyong Zhou1, Chunsheng Liu1, Zhong Yang1, Zhisheng Wang1, Yifan Zhang2
1College of Automation, Nanjing University of Aeronautics and Astronautics, Nanjing, China
2Institute of Information Engineering, Henan University of Animal Husbandry Economy, Zhengzhou, China


Abstract—B is a formal method which enables the automatic generation of an executable code through successive refinements from an abstract specification. Unified Modeling Language (UML) specifications can be formally verified by analyzing the corresponding B specification, and integration of UML specifications and B method can overcomes the drawbacks of UML. In this paper the Class diagram of the flight control system is presented and each class operation is mapped to a B abstract machine. The flight control software behaviors are presented in the form of statecharts The B method is adopted to translate the statecharts into B specification of flight control software.Using UML and B method, flight control is refined and failure management is added. Finally proof obligations are presented to ensure the safety for the ertical control of artificial navigation of UAV.

Index Terms—Flight control software; UML; Class operation; Statechart; B method; Refinement

[PDF]

Cite: Jiufu Liu, Jianyong Zhou, Chunsheng Liu, Zhong Yang, Zhisheng Wang, Yifan Zhang, "Modeling and Analyzing Flight Control Software of Unmanned Aerial Vehicle Using UML and B Method," Journal of Software vol. 9, no. 4, pp. 800-806, 2014.

General Information

ISSN: 1796-217X (Online)
Frequency: Monthly
Editor-in-Chief: Prof. Antanas Verikas
Executive Editor: Ms. Yoyo Y. Zhou
Abstracting/ Indexing: DBLP, EBSCO, ProQuest, INSPEC, ULRICH's Periodicals Directory, WorldCat, etc
E-mail: jsw@iap.org
  • Aug 21, 2019 News!

    Papers published in JSW Vol 14, No 1- Vol 14 No 8 have been indexed by DBLP     [Click]

  • Jun 25, 2019 News!

    Vol.13, No.9 has been indexed by EI (Inspec).   [Click]

  • Aug 01, 2018 News!

    [CFP] 2020 the annual meeting of JSW Editorial Board, ICCSM 2020, will be held in Rome, Italy, July 17-19, 2020   [Click]

  • Jul 10, 2019 News!

    Vol 14, No.8 has been published with online version 4 original aritcles from 2 countries are published in this issue.    [Click]

  • Sep 12, 2019 News!

    Vol 14, No 10 has been published with online version 4 original aritcles from 2 countries are published in this issue      [Click]