Open AccessReal-Time Reliability Verification for UAV Flight Control System Supporting Airworthiness Certification
Author(s) -
Hao Xu,
Ping Wang
Publication year - 2016
Publication title -
plos one
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.99
H-Index - 332
ISSN - 1932-6203
DOI - 10.1371/journal.pone.0167168
Subject(s) - airworthiness , computer science , certification , reliability (semiconductor) , software , property (philosophy) , transformation (genetics) , real time computing , control system , chart , model checking , reliability engineering , embedded system , programming language , engineering , power (physics) , philosophy , physics , biochemistry , chemistry , electrical engineering , statistics , epistemology , mathematics , quantum mechanics , political science , law , gene
In order to verify the real-time reliability of unmanned aerial vehicle (UAV) flight control system and comply with the airworthiness certification standard, we proposed a model-based integration framework for modeling and verification of time property. Combining with the advantages of MARTE, this framework uses class diagram to create the static model of software system, and utilizes state chart to create the dynamic model. In term of the defined transformation rules, the MARTE model could be transformed to formal integrated model, and the different part of the model could also be verified by using existing formal tools. For the real-time specifications of software system, we also proposed a generating algorithm for temporal logic formula, which could automatically extract real-time property from time-sensitive live sequence chart (TLSC). Finally, we modeled the simplified flight control system of UAV to check its real-time property. The results showed that the framework could be used to create the system model, as well as precisely analyze and verify the real-time reliability of UAV flight control system.