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

Lars Huning, Padma Iyenghar, Elke Pulvermueller

Abstract

Safety-critical systems operate in contexts where failure may lead to serious harm for humans or the environment. Safety standards, e.g., IEC 61508 or ISO 26262, provide development guidelines to improve the safety of such systems. For this, they recommend a variety of safety mechanisms to mitigate possible safety hazards. While these standards recommend certain safety mechanisms, they do not provide any concrete development or implementation assistance for any of these techniques. This paper presents a detailed workflow, how such safety mechanisms may be automatically generated from UML model representations in a model-driven development process. We illustrate this approach by applying it to the modeling and automatic generation of voting mechanisms, which are a wide-spread safety mechanism in safety-critical systems that employ some form of redundancy for fault detection or fault masking. Finally, we study the scalability of the proposed code generation via quantitative experiments.

Download


Paper Citation


in Harvard Style

Huning L., Iyenghar P. and Pulvermueller E. (2020). A Workflow for Automatically Generating Application-level Safety Mechanisms from UML Stereotype Model Representations.In Proceedings of the 15th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-758-421-3, pages 216-228. DOI: 10.5220/0009517302160228


in Bibtex Style

@conference{enase20,
author={Lars Huning and Padma Iyenghar and Elke Pulvermueller},
title={A Workflow for Automatically Generating Application-level Safety Mechanisms from UML Stereotype Model Representations},
booktitle={Proceedings of the 15th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2020},
pages={216-228},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0009517302160228},
isbn={978-989-758-421-3},
}


in EndNote Style

TY - CONF

JO - Proceedings of the 15th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - A Workflow for Automatically Generating Application-level Safety Mechanisms from UML Stereotype Model Representations
SN - 978-989-758-421-3
AU - Huning L.
AU - Iyenghar P.
AU - Pulvermueller E.
PY - 2020
SP - 216
EP - 228
DO - 10.5220/0009517302160228