UML specification and transformation of safety features for memory protection

DC ElementWertSprache
dc.contributor.authorHuning, L.
dc.contributor.authorIyenghar, P.
dc.contributor.authorPulvermüller, E.
dc.contributor.editorDamiani, E.
dc.contributor.editorSpanoudakis, G.
dc.contributor.editorMaciaszek, L.
dc.date.accessioned2021-12-23T16:33:40Z-
dc.date.available2021-12-23T16:33:40Z-
dc.date.issued2019
dc.identifier.isbn9789897583759
dc.identifier.urihttps://osnascholar.ub.uni-osnabrueck.de/handle/unios/17800-
dc.descriptionConference 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.abstractStandards 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.sponsorshipBundesministerium 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.isoen
dc.publisherSciTePress
dc.relation.ispartofENASE 2019 - Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering
dc.subjectCode Generation
dc.subjectEmbedded software
dc.subjectEmbedded Software Engineering
dc.subjectEmbedded Systems
dc.subjectFunctional Safety
dc.subjectMemory Protection
dc.subjectModel driven development
dc.subjectModel transformation
dc.subjectModel Transformations
dc.subjectModel-driven Development
dc.subjectRadiation effects
dc.subjectRadiation hardening
dc.subjectSoft error, Software engineering
dc.subjectSoft Errors
dc.subjectSpecifications, Code Generation
dc.titleUML specification and transformation of safety features for memory protection
dc.typeconference paper
dc.identifier.doi10.5220/0007688202810288
dc.identifier.scopus2-s2.0-85067491668
dc.identifier.urlhttps://www.scopus.com/inward/record.uri?eid=2-s2.0-85067491668&doi=10.5220%2f0007688202810288&partnerID=40&md5=8dd57b308a1baf3987954c658dcc2483
dc.description.startpage281
dc.description.endpage288
dcterms.isPartOf.abbreviationENASE - Proc. Int. Conf. Evaluation Novel Approaches Softw. Eng.
crisitem.author.deptInstitut für Informatik-
crisitem.author.deptidinstitute12-
crisitem.author.parentorgFB 06 - Mathematik/Informatik/Physik-
crisitem.author.grandparentorgUniversität Osnabrück-
crisitem.author.netidPuEl525-
Zur Kurzanzeige

Seitenaufrufe

5
Letzte Woche
0
Letzter Monat
0
geprüft am 03.06.2024

Google ScholarTM

Prüfen

Altmetric