elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Privacy Policy | Accessibility | 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. In: 41st IEEE/AIAA Digital Avionics Systems Conference, DASC 2022. Digital Avionics Systems Conference (DASC), 2022-09-18 - 2022-09-22, Portsmouth, USA. doi: 10.1109/DASC55683.2022.9925883. ISBN 978-166548607-1. ISSN 2155-7195.

[img] PDF
5MB

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 iDORCID Put Code
Ahlbrecht, AlexanderUNSPECIFIEDUNSPECIFIEDUNSPECIFIED
Durak, UmutUNSPECIFIEDhttps://orcid.org/0000-0002-2928-1710177790610
Date:2022
Journal or Publication Title:41st IEEE/AIAA Digital Avionics Systems Conference, DASC 2022
Refereed publication:No
Open Access:Yes
Gold Open Access:No
In SCOPUS:Yes
In ISI Web of Science:No
DOI:10.1109/DASC55683.2022.9925883
ISSN:2155-7195
ISBN:978-166548607-1
Status:Published
Keywords:Safety, Coverage, Metrics, MBSE, STPA, SysML
Event Title:Digital Avionics Systems Conference (DASC)
Event Location:Portsmouth, USA
Event Type:international Conference
Event Start Date:18 September 2022
Event End Date:22 September 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:11 Feb 2025 07:29

Repository Staff Only: item control page

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