Papers Papers/2022 Papers Papers/2022



Authors: Frederik Haxel 1 ; Alexander Viehl 1 ; Michael Benkel 2 ; Bjoern Beyreuther 2 ; Klaus Birken 3 ; Rolf Schmedes 4 ; Kim Grüttner 4 and Daniel Mueller-Gritschneder 5

Affiliations: 1 FZI Research Center for Information Technology, Karlsruhe, Germany ; 2 ScopeSET GmbH, Fischbachau, Germany ; 3 itemis AG, Stuttgart, Germany ; 4 OFFIS Institute for Information Technology, Oldenburg, Germany ; 5 Technical University of Munich, Munich, Germany

Keyword(s): Functional Safety, Software Safety Mechanism, Model Transformation, Code Generation, Domain-specific Language.

Abstract: The development of safety-critical software requires a significant additional effort compared to standard software. Safety mechanisms, e.g., for mitigating hardware errors, have to be designed and integrated into the functional code. This results not only in substantial implementation overhead, but also reduces the overall maintainability of the software. In this paper, we present the Universal Safety Format (USF), which enables a model-driven approach that complies with the separation of concerns principle. Software safety mechanisms are specified as patterns via a domain-agnostic transformation language, separated from the functional software. Various domain-specific tools apply these safety patterns to domain-specific artifacts, such as code or software architecture models. This enables the reuse of safety patterns in multiple designs as well as in a single design to artifacts from different domains.


Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Haxel, F.; Viehl, A.; Benkel, M.; Beyreuther, B.; Birken, K.; Schmedes, R.; Grüttner, K. and Mueller-Gritschneder, D. (2022). Universal Safety Format: Automated Safety Software Generation. In Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development - MODELSWARD; ISBN 978-989-758-550-0; ISSN 2184-4348, SciTePress, pages 155-166. DOI: 10.5220/0010784200003119

author={Frederik Haxel. and Alexander Viehl. and Michael Benkel. and Bjoern Beyreuther. and Klaus Birken. and Rolf Schmedes. and Kim Grüttner. and Daniel Mueller{-}Gritschneder.},
title={Universal Safety Format: Automated Safety Software Generation},
booktitle={Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development - MODELSWARD},


JO - Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development - MODELSWARD
TI - Universal Safety Format: Automated Safety Software Generation
SN - 978-989-758-550-0
IS - 2184-4348
AU - Haxel, F.
AU - Viehl, A.
AU - Benkel, M.
AU - Beyreuther, B.
AU - Birken, K.
AU - Schmedes, R.
AU - Grüttner, K.
AU - Mueller-Gritschneder, D.
PY - 2022
SP - 155
EP - 166
DO - 10.5220/0010784200003119
PB - SciTePress