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

Model-Based STPA: Towards Agile Safety-Guided Design with Formalization

Ahlbrecht, Alexander and Durak, Umut and Zaeske, Wanja (2022) Model-Based STPA: Towards Agile Safety-Guided Design with Formalization. In: 8th IEEE International Symposium on Systems Engineering, ISSE 2022. IEEE International Symposium on Systems Engineering (ISSE), Wien, Österreich. doi: 10.1109/ISSE54508.2022.10005396.

[img] PDF


The competition for market entry in emerging segments such as Urban Air Mobility highlights the need for efficient and flexible development processes. This is accompanied by the trend towards software-intensive avionics systems due to the requirement for complex and computationally expensive algorithms. Considering the successful application of agile developments in the software domain, one might conclude that the agile paradigm would be the perfect fit to address these issues. However, for highly safety-critical domains such as aviation, multiple conflicts with the agile paradigm exist. Especially the constraint to follow rigorous and well documented processes contradicts the ideas of agile. To bridge this gap, a comprehensive and well documented, but still flexible process is necessary. Accordingly, this paper proposes a first step towards such an agile safety-guided design, by combining Model-Based Systems Engineering with the System-Theoretic Process Analysis. Particularly, focus is placed on enabling an iterative safety-guided design by providing functionality to track design changes to the corresponding safety artifacts. This automated functionality is enabled by a formalized execution of the safety analysis. At first glance, formalization sounds like a contradiction to the agile paradigm. However, we argue that formality and agility are not necessarily contradicting each other. Our theory is that moving the focus of formality from the human activities to the assisting functionality even increases overall agility. The iterative safety-guided design and resulting identification of safety improvements is demonstrated with examples of a flight assistance system.

Item URL in elib:https://elib.dlr.de/188104/
Document Type:Conference or Workshop Item (Speech)
Title:Model-Based STPA: Towards Agile Safety-Guided Design with Formalization
AuthorsInstitution or Email of AuthorsAuthor's ORCID iDORCID Put Code
Zaeske, WanjaUNSPECIFIEDhttps://orcid.org/0000-0002-1427-2627UNSPECIFIED
Journal or Publication Title:8th IEEE International Symposium on Systems Engineering, ISSE 2022
Refereed publication:No
Open Access:Yes
Gold Open Access:No
In ISI Web of Science:No
Keywords:Safety, Agile, Formality, MBSE, STPA, SysML, Design Changes, Tracing, UAM, CPS
Event Title:IEEE International Symposium on Systems Engineering (ISSE)
Event Location:Wien, Österreich
Event Type:international Conference
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
Location: Braunschweig
Institutes and Institutions:Institute of Flight Systems
Institute of Flight Systems > Safety Critical Systems&Systems Engineering
Deposited By: Ahlbrecht, Alexander
Deposited On:29 Nov 2022 18:36
Last Modified:01 Mar 2024 10:05

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.