TY - GEN
T1 - Universal Safety Format
T2 - 10th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2022
AU - Haxel, Frederik
AU - Viehl, Alexander
AU - Benkel, Michael
AU - Beyreuther, Bjoern
AU - Birken, Klaus
AU - Schmedes, Rolf
AU - Gruttner, Kim
AU - Mueller-Gritschneder, Daniel
N1 - Publisher Copyright:
© 2022 by SCITEPRESS–Science and Technology Publications, Lda. All rights reserved.
PY - 2022
Y1 - 2022
N2 - The development of safety-critical software requires a significant additional effort compared to standard soft-ware. 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 soft-ware. 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.
AB - The development of safety-critical software requires a significant additional effort compared to standard soft-ware. 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 soft-ware. 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.
KW - Code Generation
KW - Domain-specific Language
KW - Functional Safety
KW - Model Transformation
KW - Software Safety Mechanism
UR - https://www.scopus.com/pages/publications/85146709108
U2 - 10.5220/0010784200003119
DO - 10.5220/0010784200003119
M3 - Conference contribution
AN - SCOPUS:85146709108
SN - 9789897585500
T3 - International Conference on Model-Driven Engineering and Software Development
SP - 155
EP - 166
BT - MODELSWARD 2022 - Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development
A2 - Seidewitz, Edwin
PB - Science and Technology Publications, Lda
Y2 - 6 February 2022 through 8 February 2022
ER -