elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Impressum | Kontakt | English
Schriftgröße: [-] Text [+]

Certification and Software Verification Considerations for Autonomous Unmanned Aircraft

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

Dieses Archiv kann nicht den gesamten Text zur Verfügung stellen.

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

Kurzfassung

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.

Dokumentart:Zeitschriftenbeitrag
Titel:Certification and Software Verification Considerations for Autonomous Unmanned Aircraft
Autoren:
AutorenInstitution oder E-Mail-AdresseAutoren-ORCID
Torens, ChristophChristoph.Torens@dlr.deNICHT SPEZIFIZIERT
Adolf, Florian-Michaelflorian.adolf@dlr.deNICHT SPEZIFIZIERT
Goormann, Lukaslukas.goormann@dlr.deNICHT SPEZIFIZIERT
Datum:4 Juli 2014
Erschienen in:Journal of Aerospace Information Systems
Referierte Publikation:Ja
In Open Access:Nein
In SCOPUS:Nein
In ISI Web of Science:Ja
Band:11
DOI :10.2514/1.I010163
Seitenbereich:Seiten 649-664
Herausgeber:
HerausgeberInstitution und/oder E-Mail-Adresse der Herausgeber
Srivastava, Ashok N.NASA Ames Research Center
Atkins, Ella M.University of Michigan
Banerjee, ArindamUniversity of Minnesota
Brat, Guillaume P.NASA Ames Research Center
Ferrari, SilviaDuke University
How, JonathanMassachusetts Institute of Technology
Modiano, EytanMassachusetts Institute of Technology
Verlag:American Institute of Aeronautics and Astronautics
Name der Reihe:Special Section on Software Challenges in Aerospace
ISSN:1940-3151
Status:veröffentlicht
Stichwörter:Certification, Software Verification, Autonomous Systems, UAS, UAV, DO-178
HGF - Forschungsbereich:Luftfahrt, Raumfahrt und Verkehr
HGF - Programm:Luftfahrt
HGF - Programmthema:Hubschrauber
DLR - Schwerpunkt:Luftfahrt
DLR - Forschungsgebiet:L RR - Rotorcraft Research
DLR - Teilgebiet (Projekt, Vorhaben):L - Der intelligente Drehflügler
Standort: Braunschweig
Institute & Einrichtungen:Institut für Flugsystemtechnik > Unbemannte Luftfahrzeuge
Hinterlegt von: Torens, Christoph
Hinterlegt am:26 Jan 2015 13:01
Letzte Änderung:26 Jan 2015 13:01

Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags

Blättern
Suchen
Hilfe & Kontakt
Informationen
electronic library verwendet EPrints 3.3.12
Copyright © 2008-2013 Deutsches Zentrum für Luft- und Raumfahrt (DLR). Alle Rechte vorbehalten.