UML Specification and Transformation of Safety Features for Memory Protection

Lars Huning, Padma Iyenghar, Elke Pulvermüller

Abstract

Standards such as IEC 61508 or ISO 26262 provide a general guideline on how to develop embedded systems in a safety-critical context. However, they offer no actual support for the implementation of safety mechanisms. This paper proposes such development support by employing Model Driven Development (MDD). For this, we target the issue of soft errors, which may lead to silent data corruption due to radiation effects. We propose an MDD workflow including a model representation and model transformations, which are able to automatically generate memory protection for variables inside a program based on a model specification via UML stereotypes.

Download


Paper Citation


in Harvard Style

Huning L., Iyenghar P. and Pulvermüller E. (2019). UML Specification and Transformation of Safety Features for Memory Protection.In Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-758-375-9, pages 281-288. DOI: 10.5220/0007688202810288


in Bibtex Style

@conference{enase19,
author={Lars Huning and Padma Iyenghar and Elke Pulvermüller},
title={UML Specification and Transformation of Safety Features for Memory Protection},
booktitle={Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2019},
pages={281-288},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0007688202810288},
isbn={978-989-758-375-9},
}


in EndNote Style

TY - CONF

JO - Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - UML Specification and Transformation of Safety Features for Memory Protection
SN - 978-989-758-375-9
AU - Huning L.
AU - Iyenghar P.
AU - Pulvermüller E.
PY - 2019
SP - 281
EP - 288
DO - 10.5220/0007688202810288