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.