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. 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
5MB

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 iDORCID Put Code
Ahlbrecht, Alexander / A.A.UNSPECIFIEDUNSPECIFIEDUNSPECIFIED
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 SCOPUS:Yes
In ISI Web of Science:No
DOI:10.1109/DASC52595.2021.9594315
ISSN:2155-7195
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 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

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.