Ahlbrecht, Alexander and Durak, Umut (2022) Model-Based STPA: Enabling Safety Analysis Coverage Assessment with Formalization. Digital Avionics Systems Conference (DASC), 18.-22. Sep. 2022, Portsmouth, USA.
![]() |
PDF
3MB |
Abstract
Urban Air Mobility introduces safety-related challenges for future avionics systems. The associated need for increased autonomy demands novel functions based on highperformance algorithms. To provide such functionality in future air vehicles of all sizes, the trend is towards centralized and powerful computing platforms. That turns avionics into a complex, integrated, and software-intensive aircraft system. Simultaneously, this increases the need for adapted safety analyses. The System-Theoretic Process Analysis is a promising approach to analyze the safety of software-intensive systems. It enables consideration of interaction and specification issues additional to component failures. However, even when using state-of-the-art analyses such as STPA, claiming the sufficiency of the safety analysis efforts is a challenging tasks for systems with everincreasing complexity. To address this issue, this paper extends the coverage analysis concepts known from the software development to safety analyses. This is achieved with the utilization of failure graphs, i.e., formalized analysis summaries that can be automatically created during the safety analysis. Failure graphs have two advantages: they provide the possibility for visual analysis state indication and can be used to calculate various statistical metrics. Thereby, they allow to improve the knowledge about the depth, breadth, and state of the safety analysis. Both visual and statistical consideration complement each other to enhance the safety analysis coverage assessment for future avionic systems. To show all capabilities, the analysis of a flight assistance system serves as demonstrator.
Item URL in elib: | https://elib.dlr.de/187138/ | |||||||||
---|---|---|---|---|---|---|---|---|---|---|
Document Type: | Conference or Workshop Item (Speech) | |||||||||
Title: | Model-Based STPA: Enabling Safety Analysis Coverage Assessment with Formalization | |||||||||
Authors: |
| |||||||||
Date: | 2022 | |||||||||
Refereed publication: | No | |||||||||
Open Access: | Yes | |||||||||
Gold Open Access: | No | |||||||||
In SCOPUS: | No | |||||||||
In ISI Web of Science: | No | |||||||||
Status: | Accepted | |||||||||
Keywords: | Safety, Coverage, Metrics, MBSE, STPA, SysML | |||||||||
Event Title: | Digital Avionics Systems Conference (DASC) | |||||||||
Event Location: | Portsmouth, USA | |||||||||
Event Type: | international Conference | |||||||||
Event Dates: | 18.-22. Sep. 2022 | |||||||||
HGF - Research field: | Aeronautics, Space and Transport | |||||||||
HGF - Program: | Aeronautics | |||||||||
HGF - Program Themes: | Components and Systems | |||||||||
DLR - Research area: | Aeronautics | |||||||||
DLR - Program: | L CS - Components and Systems | |||||||||
DLR - Research theme (Project): | L - Aircraft Systems | |||||||||
Location: | Braunschweig | |||||||||
Institutes and Institutions: | Institute of Flight Systems Institute of Flight Systems > Safety Critical Systems&Systems Engineering | |||||||||
Deposited By: | Ahlbrecht, Alexander | |||||||||
Deposited On: | 05 Sep 2022 11:18 | |||||||||
Last Modified: | 29 Nov 2022 18:38 |
Repository Staff Only: item control page