DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Privacy Policy | Contact | Deutsch
Fontsize: [-] Text [+]

Certification and Software Verification Considerations for Autonomous Unmanned Aircraft

Torens, Christoph and Adolf, Florian-Michael and Goormann, Lukas (2014) Certification and Software Verification Considerations for Autonomous Unmanned Aircraft. Journal of Aerospace Information Systems, 11 (10), pp. 649-664. American Institute of Aeronautics and Astronautics (AIAA). doi: 10.2514/1.I010163. ISSN 1940-3151.

Full text not available from this repository.

Official URL: http://dx.doi.org/10.2514/1.I010163


Software verification for highly automatic unmanned aerial vehicles is not only a problem itself, it is furthermore constrained by certification standards and regulatory rules. These, however, are themselves still under development. As a top-level view, the current status of unmanned aerial vehicle verification, certification, and regulation is addressed and corresponding challenges are discussed. From a low-level view, this work presents the processes and tools that were established for the software development, verification, and validation of the unmanned rotorcraft software testbed ARTIS. Large efforts have been put into the software verification process to cope with the growing complexity of the autonomous system and the validation of the software behavior. Automated tests drive the development of the mission planning, mission management, and sensor fusion systems. High-level behavior is tested by complex simulation scenarios. To connect the aforementioned top- and low-level views, a comparison between the RTCA DO-178C standard (“Software Considerations in Airborne Systems and Equipment Certification”) and corresponding ARTIS software development practices is elaborated to assess the efforts that would be necessary for a small research team to develop software according to the standard. It shows that the currently used practices are not incompatible, but there are still some gaps to the desired level of compliance.

Item URL in elib:https://elib.dlr.de/92944/
Document Type:Article
Title:Certification and Software Verification Considerations for Autonomous Unmanned Aircraft
AuthorsInstitution or Email of AuthorsAuthor's ORCID iDORCID Put Code
Torens, ChristophUNSPECIFIEDhttps://orcid.org/0000-0002-0651-4390UNSPECIFIED
Date:4 July 2014
Journal or Publication Title:Journal of Aerospace Information Systems
Refereed publication:Yes
Open Access:No
Gold Open Access:No
In ISI Web of Science:Yes
Page Range:pp. 649-664
EditorsEmailEditor's ORCID iDORCID Put Code
Srivastava, Ashok N.NASA Ames Research CenterUNSPECIFIEDUNSPECIFIED
Atkins, Ella M.University of MichiganUNSPECIFIEDUNSPECIFIED
Banerjee, ArindamUniversity of MinnesotaUNSPECIFIEDUNSPECIFIED
Brat, Guillaume P.NASA Ames Research CenterUNSPECIFIEDUNSPECIFIED
Ferrari, SilviaDuke UniversityUNSPECIFIEDUNSPECIFIED
How, JonathanMassachusetts Institute of TechnologyUNSPECIFIEDUNSPECIFIED
Modiano, EytanMassachusetts Institute of TechnologyUNSPECIFIEDUNSPECIFIED
Publisher:American Institute of Aeronautics and Astronautics (AIAA)
Series Name:Special Section on Software Challenges in Aerospace
Keywords:Certification, Software Verification, Autonomous Systems, UAS, UAV, DO-178
HGF - Research field:Aeronautics, Space and Transport
HGF - Program:Aeronautics
HGF - Program Themes:rotorcraft
DLR - Research area:Aeronautics
DLR - Program:L RR - Rotorcraft Research
DLR - Research theme (Project):L - The Smart Rotorcraft (old)
Location: Braunschweig
Institutes and Institutions:Institute of Flight Systems > Unmanned Aircraft
Deposited By: Torens, Christoph
Deposited On:26 Jan 2015 13:01
Last Modified:14 Dec 2023 10:07

Repository Staff Only: item control page

Help & Contact
electronic library is running on EPrints 3.3.12
Website and database design: Copyright © German Aerospace Center (DLR). All rights reserved.