内存保护安全特性的UML规范和转换

International Conference on Evaluation of Novel Approaches to Software Engineering Pub Date : 2019-05-04 DOI:10.5220/0007688202810288

Lars Huning, Padma Iyenghar, E. Pulvermüller

{"title":"内存保护安全特性的UML规范和转换","authors":"Lars Huning, Padma Iyenghar, E. Pulvermüller","doi":"10.5220/0007688202810288","DOIUrl":null,"url":null,"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.","PeriodicalId":420861,"journal":{"name":"International Conference on Evaluation of Novel Approaches to Software Engineering","volume":"8 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2019-05-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"UML Specification and Transformation of Safety Features for Memory Protection\",\"authors\":\"Lars Huning, Padma Iyenghar, E. Pulvermüller\",\"doi\":\"10.5220/0007688202810288\",\"DOIUrl\":null,\"url\":null,\"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.\",\"PeriodicalId\":420861,\"journal\":{\"name\":\"International Conference on Evaluation of Novel Approaches to Software Engineering\",\"volume\":\"8 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2019-05-04\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"International Conference on Evaluation of Novel Approaches to Software Engineering\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.5220/0007688202810288\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"International Conference on Evaluation of Novel Approaches to Software Engineering","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.5220/0007688202810288","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 3

摘要

IEC 61508或ISO 26262等标准提供了如何在安全关键环境中开发嵌入式系统的一般指南。然而，它们并没有为安全机制的实施提供实际的支持。本文提出了采用模型驱动开发(MDD)的开发支持方法。为此，我们针对软错误的问题，这可能导致无声的数据损坏，由于辐射的影响。我们提出一个包含模型表示和模型转换的MDD工作流，它能够通过UML构造型基于模型规范自动为程序中的变量生成内存保护。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

UML Specification and Transformation of Safety Features for Memory Protection

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

International Conference on Evaluation of Novel Approaches to Software Engineering

自引率

0.00%

发文量