SCA extensions to support safety critical distributed embedded systems

Aitor Agirre, Jon Perez, Rafael Priego, M. Marcos, Elisabet Estévez-Estévez
{"title":"SCA extensions to support safety critical distributed embedded systems","authors":"Aitor Agirre, Jon Perez, Rafael Priego, M. Marcos, Elisabet Estévez-Estévez","doi":"10.1109/ETFA.2013.6648112","DOIUrl":null,"url":null,"abstract":"Component Based Software Engineering (CBSE) is being increasingly applied in the distributed embedded systems (DES) domain as long as these systems are getting more and more complex in terms of flexibility, dynamism or heterogeneity. Besides that, safety critical systems must cope with the fulfillment of safety requirements and certification standards. This factor increases considerably the development cost of safety distributed embedded systems, even more if they must cope with flexibility, dynamism and heterogeneity. This paper focuses on the distribution aspects of such systems, and more specifically on safe communication channels for safety critical distributed systems. The proposed approach describes a certifiable general purpose safety communication layer that could be reused in different systems, thereby reducing the cost of system development and certification.","PeriodicalId":106678,"journal":{"name":"2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA)","volume":"68 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2013-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"7","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ETFA.2013.6648112","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 7

Abstract

Component Based Software Engineering (CBSE) is being increasingly applied in the distributed embedded systems (DES) domain as long as these systems are getting more and more complex in terms of flexibility, dynamism or heterogeneity. Besides that, safety critical systems must cope with the fulfillment of safety requirements and certification standards. This factor increases considerably the development cost of safety distributed embedded systems, even more if they must cope with flexibility, dynamism and heterogeneity. This paper focuses on the distribution aspects of such systems, and more specifically on safe communication channels for safety critical distributed systems. The proposed approach describes a certifiable general purpose safety communication layer that could be reused in different systems, thereby reducing the cost of system development and certification.
支持安全关键分布式嵌入式系统的SCA扩展
随着分布式嵌入式系统在灵活性、动态性和异构性等方面的要求越来越高,基于组件的软件工程(CBSE)在分布式嵌入式系统领域的应用越来越广泛。除此之外,安全关键系统必须满足安全要求和认证标准的要求。这一因素大大增加了安全分布式嵌入式系统的开发成本,如果它们必须应对灵活性、动态性和异构性,成本甚至会更高。本文的重点是分布式系统的分布方面,更具体地说,是安全关键分布式系统的安全通信通道。提出的方法描述了一个可认证的通用安全通信层,该层可以在不同的系统中重用,从而降低了系统开发和认证的成本。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信