Universal Safety Format: Automated Safety Software Generation

Frederik Haxel, Alexander Viehl, Michael Benkel, Bjoern Beyreuther, Klaus Birken, Rolf Schmedes, Kim Grüttner, Daniel Mueller-Gritschneder

2022

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.

Download


Paper Citation


in Harvard Style

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 - Volume 1: MODELSWARD, ISBN 978-989-758-550-0, pages 155-166. DOI: 10.5220/0010784200003119


in Bibtex Style

@conference{modelsward22,
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 - Volume 1: MODELSWARD,},
year={2022},
pages={155-166},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0010784200003119},
isbn={978-989-758-550-0},
}


in EndNote Style

TY - CONF

JO - Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Universal Safety Format: Automated Safety Software Generation
SN - 978-989-758-550-0
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