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

Toward Safe Intelligent Unmanned Aircraft Using Formal Methods and Runtime Monitoring

Torens, Christoph und Adolf, Florian-Michael (2019) Toward Safe Intelligent Unmanned Aircraft Using Formal Methods and Runtime Monitoring. In: Advances in Computational Intelligence and Autonomy for Aerospace Systems Progress in Astronautics and Aeronautics, 254 (2). American Institute of Aeronautics and Astronautics, Inc. Seiten 107-146. doi: 10.2514/4.104794. ISBN 978-1-62410-478-7.

Dieses Archiv kann nicht den Volltext zur Verfügung stellen.

Offizielle URL: https://arc.aiaa.org/doi/abs/10.2514/5.9781624104794.0107.0146

Kurzfassung

Future unmanned aircraft are expected to be autonomous, perform missions automatically, and act intelligently when unforeseen events or degraded situations occur. This results in enormous complexity for modeling and computing the system states, system behavior, and environmental data. Furthermore, the aerospace domain is a safety-critical domain, enforcing specific levels of safety and compliance to extensive standards. Therefore, software has to be of high quality and free of safety-critical errors. But the verification and validation of a complex system, especially the high-level software components, is a critical element. Because of software complexity and the fact that the state-space of theoretically possible executions cannot be covered by testing, a holistic testing concept, utilizing complementary test methodologies, is required. This chapter discusses the high-level autonomous capabilities of the German Aerospace Center (DLR) Autonomous Research Testbed for Intelligent Systems (ARTIS) framework and focuses on the challenges and best practice approach for verification and certification for autonomous unmanned aircraft. One of the first challenges for developing an intelligent unmanned aircraft is the development of a high-quality set of requirements that describes the autonomous behavior of the system. Furthermore, this work proposes the development of a generic set of high-level requirements describing the targeted level of autonomy. To complement traditional verification methodologies, which also play an important role, model checking is also used to proof consistency of behavior and compliance to the requirements. Another way to assure safety, specifically for autonomous behavior, is to utilize runtime monitoring concepts. The idea is to supervise the execution and escalate any error as soon as it occurs to a high-level decision-making unit, such as a pilot. Furthermore, it is commonly understood that self-awareness, maintenance of information about the system status, is necessary to be able to act intelligently.

elib-URL des Eintrags:https://elib.dlr.de/126354/
Dokumentart:Beitrag in einem Lehr- oder Fachbuch
Titel:Toward Safe Intelligent Unmanned Aircraft Using Formal Methods and Runtime Monitoring
Autoren:
AutorenInstitution oder E-Mail-AdresseAutoren-ORCID-iDORCID Put Code
Torens, ChristophChristoph.Torens (at) dlr.dehttps://orcid.org/0000-0002-0651-4390NICHT SPEZIFIZIERT
Adolf, Florian-MichaelFlorian.Adolf (at) dlr.deNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Datum:Januar 2019
Erschienen in:Advances in Computational Intelligence and Autonomy for Aerospace Systems
Referierte Publikation:Ja
Open Access:Nein
Gold Open Access:Nein
In SCOPUS:Nein
In ISI Web of Science:Nein
Band:254
DOI:10.2514/4.104794
Seitenbereich:Seiten 107-146
Herausgeber:
HerausgeberInstitution und/oder E-Mail-Adresse der HerausgeberHerausgeber-ORCID-iDORCID Put Code
Valasek, JohnTexas A&M UniversityNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Verlag:American Institute of Aeronautics and Astronautics, Inc
Name der Reihe:Progress in Astronautics and Aeronautics
ISBN:978-1-62410-478-7
Status:veröffentlicht
Stichwörter:runtime monitoring, verification and validation, UAS, safety-critical software, autonomy
HGF - Forschungsbereich:Luftfahrt, Raumfahrt und Verkehr
HGF - Programm:Luftfahrt
HGF - Programmthema:Flugzeuge
DLR - Schwerpunkt:Luftfahrt
DLR - Forschungsgebiet:L AR - Aircraft Research
DLR - Teilgebiet (Projekt, Vorhaben):L - Konzepte und Integration (alt)
Standort: Braunschweig
Institute & Einrichtungen:Institut für Flugsystemtechnik > Unbemannte Luftfahrzeuge
Hinterlegt von: Torens, Christoph
Hinterlegt am:05 Feb 2019 14:55
Letzte Änderung:05 Feb 2019 14:55

Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags

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