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

Integrating Safety into MBSE Processes with Formal Methods

Ahlbrecht, Alexander / A.A. and Durak, Umut (2021) Integrating Safety into MBSE Processes with Formal Methods. Digital Avionics Systems Conference (DASC), 03.-07. Okt. 2021, San Antonio, Texas, USA. doi: 10.1109/DASC52595.2021.9594315.

[img] PDF - Only accessible within DLR
1MB

Official URL: https://ieeexplore.ieee.org/document/9594315

Abstract

Emerging segments such as Urban Air Mobility require new safety-critical avionic systems. The complexity of these avionic systems has ever been increasing, but even more rapidly in the last two decades in form of the number of components, functions, and interactions. At the same time, demanding time-to-market requirements have to be adhered to by development companies. To cope with these challenges, agile development approaches are required that guarantee safety-by-construction. This paper presents an endeavor to tackle these challenges by holistic utilization of Model-based Systems Engineering, System-Theoretic Process Analysis, and formal methods. The approach is demonstrated in a use-case that analyzes a simplified Collision Avoidance System architecture. Results show that the presented approach is able to improve the development by automating and validating error-prone tasks of the safety assessment.

Item URL in elib:https://elib.dlr.de/148342/
Document Type:Conference or Workshop Item (Speech)
Title:Integrating Safety into MBSE Processes with Formal Methods
Authors:
AuthorsInstitution or Email of AuthorsAuthor's ORCID iD
Ahlbrecht, Alexander / A.A.alexander.ahlbrecht (at) dlr.deUNSPECIFIED
Durak, UmutUmut.Durak (at) dlr.dehttps://orcid.org/0000-0002-2928-1710
Date:November 2021
Refereed publication:No
Open Access:No
Gold Open Access:No
In SCOPUS:No
In ISI Web of Science:No
DOI :10.1109/DASC52595.2021.9594315
Status:Published
Keywords:MBSE, SysML, STPA, Safety, OCL
Event Title:Digital Avionics Systems Conference (DASC)
Event Location:San Antonio, Texas, USA
Event Type:international Conference
Event Dates:03.-07. Okt. 2021
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 - NGC KoFiF
Location: Braunschweig
Institutes and Institutions:Institute of Flight Systems
Institute of Flight Systems > Safety Critical Systems&Systems Engineering
Deposited By: Ahlbrecht, Alexander
Deposited On:31 Jan 2022 11:54
Last Modified:31 Jan 2022 11:54

Repository Staff Only: item control page

Browse
Search
Help & Contact
Information
electronic library is running on EPrints 3.3.12
Copyright © 2008-2017 German Aerospace Center (DLR). All rights reserved.