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

Erweiterung von MBSE Prozessen bei der Entwicklung sicherheitskritischer Systemarchitekturen durch die Nutzung Formaler Methoden

Ahlbrecht, Alexander / A.A. (2021) Erweiterung von MBSE Prozessen bei der Entwicklung sicherheitskritischer Systemarchitekturen durch die Nutzung Formaler Methoden. Master's. DLR-Interner Bericht. DLR-IB-FT-BS-2021-104. (Unpublished)

[img] PDF - Only accessible within DLR
7MB

Abstract

Die Komplexität von sicherheitskritischen Systemen ist seit jeher gewachsen, aber besonders in den letzten zwei Jahrzehnten mit dem Anstieg von Komponenten, Funktionen und Interaktionen. Traditionelle Entwicklungsprozesse stehen dementsprechend vor großen Herausforderungen. Sie müssen die Sicherheit der Systeme unter steigender Komplexität und Zeitdruck garantieren. In dieser Masterarbeit wird ein Prozess vorgestellt, der sich dieser Herausforderung annimmt, indem auf Model Based System Engineering (MBSE), System Theoretic Process Analysis (STPA) und Formale Methoden zurückgegriffen wird. Als Grundlage für den vorgeschlagenen Entwicklungsprozess wird MBSE verwendet, welches als multi-disziplinärer und integrativer Prozess zur systematischen Entwicklung von Systemen beschrieben werden kann. Luftfahrt- und Automobilsysteme sind sicherheitskritisch und auf ausführliche Sicherheitsbetrachtungen angewiesen, um eine Zulassung zu bekommen. Während Sicherheitsanalysen traditionell von einem unterschiedlichen Team von Sicherheitsingenieuren anhand von Dokumenten ausgeführt werden, schlägt diese Arbeit eine, mit Formalen Methoden gestützte, Integration der STPA-Sicherheitsanalyse in den MBSE-Prozess vor. Die STPA stellt eine vielversprechende Sicherheitsanalyse dar, die genau wie das MBSE auf der System-Theorie beruht und dementsprechend gut in eine MBSE-Entwicklung integriert werden kann. Durch die Formalisierung der STPA können einige manuelle Schritte der Sicherheitsanalyse automatisiert werden. Die Systems Modeling Language (SysML), die als Grundlage für die MBSE-Modelle genutzt wird, stellt durch ihre semi-formalen Eigenschaften einen geeigneten Kandidaten für die Formalisierung dar. Außerhalb der Durchführung der STPA können auch die entstehenden Sicherheitsanforderungen zum Teil formalisiert und überprüft werden. Für eine formale Überprüfung statischer Sicherheitsanforderungen empfiehlt diese Arbeit die Nutzung der Object Constraint Language (OCL), die standardisiert in Kombination mit der SysML genutzt werden kann. Für die Überprüfung von dynamischen Sicherheitsanforderungen wird die Nutzung von formalen Sprachen basierend auf temporalen Logiken vorgeschlagen, die eine formale Argumentation über zeitliche Eigenschaften ermöglichen. Zusammengefasst stellt diese Arbeit einen ganzheitlichen Prozess vor, der Sicherheitsbetrachtungen mit Formalen Methoden in eine MBSE-Entwicklung integriert und damit ermöglicht, den Komplexitätsanstieg von Systemen zu managen.

Item URL in elib:https://elib.dlr.de/143934/
Document Type:Monograph (DLR-Interner Bericht, Master's)
Title:Erweiterung von MBSE Prozessen bei der Entwicklung sicherheitskritischer Systemarchitekturen durch die Nutzung Formaler Methoden
Authors:
AuthorsInstitution or Email of AuthorsAuthor's ORCID iD
Ahlbrecht, Alexander / A.A.Alexander.Ahlbrecht (at) dlr.deUNSPECIFIED
Date:29 June 2021
Refereed publication:No
Open Access:No
Gold Open Access:No
In SCOPUS:No
In ISI Web of Science:No
Status:Unpublished
Keywords:MBSE, SysML. Safety, STPA, OCL, V&V
Institution:Technische Universität Braunschweig
Department:Institut für Datentechnik
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, V - NGC KoFiF
Location: Braunschweig
Institutes and Institutions:Institute of Flight Systems > Safety Critical Systems&Systems Engineering
Deposited By: Ahlbrecht, Alexander
Deposited On:14 Sep 2021 17:12
Last Modified:14 Sep 2021 17:12

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.