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

Model-Based STPA: Enabling Safety Analysis Coverage Assessment with Formalization

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.

[img] 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:
AuthorsInstitution or Email of AuthorsAuthor's ORCID iD
Ahlbrecht, AlexanderAlexander.Ahlbrecht (at) dlr.deUNSPECIFIED
Durak, UmutUmut.Durak (at) dlr.deUNSPECIFIED
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

Browse
Search
Help & Contact
Information
electronic library is running on EPrints 3.3.12
Website and database design: Copyright © German Aerospace Center (DLR). All rights reserved.