Scan Science and Technology
Contact Leading Edge Experts & Companies
Airworthiness Certification
The Experts below are selected from a list of 735 Experts worldwide ranked by ideXlab platform
Haiyang Xu – 1st expert on this subject based on the ideXlab platform
-
real time reliability verification for uav flight control system supporting Airworthiness Certification
PLOS ONE, 2016Co-Authors: Haiyang Xu, Ping WangAbstract: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.
Ping Wang – 2nd expert on this subject based on the ideXlab platform
-
real time reliability verification for uav flight control system supporting Airworthiness Certification
PLOS ONE, 2016Co-Authors: Haiyang Xu, Ping WangAbstract: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.
Kimon P. Valavanis – 3rd expert on this subject based on the ideXlab platform
-
Current Manned Aviation Regulation
On Integrating Unmanned Aircraft Systems into the National Airspace System, 2020Co-Authors: Konstantinos Dalamagkidis, Kimon P. Valavanis, Les A. PieglAbstract:Current manned aviation regulation includes provisions for Airworthiness Certification of different aircraft types, maintenance requirements, aircraft registration and marking, pilot Certification, airspace classification, operating rules and special classes of vehicles among others.
-
A survey of unmanned aircraft systems regulation: Status and future perspectives
Control and Automation, 2008 16th Mediterranean Conference on, 2008Co-Authors: Konstantinos Dalamagkidis, Kimon P. Valavanis, Les A. PieglAbstract:Any aircraft, manned or unmanned, may enter safely and legally into the US National Airspace System (NAS) provided that it has been issued an Airworthiness certificate complying with Federal Aviation Administration (FAA) requirements. Unfortunately corresponding requirements, procedures and regulations for Airworthiness Certification of unmanned aircraft are in early development stages and flight of such systems is still restricted. This paper presents a survey of the current status of unmanned aircraft system (UAS) regulations both in the US and internationally, followed by brief overview of current manned aviation Airworthiness Certification procedures and requirements. Future perspectives of UAS regulation are discussed along with a proposed UAS classification for Certification purposes.
-
Current Status and Future Perspectives for Unmanned Aircraft System Operations in the US
Journal of Intelligent and Robotic Systems, 2008Co-Authors: Konstantinos Dalamagkidis, Kimon P. Valavanis, Les A. PieglAbstract:An aircraft (manned aircraft) may enter safely and legally into the\nUS National Airspace System if and only if it has an Airworthiness\ncertificate complying with Federal Aviation Administration requirements.\nAlthough corresponding requirements, procedures and regulations for\nunmanned aircraft are in early development stages, they are expected\nto be similar to those set for manned aviation. This paper presents\na brief overview of current Airworthiness Certification procedures\nand requirements for manned aviation, followed by a survey of the\ncurrent status of Unmanned Aircraft System (UAS) regulations in the\nUS but also internationally. Future perspectives of UAS regulation\nare discussed along with a proposed UAS classification for Certification\npurposes, presentation of a possible Certification roadmap, as well\nas regulatory paths for ultra-light UAS.