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
Keyword(s):
Code Generation, Embedded Software Engineering, Embedded Systems, Functional Safety, Memory Protection, Model-driven Development, Model Transformations, Soft Errors.
Related
Ontology
Subjects/Areas/Topics:
Cross-Feeding between Data and Software Engineering
;
Model-Driven Engineering
;
Software Engineering
;
Software Engineering Methods and Techniques
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.