Fränzle, Martin and Hagemann, Willem and Damm, Werner and Rakow, Astrid and Swaminathan, Mani (2023) Safer Than Perception: Assuring Confidence in Safety-Critical Decisions of Automated Vehicles. In: Applicable Formal Methods for Safe Industrial Products Lecture Notes in Computer Science, 14165. Springer Cham. pp. 180-201. doi: 10.1007/978-3-031-40132-9. ISBN 978-3-031-40131-2.
![]() |
PDF
- Only accessible within DLR
578kB |
Official URL: https://link.springer.com/book/10.1007/978-3-031-40132-9
Abstract
We address one of the key challenges in assuring safety of autonomous cyber-physical systems that rely on learning-enabled classification within their environmental perception: How can we achieve confidence in the perception chain, especially when dealing with percepts safeguarding critical manoeuvres? We present a methodology which allows to mathematically prove that the risk of misevaluating a safety-critical guard conditions referring to environmental artefacts can be bounded to a considerably lower frequency than the risk of individual misclassifications, and can thereby be adjusted to a value less than a given level of societally accepted risk.
Item URL in elib: | https://elib.dlr.de/196720/ | ||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Document Type: | Contribution to a Collection | ||||||||||||||||||||||||
Title: | Safer Than Perception: Assuring Confidence in Safety-Critical Decisions of Automated Vehicles | ||||||||||||||||||||||||
Authors: |
| ||||||||||||||||||||||||
Date: | 16 August 2023 | ||||||||||||||||||||||||
Journal or Publication Title: | Applicable Formal Methods for Safe Industrial Products | ||||||||||||||||||||||||
Refereed publication: | No | ||||||||||||||||||||||||
Open Access: | No | ||||||||||||||||||||||||
Gold Open Access: | No | ||||||||||||||||||||||||
In SCOPUS: | No | ||||||||||||||||||||||||
In ISI Web of Science: | No | ||||||||||||||||||||||||
Volume: | 14165 | ||||||||||||||||||||||||
DOI: | 10.1007/978-3-031-40132-9 | ||||||||||||||||||||||||
Page Range: | pp. 180-201 | ||||||||||||||||||||||||
Editors: |
| ||||||||||||||||||||||||
Publisher: | Springer Cham | ||||||||||||||||||||||||
Series Name: | Lecture Notes in Computer Science | ||||||||||||||||||||||||
ISBN: | 978-3-031-40131-2 | ||||||||||||||||||||||||
Status: | Published | ||||||||||||||||||||||||
Keywords: | Highly Automated Vehicles, Learning-enabled cyber physical systems, Learning Algorithms, Safety Assurance, Perception Chain | ||||||||||||||||||||||||
HGF - Research field: | Aeronautics, Space and Transport | ||||||||||||||||||||||||
HGF - Program: | Transport | ||||||||||||||||||||||||
HGF - Program Themes: | Road Transport | ||||||||||||||||||||||||
DLR - Research area: | Transport | ||||||||||||||||||||||||
DLR - Program: | V ST Straßenverkehr | ||||||||||||||||||||||||
DLR - Research theme (Project): | V - V&V4NGC - Methoden, Prozesse und Werkzeugketten für die Validierung & Verifikation von NGC | ||||||||||||||||||||||||
Location: | Oldenburg | ||||||||||||||||||||||||
Institutes and Institutions: | Institute of Systems Engineering for Future Mobility > Systems Theory and Design | ||||||||||||||||||||||||
Deposited By: | Hagemann, Willem | ||||||||||||||||||||||||
Deposited On: | 31 Aug 2023 08:59 | ||||||||||||||||||||||||
Last Modified: | 31 Aug 2023 08:59 |
Repository Staff Only: item control page