loading
Documents

Research.Publish.Connect.

Paper

Authors: Lars Huning ; Padma Iyenghar and Elke Pulvermueller

Affiliation: Institute of Computer Science, University of Osnabrück, Wachsbleiche 27, 49090 Osnabrück, Germany

ISBN: 978-989-758-421-3

Keyword(s): Code Generation, Embedded Software Engineering, Embedded Systems, Functional Safety, Model-Driven Development, Voting.

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.

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

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 34.204.187.106

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:
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

@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},
}

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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.