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

The Universal Safety Format in Action: Tool Integration and Practical Application

Haxel, Frederik and Viehl, Alexander and Beyreuther, Bjoern and Birken, Klaus and Schmedes, Rolf and Grüttner, Kim and Mueller-Gritschneder, Daniel (2023) The Universal Safety Format in Action: Tool Integration and Practical Application. SN Computer Science, 4 (2). Springer Nature. doi: 10.1007/s42979-022-01532-z. ISSN 2661-8907.

[img] PDF - Published version

Official URL: https://link.springer.com/article/10.1007/s42979-022-01532-z


Designing software that meets the stringent requirements of functional safety standards imposes a significant development effort compared to conventional software. A key aspect is the integration of safety mechanisms into the functional design to ensure a safe state during operation even in the event of hardware errors. These safety mechanisms can be applied at different levels of abstraction during the development process and are usually implemented and integrated manually into the design. This does not only cause significant effort but does also reduce the overall maintainability of the software. To mitigate this, we present the Universal Safety Format (USF), which enables the generation of safety mechanisms based on the separation of concerns principle in a model-driven approach. Safety mechanisms are described as generic patterns using a transformation language independent from the functional design or any particular programming language. The USF was designed to be easily integrated into existing tools and workflows that can support different programming languages. Tools supporting the USF can utilize the patterns in a functional design to generate and integrate specific safety mechanisms for different languages using the transformation rules contained within the patterns. This enables not only the reuse of safety patterns in different designs, but also across different programming languages. The approach is demonstrated with an automotive use-case as well as different tools supporting the USF.

Item URL in elib:https://elib.dlr.de/193132/
Document Type:Article
Title:The Universal Safety Format in Action: Tool Integration and Practical Application
AuthorsInstitution or Email of AuthorsAuthor's ORCID iDORCID Put Code
Haxel, FrederikFZI Research Center for Information Technology, Karlsruhe, GermanyUNSPECIFIEDUNSPECIFIED
Viehl, AlexanderFZI Research Center for Information Technology, Karlsruhe, GermanyUNSPECIFIEDUNSPECIFIED
Beyreuther, BjoernScopeSET GmbH, Fischbachau, GermanyUNSPECIFIEDUNSPECIFIED
Birken, Klausitemis AG, Stuttgart, GermanyUNSPECIFIEDUNSPECIFIED
Schmedes, RolfUNSPECIFIEDhttps://orcid.org/0009-0008-0326-1245UNSPECIFIED
Grüttner, KimUNSPECIFIEDhttps://orcid.org/0000-0002-4988-3858UNSPECIFIED
Mueller-Gritschneder, DanielTechnical University of Munich, Munich, GermanyUNSPECIFIEDUNSPECIFIED
Date:9 January 2023
Journal or Publication Title:SN Computer Science
Refereed publication:Yes
Open Access:Yes
Gold Open Access:No
In ISI Web of Science:No
Publisher:Springer Nature
Series Name:SN Computer Science
Keywords:Functional safety, Software safety mechanism, Model transformation, Code generation, Domain-specific language
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 - V&V4NGC - Methoden, Prozesse und Werkzeugketten für die Validierung & Verifikation von NGC
Location: Oldenburg
Institutes and Institutions:Institute of Systems Engineering for Future Mobility
Deposited By: Schmedes, Rolf
Deposited On:08 Feb 2023 12:02
Last Modified:29 Mar 2023 00:03

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.