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. In: 40th AIAA/IEEE Digital Avionics Systems Conference, DASC 2021. Digital Avionics Systems Conference (DASC), 2021-10-03 - 2021-10-07, San Antonio, Texas, USA. doi: 10.1109/DASC52595.2021.9594315. ISSN 2155-7195.

[img] PDF

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


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
AuthorsInstitution or Email of AuthorsAuthor's ORCID iDORCID Put Code
Durak, UmutUNSPECIFIEDhttps://orcid.org/0000-0002-2928-1710UNSPECIFIED
Date:November 2021
Journal or Publication Title:40th AIAA/IEEE Digital Avionics Systems Conference, DASC 2021
Refereed publication:No
Open Access:Yes
Gold Open Access:No
In ISI Web of Science:No
Keywords:MBSE, SysML, STPA, Safety, OCL
Event Title:Digital Avionics Systems Conference (DASC)
Event Location:San Antonio, Texas, USA
Event Type:international Conference
Event Start Date:3 October 2021
Event End Date:7 October 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 (old)
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:24 Apr 2024 20:46

Repository Staff Only: item control page

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