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

ABSTRACT: 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 prope

SUBMITTER: Xu H 

PROVIDER: S-EPMC5137893 | biostudies-literature | 2016

REPOSITORIES: biostudies-literature