Partitioning strategy based on safety in integrated modular avionics

Dalin Shen, Xiaohong Bao, T. Zhao, Pengtao Zhao
{"title":"Partitioning strategy based on safety in integrated modular avionics","authors":"Dalin Shen, Xiaohong Bao, T. Zhao, Pengtao Zhao","doi":"10.1109/ICRMS.2016.8050066","DOIUrl":null,"url":null,"abstract":"Integrated Modular Avionics, which has replaced traditional federal architecture, is now widely used in the aircraft. Robust partitioning is adopted by new architecture to cope with the failure propagation due to resource sharing. However, if the activity of allocating applications to partitions doesn't consider the common cause failure and coupling relations among avionic functions, it can intensify the failure propagation. At present, a lot of researches take into account the application software's functionality and criticality in the software configuration activities, but not include other factors which are also indispensable. In this paper, we proposed a partitioning method from the safety perspective. Firstly, we identified the process of allocating applications to partitions from the partitioning configuration activities referred to Do-297 and built the partitioned system model. Three safety factors which should be satisfied by the process were introduced. Then, we presented the safety constraints based on the safety factors. Finally, we proposed the partitioning strategy on the basic of safety constraints and partitioned system model. This partitioning strategy will be the theoretical basis for the scientific partitioning method in future and ensure the implementation of robust partitioning in Integrated Modular Avionics.","PeriodicalId":347031,"journal":{"name":"2016 11th International Conference on Reliability, Maintainability and Safety (ICRMS)","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2016-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2016 11th International Conference on Reliability, Maintainability and Safety (ICRMS)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICRMS.2016.8050066","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0

Abstract

Integrated Modular Avionics, which has replaced traditional federal architecture, is now widely used in the aircraft. Robust partitioning is adopted by new architecture to cope with the failure propagation due to resource sharing. However, if the activity of allocating applications to partitions doesn't consider the common cause failure and coupling relations among avionic functions, it can intensify the failure propagation. At present, a lot of researches take into account the application software's functionality and criticality in the software configuration activities, but not include other factors which are also indispensable. In this paper, we proposed a partitioning method from the safety perspective. Firstly, we identified the process of allocating applications to partitions from the partitioning configuration activities referred to Do-297 and built the partitioned system model. Three safety factors which should be satisfied by the process were introduced. Then, we presented the safety constraints based on the safety factors. Finally, we proposed the partitioning strategy on the basic of safety constraints and partitioned system model. This partitioning strategy will be the theoretical basis for the scientific partitioning method in future and ensure the implementation of robust partitioning in Integrated Modular Avionics.
集成模块化航电系统中基于安全的分区策略
集成模块化航空电子设备已经取代了传统的联邦结构,现在广泛应用于飞机上。新体系结构采用鲁棒分区来应对由于资源共享而导致的故障传播。然而,如果将应用程序分配到分区的活动中不考虑航空电子功能之间的共同原因故障和耦合关系,则会加剧故障的传播。目前,很多研究在软件组态活动中只考虑了应用软件的功能性和关键性,而没有考虑其他同样不可或缺的因素。本文从安全的角度提出了一种分区方法。首先,我们从Do-297中提到的分区配置活动中确定了将应用程序分配到分区的过程,并构建了分区系统模型。介绍了该工艺应满足的三个安全系数。在此基础上,提出了基于安全系数的安全约束。最后,提出了基于安全约束和分区系统模型的分区策略。该划分策略将为今后采用科学的划分方法提供理论基础,保证集成模块化航电系统中鲁棒划分的实现。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约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学术官方微信