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:
Research Article
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

Internet

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

Ejemplares similares