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

Toward Safe Intelligent Unmanned Aircraft Using Formal Methods and Runtime Monitoring

Torens, Christoph and 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. pp. 107-146. doi: 10.2514/4.104794. ISBN 978-1-62410-478-7.

Full text not available from this repository.

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


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.

Item URL in elib:https://elib.dlr.de/126354/
Document Type:Book Section
Title:Toward Safe Intelligent Unmanned Aircraft Using Formal Methods and Runtime Monitoring
AuthorsInstitution or Email of AuthorsAuthor's ORCID iDORCID Put Code
Torens, ChristophUNSPECIFIEDhttps://orcid.org/0000-0002-0651-4390UNSPECIFIED
Date:January 2019
Journal or Publication Title:Advances in Computational Intelligence and Autonomy for Aerospace Systems
Refereed publication:Yes
Open Access:No
Gold Open Access:No
In ISI Web of Science:No
Page Range:pp. 107-146
EditorsEmailEditor's ORCID iDORCID Put Code
Publisher:American Institute of Aeronautics and Astronautics, Inc
Series Name:Progress in Astronautics and Aeronautics
Keywords:runtime monitoring, verification and validation, UAS, safety-critical software, autonomy
HGF - Research field:Aeronautics, Space and Transport
HGF - Program:Aeronautics
HGF - Program Themes:fixed-wing aircraft
DLR - Research area:Aeronautics
DLR - Program:L AR - Aircraft Research
DLR - Research theme (Project):L - Concepts and Integration (old)
Location: Braunschweig
Institutes and Institutions:Institute of Flight Systems > Unmanned Aircraft
Deposited By: Torens, Christoph
Deposited On:05 Feb 2019 14:55
Last Modified:05 Feb 2019 14:55

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.