Torens, Christoph and Adolf, Florian-Michael (2016) Fail-Safe Systems from a UAS Guidance Perspective. In: Encyclopedia of Aerospace Engineering UAS. Wiley. pp. 1-15. doi: 10.1002/9780470686652.eae1147. ISBN 9780470686652.
Full text not available from this repository.
Official URL: http://onlinelibrary.wiley.com/doi/10.1002/9780470686652.eae1147/abstract
Abstract
Unmanned aircraft are complex cyber physical systems. As such, software is a vital part of the aircraft. The midterm perspective of safe integration of unmanned aircraft in our airspace requires such a software-driven system to be fail-safe. Today, all classes of unmanned aircraft heavily rely on software, especially since successively increasing degrees of autonomy have already been shown for onboard decision-making and automation of mission task elements. One important software component of an unmanned aircraft is its guidance software. Unlike an assistance system for supporting a human pilot on a manned aircraft, autonomous guidance software is supposed to allow for human independent but safe plan execution, in case the control link to the operator is interrupted. Thus, to ensure safety objectives are achieved without the conventional fall-back layer of the human pilot in the loop, such cases of lost data and controlling links require special attention. First, this chapter will discuss fail-safe systems implications for unmanned aircraft systems from a software requirements perspective. Second, we discuss software challenges and possibilities to achieve autonomy in flight from lessons learned with our flying rotorcraft research testbed. We analyze software in the loop tests mapped to an abstract set of orthogonal capabilities. Furthermore, we utilize formal requirement modeling and model checking techniques to complement traditional testing. As a result, we present a methodology and tools that are not constrained to the unmanned system at hand.
Item URL in elib: | https://elib.dlr.de/109669/ | ||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Document Type: | Contribution to a Collection | ||||||||||||||||||||||||
Title: | Fail-Safe Systems from a UAS Guidance Perspective | ||||||||||||||||||||||||
Authors: |
| ||||||||||||||||||||||||
Date: | 18 July 2016 | ||||||||||||||||||||||||
Journal or Publication Title: | Encyclopedia of Aerospace Engineering | ||||||||||||||||||||||||
Refereed publication: | Yes | ||||||||||||||||||||||||
Open Access: | No | ||||||||||||||||||||||||
Gold Open Access: | No | ||||||||||||||||||||||||
In SCOPUS: | No | ||||||||||||||||||||||||
In ISI Web of Science: | No | ||||||||||||||||||||||||
DOI: | 10.1002/9780470686652.eae1147 | ||||||||||||||||||||||||
Page Range: | pp. 1-15 | ||||||||||||||||||||||||
Editors: |
| ||||||||||||||||||||||||
Publisher: | Wiley | ||||||||||||||||||||||||
Series Name: | UAS | ||||||||||||||||||||||||
ISBN: | 9780470686652 | ||||||||||||||||||||||||
Status: | Published | ||||||||||||||||||||||||
Keywords: | Fail-safe systems;unmanned aircraft;formal requirements;design verification;software verification;runtime monitoring;runtime verification;software safety | ||||||||||||||||||||||||
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: | 15 Dec 2016 15:49 | ||||||||||||||||||||||||
Last Modified: | 13 Feb 2017 11:25 |
Repository Staff Only: item control page