elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Impressum | Datenschutz | Kontakt | English
Schriftgröße: [-] Text [+]

Integrating Safety into MBSE Processes with Formal Methods

Ahlbrecht, Alexander / A.A. und 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

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

Kurzfassung

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.

elib-URL des Eintrags:https://elib.dlr.de/148342/
Dokumentart:Konferenzbeitrag (Vortrag)
Titel:Integrating Safety into MBSE Processes with Formal Methods
Autoren:
AutorenInstitution oder E-Mail-AdresseAutoren-ORCID-iDORCID Put Code
Ahlbrecht, Alexander / A.A.alexander.ahlbrecht (at) dlr.deNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Durak, UmutUmut.Durak (at) dlr.dehttps://orcid.org/0000-0002-2928-1710NICHT SPEZIFIZIERT
Datum:November 2021
Erschienen in:40th AIAA/IEEE Digital Avionics Systems Conference, DASC 2021
Referierte Publikation:Nein
Open Access:Ja
Gold Open Access:Nein
In SCOPUS:Ja
In ISI Web of Science:Nein
DOI:10.1109/DASC52595.2021.9594315
ISSN:2155-7195
Status:veröffentlicht
Stichwörter:MBSE, SysML, STPA, Safety, OCL
Veranstaltungstitel:Digital Avionics Systems Conference (DASC)
Veranstaltungsort:San Antonio, Texas, USA
Veranstaltungsart:internationale Konferenz
Veranstaltungsbeginn:3 Oktober 2021
Veranstaltungsende:7 Oktober 2021
HGF - Forschungsbereich:Luftfahrt, Raumfahrt und Verkehr
HGF - Programm:Verkehr
HGF - Programmthema:Straßenverkehr
DLR - Schwerpunkt:Verkehr
DLR - Forschungsgebiet:V ST Straßenverkehr
DLR - Teilgebiet (Projekt, Vorhaben):V - NGC KoFiF (alt)
Standort: Braunschweig
Institute & Einrichtungen:Institut für Flugsystemtechnik
Institut für Flugsystemtechnik > Sichere Systeme und System Engineering
Hinterlegt von: Ahlbrecht, Alexander
Hinterlegt am:31 Jan 2022 11:54
Letzte Änderung:24 Apr 2024 20:46

Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags

Blättern
Suchen
Hilfe & Kontakt
Informationen
electronic library verwendet EPrints 3.3.12
Gestaltung Webseite und Datenbank: Copyright © Deutsches Zentrum für Luft- und Raumfahrt (DLR). Alle Rechte vorbehalten.