UML specification and transformation of safety features for memory protection
DC Element | Wert | Sprache |
---|---|---|
dc.contributor.author | Huning, L. | |
dc.contributor.author | Iyenghar, P. | |
dc.contributor.author | Pulvermüller, E. | |
dc.contributor.editor | Damiani, E. | |
dc.contributor.editor | Spanoudakis, G. | |
dc.contributor.editor | Maciaszek, L. | |
dc.date.accessioned | 2021-12-23T16:33:40Z | - |
dc.date.available | 2021-12-23T16:33:40Z | - |
dc.date.issued | 2019 | |
dc.identifier.isbn | 9789897583759 | |
dc.identifier.uri | https://osnascholar.ub.uni-osnabrueck.de/handle/unios/17800 | - |
dc.description | Conference of 14th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2019 ; Conference Date: 4 May 2019 Through 5 May 2019; Conference Code:148432 | |
dc.description.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. Copyright © 2019 by SCITEPRESS - Science and Technology Publications, Lda. All rights reserved | |
dc.description.sponsorship | Bundesministerium für Wirtschaft und TechnologieBundesministerium für Wirtschaft und Technologie,BMWi; This work was partially funded by the German Federal Ministry of Economics and Technology (Bun-desministeriums fuer Wirtschaft und Technologie-BMWi) within the project “Holistic model-driven development for embedded systems in consideration of diverse hardware architectures” (HolMES). The authors are responsible for the contents of this publication.; Institute for Systems and Technologies of Information, Control and Communication (INSTICC) | |
dc.language.iso | en | |
dc.publisher | SciTePress | |
dc.relation.ispartof | ENASE 2019 - Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering | |
dc.subject | Code Generation | |
dc.subject | Embedded software | |
dc.subject | Embedded Software Engineering | |
dc.subject | Embedded Systems | |
dc.subject | Functional Safety | |
dc.subject | Memory Protection | |
dc.subject | Model driven development | |
dc.subject | Model transformation | |
dc.subject | Model Transformations | |
dc.subject | Model-driven Development | |
dc.subject | Radiation effects | |
dc.subject | Radiation hardening | |
dc.subject | Soft error, Software engineering | |
dc.subject | Soft Errors | |
dc.subject | Specifications, Code Generation | |
dc.title | UML specification and transformation of safety features for memory protection | |
dc.type | conference paper | |
dc.identifier.doi | 10.5220/0007688202810288 | |
dc.identifier.scopus | 2-s2.0-85067491668 | |
dc.identifier.url | https://www.scopus.com/inward/record.uri?eid=2-s2.0-85067491668&doi=10.5220%2f0007688202810288&partnerID=40&md5=8dd57b308a1baf3987954c658dcc2483 | |
dc.description.startpage | 281 | |
dc.description.endpage | 288 | |
dcterms.isPartOf.abbreviation | ENASE - Proc. Int. Conf. Evaluation Novel Approaches Softw. Eng. | |
crisitem.author.dept | Institut für Informatik | - |
crisitem.author.deptid | institute12 | - |
crisitem.author.parentorg | FB 06 - Mathematik/Informatik/Physik | - |
crisitem.author.grandparentorg | Universität Osnabrück | - |
crisitem.author.netid | PuEl525 | - |
Seitenaufrufe
5
Letzte Woche
0
0
Letzter Monat
0
0
geprüft am 03.06.2024