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...
Autores principales: | , |
---|---|
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 |