A Workflow for Automatically Generating Application-level Safety Mechanisms from UML Stereotype Model Representations

Huning, Lars; Iyenghar, Padma; Pulvermueller, Elke

doi:10.5220/0009517302160228

Cited by 3 publications

(6 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Moreover, the authors of this article have been involved with several previous publications that focus on the generation of one specific safety mechanism each [15][16][17][18][19]. This article uses this prior work as a building block in order to present a novel, integrated MDD framework that allows for the generation of both software-and hardware-implemented safety mechanisms.…”

Section: Related Workmentioning

confidence: 99%

“…This section discusses the model representation of software-implemented safety mechanisms with UML stereotypes. Because such stereotypes for specific safety mechanisms have already been proposed [15][16][17][18][19], we focus on how these approaches may be integrated into a single holistic model representation. For this, it is relevant to know that each of the approaches in [15][16][17][18][19] defines its own UML profile with stereotypes focused on one specific category of safety mechanisms.…”

Section: Model Representationmentioning

confidence: 99%

“…Because such stereotypes for specific safety mechanisms have already been proposed [15][16][17][18][19], we focus on how these approaches may be integrated into a single holistic model representation. For this, it is relevant to know that each of the approaches in [15][16][17][18][19] defines its own UML profile with stereotypes focused on one specific category of safety mechanisms. For example, stereotypes focused on safety mechanism voting are grouped in one profile.…”

Section: Model Representationmentioning

confidence: 99%

“…This article builds upon previous work [15][16][17][18][19]. It integrates these standalone approaches into a novel holistic framework for the automatic generation of safety mechanisms .…”

mentioning

confidence: 97%

“…Moreover, we show how the framework may be extended to provide code generation for other safety mechanisms. Another novelty to [15][16][17][18][19] is the combination of this approach with requirements engineering, thereby enabling the generation of safety mechanisms directly from a set of structured safety requirements. Furthermore, we provide a novel evaluation of the code-level efficiency of the safety mechanisms proposed in [15][16][17][18][19], which have been modified due to the integration with the framework proposed in this article.…”

mentioning

confidence: 99%

See 4 more Smart Citations

Automatic Code Generation of Safety Mechanisms in Model-Driven Development

Huning¹,

Pulvermueller²

2021

Electronics

Self Cite

View full text Add to dashboard Cite

In order to meet regulatory standards in the domain of safety-critical systems, these systems have to include a set of safety mechanisms depending on the Safety Integrity Level (SIL). This article proposes an approach for how such safety mechanisms may be generated automatically via Model-Driven Development (MDD), thereby improving developer productivity and decreasing the number of bugs that occur during manual implementation. The approach provides a structured way to define safety requirements, which may be parsed automatically and are used for the generation of software-implemented safety mechanisms, as well as the initial configuration of hardware-implemented safety mechanisms. The approach for software-implemented safety mechanisms relies on the Unified Modeling Language (UML) for representing these mechanisms in the model and uses model transformations to realize them in an intermediate model, from which code may be generated with simple 1:1 mappings. The approach for hardware-implemented safety mechanisms builds upon a template-based code snippet repository and a graphical user interface for configuration. The approach is applied to the development of a safety-critical fire detection application and the runtime of the model transformations is evaluated, indicating a linear scalability of the transformation steps. Furthermore, we evaluate the runtime and memory overhead of the generated code.

show abstract

Section: Related Workmentioning

confidence: 99%

Section: Model Representationmentioning

confidence: 99%

Section: Model Representationmentioning

confidence: 99%

“…This article builds upon previous work [15][16][17][18][19]. It integrates these standalone approaches into a novel holistic framework for the automatic generation of safety mechanisms .…”

mentioning

confidence: 97%

mentioning

confidence: 99%

See 3 more Smart Citations

Automatic Code Generation of Safety Mechanisms in Model-Driven Development

Huning¹,

Pulvermueller²

2021

Electronics

Self Cite

View full text Add to dashboard Cite

show abstract

A Workflow for Automatic Code Generation of Safety Mechanisms via Model-Driven Development

Huning

Iyenghar

Pulvermüller

2021

Communications in Computer and Information Science

View full text Add to dashboard Cite

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

Haxel

Viehl

Benkel³

et al. 2023

SN COMPUT. SCI.

View full text Add to dashboard Cite

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.

show abstract

A Workflow for Automatically Generating Application-level Safety Mechanisms from UML Stereotype Model Representations

Cited by 3 publications

References 0 publications

Automatic Code Generation of Safety Mechanisms in Model-Driven Development

Automatic Code Generation of Safety Mechanisms in Model-Driven Development

A Workflow for Automatic Code Generation of Safety Mechanisms via Model-Driven Development

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

Contact Info

Product

Resources

About