loading
Documents

Research.Publish.Connect.

Paper

Authors: Lars Huning ; Padma Iyenghar and Elke Pulvermüller

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

ISBN: 978-989-758-375-9

Keyword(s): Code Generation, Embedded Software Engineering, Embedded Systems, Functional Safety, Memory Protection, Model-driven Development, Model Transformations, Soft Errors.

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.

PDF ImageFull Text

Download
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 54.162.151.77

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

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

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

Login or register to post comments.

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