Cargando…

Real-Time Reliability Verification for UAV Flight Control System Supporting Airworthiness Certification

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 f...

Descripción completa

Detalles Bibliográficos
Autores principales: Xu, Haiyang, Wang, Ping
Formato: Online Artículo Texto
Lenguaje:English
Publicado: Public Library of Science 2016
Materias:
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5137893/
https://www.ncbi.nlm.nih.gov/pubmed/27918594
http://dx.doi.org/10.1371/journal.pone.0167168
_version_ 1782471976423522304
author Xu, Haiyang
Wang, Ping
author_facet Xu, Haiyang
Wang, Ping
author_sort Xu, Haiyang
collection PubMed
description 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.
format Online
Article
Text
id pubmed-5137893
institution National Center for Biotechnology Information
language English
publishDate 2016
publisher Public Library of Science
record_format MEDLINE/PubMed
spelling pubmed-51378932016-12-21 Real-Time Reliability Verification for UAV Flight Control System Supporting Airworthiness Certification Xu, Haiyang Wang, Ping PLoS One Research Article 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. Public Library of Science 2016-12-05 /pmc/articles/PMC5137893/ /pubmed/27918594 http://dx.doi.org/10.1371/journal.pone.0167168 Text en © 2016 Xu, Wang http://creativecommons.org/licenses/by/4.0/ This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0/) , which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited.
spellingShingle Research Article
Xu, Haiyang
Wang, Ping
Real-Time Reliability Verification for UAV Flight Control System Supporting Airworthiness Certification
title Real-Time Reliability Verification for UAV Flight Control System Supporting Airworthiness Certification
title_full Real-Time Reliability Verification for UAV Flight Control System Supporting Airworthiness Certification
title_fullStr Real-Time Reliability Verification for UAV Flight Control System Supporting Airworthiness Certification
title_full_unstemmed Real-Time Reliability Verification for UAV Flight Control System Supporting Airworthiness Certification
title_short Real-Time Reliability Verification for UAV Flight Control System Supporting Airworthiness Certification
title_sort real-time reliability verification for uav flight control system supporting airworthiness certification
topic Research Article
url https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5137893/
https://www.ncbi.nlm.nih.gov/pubmed/27918594
http://dx.doi.org/10.1371/journal.pone.0167168
work_keys_str_mv AT xuhaiyang realtimereliabilityverificationforuavflightcontrolsystemsupportingairworthinesscertification
AT wangping realtimereliabilityverificationforuavflightcontrolsystemsupportingairworthinesscertification