Dataset Information

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

SUBMITTER: Xu H

PROVIDER: S-EPMC5137893 | biostudies-literature | 2016

REPOSITORIES: biostudies-literature

ACCESS DATA

Publications

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

Xu Haiyang H Wang Ping P

PloS one 20161205 12

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 t ...[more]

PMID: 27918594

Similar Datasets

Project description:The goal of the present work was to evaluate the accuracy of a plastic scintillation detector (PSD) system to perform in-phantom dosimetry during 192Ir high dose rate (HDR) brachytherapy treatments.A PSD system capable of stem effect removal was built. A red-green-blue photodiode connected to a dual-channel electrometer was used to detect the scintillation light emitted from a green scintillation component and transmitted along a plastic optical fiber. A clinically relevant prostate treatment plan was built using the HDR brachytherapy treatment planning system. An in-house fabricated template was used for accurate positioning of the catheters, and treatment delivery was performed in a water phantom. Eleven catheters were inserted and used for dose delivery from 192Ir radioactive source, while two others were used to mimic dosimetry at the rectum wall and in the urethra using a PSD. The measured dose and dose rate data were compared to the expected values from the planning system. The importance of removing stem effects from in vivo dosimetry using a PSD during 192Ir HDR brachytherapy treatments was assessed. Applications for dwell position error detection and temporal verification of the treatment delivery were also investigated.In-phantom dosimetry measurements of the treatment plan led to a ratio to the expected dose of 1.003 +/- 0.004 with the PSD at different positions in the urethra and 1.043 +/- 0.003 with the PSD inserted in the rectum. Verification for the urethra of dose delivered within each catheter and at specific dwell positions led to average measured to expected ratios of 1.015 +/- 0.019 and 1.014 +/- 0.020, respectively. These values at the rectum wall were 1.059 +/- 0.045 within each catheter and 1.025 +/- 0.028 for specific dwell positions. The ability to detect positioning errors of the source depended of the tolerance on the difference to the expected value. A 5-mm displacement of the source was detected by the PSD system from 78% to 100% of the time depending on the acceptable range value. The implementation of a stem effect removal technique was shown to be necessary, particularly when calculating doses at specific dwell positions, and allowed decreasing the number of false-error detections-the detection of an error when it should not be the case--from 19 to 1 for a 5% threshold out of 43 measurements. The use of the PSD system to perform temporal verification of elapsed time by the source in each catheter--generally on the order of minutes--was shown to be in agreement within a couple of seconds with the treatment planWe showed that the PSD system used in this study, which was capable of stem effect removal, can perform accurate dosimetry during 192Ir HDR brachytherapy treatment in a water phantom. The system presented here shows some clear advantages over previously proposed dosimetry systems for HDR brachytherapy, and it has the potential for various online verifications of treatment delivery quality.

Dataset Information

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

Publications

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

Similar Datasets

OmicsDI is part of the ELIXIR infrastructure