Civil Aircraft Airborne Software Safety and Reliability Study Based on RTCA/DO-178C

J. Sun, Lei Chen, Fuzhi Cang, Hai-Feng Li, Fujian Pi
{"title":"Civil Aircraft Airborne Software Safety and Reliability Study Based on RTCA/DO-178C","authors":"J. Sun, Lei Chen, Fuzhi Cang, Hai-Feng Li, Fujian Pi","doi":"10.1145/3569966.3569974","DOIUrl":null,"url":null,"abstract":"Airborne software is invisible but it can have a critical impact on the safety of aircraft systems. This paper studies the retroactive relationship between the certification regulations of various countries and the ICAO Convention, then analyzes the source of software-related airworthiness Clause from the Annex 8 of the ICAO Convention. Furthermore, the 1301 and 1309 clauses of Part 25 of the software certification basis and the corresponding compliance method RTCA/DO-178C are studied. The study obtains the airborne software process assurance model from the point of safety. A comparative analysis with software reliability is carried out, and finally it is concluded that the development of civil aircraft based on DO-178C focuses on system safety. The design assurance level of software is determined through the system development and safety assessment process according to SAE ARP4754A and SAE ARP4761, and software cannot be assigned a failure rate like hardware based on DO-178C practice. The methods of avoidance, identification, elimination and reduction of software design errors in DO-178C also contributing to software reliability. Given that software reliability efforts are primarily concerned with providing sufficient quantitative and qualitative evidence, it can enhance the software quality, however, software reliability analysis are not useful for providing confidence to regulators in civil aircraft developing program.","PeriodicalId":145580,"journal":{"name":"Proceedings of the 5th International Conference on Computer Science and Software Engineering","volume":"151 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2022-10-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the 5th International Conference on Computer Science and Software Engineering","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/3569966.3569974","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0

Abstract

Airborne software is invisible but it can have a critical impact on the safety of aircraft systems. This paper studies the retroactive relationship between the certification regulations of various countries and the ICAO Convention, then analyzes the source of software-related airworthiness Clause from the Annex 8 of the ICAO Convention. Furthermore, the 1301 and 1309 clauses of Part 25 of the software certification basis and the corresponding compliance method RTCA/DO-178C are studied. The study obtains the airborne software process assurance model from the point of safety. A comparative analysis with software reliability is carried out, and finally it is concluded that the development of civil aircraft based on DO-178C focuses on system safety. The design assurance level of software is determined through the system development and safety assessment process according to SAE ARP4754A and SAE ARP4761, and software cannot be assigned a failure rate like hardware based on DO-178C practice. The methods of avoidance, identification, elimination and reduction of software design errors in DO-178C also contributing to software reliability. Given that software reliability efforts are primarily concerned with providing sufficient quantitative and qualitative evidence, it can enhance the software quality, however, software reliability analysis are not useful for providing confidence to regulators in civil aircraft developing program.
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
基于RTCA/DO-178C的民机机载软件安全性与可靠性研究
机载软件是看不见的,但它可以对飞机系统的安全产生关键影响。本文研究了各国审定规定与ICAO公约的溯及关系,分析了ICAO公约附件8中软件适航条款的来源。并对软件认证基础第25部分1301和1309条款以及相应的合规方法RTCA/DO-178C进行了研究。从安全角度出发,建立了机载软件过程保障模型。并与软件可靠性进行了对比分析,最后得出基于DO-178C的民用飞机的发展重点是系统安全性。软件的设计保证等级是根据SAE ARP4754A和SAE ARP4761通过系统开发和安全评估过程来确定的,不能像基于DO-178C实践的硬件那样给软件分配故障率。DO-178C中避免、识别、消除和减少软件设计错误的方法也有助于提高软件的可靠性。考虑到软件可靠性的工作主要是提供足够的定量和定性证据,它可以提高软件质量,然而,软件可靠性分析对于为民用飞机开发计划的监管机构提供信心是没有帮助的。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 去求助
来源期刊
自引率
0.00%
发文量
0
期刊最新文献
Accurate and Time-saving Deepfake Detection in Multi-face Scenarios Using Combined Features The Exponential Dynamic Analysis of Network Attention Based on Big Data Research on Data Governance and Data Migration based on Oracle Database Appliance in campus Research on Conformance Engineering process of Airborne Software quality Assurance in Civil Aviation Extending Take-Grant Model for More Flexible Privilege Propagation
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1