期刊文献+

机载软件适航认证标准新进展及展望 被引量:18

Current progress and prospects of airworthiness certification standards in airborne software
下载PDF
导出
摘要 为了满足机载软件适航认证的迫切需求,对机载软件适航认证标准进行分析研究。阐述了DO-178B的发展动因及过程,总结了随着软件开发技术的快速更新DO-178B所表现的不足。说明了对DO-178B进行更新的必要性,并将即将发布的新版本DO-178C与DO-178B进行了对比。根据对比结果重点分析了DO-178C的4个新增特性。对DO-178C所带来的影响以及未来应用进行了展望。 To meet the urgent need of airworthiness certification on airborne software, airworthiness certification standards on airborne software are analyzed. Firstly, the development motivation and process of DO-178B are provided, and the deficiencies of DO-178B in the case of the rapid update of software technology and methods are summarized. Secondly, the necessity of updating IDO-178B is pointed out, and a comparison between DO-178C which will be published in the near future and DO-178B is made. On the foundation of comparison, four new features of DO-178C are analyzed emphatically. Finally, the future prospect of the impaction and application of DO-178C are proposed.
出处 《计算机工程与设计》 CSCD 北大核心 2012年第1期204-208,共5页 Computer Engineering and Design
基金 航空科学基金项目(2008ZD41005) 南航基本科研业务费专项科研基金项目(NS2010110)
关键词 机载软件 DO-178B DO-178C 验证 适航认证 airborne software DO-178B 12X3-178C verificatiom airworthiness certification
  • 相关文献

参考文献15

  • 1Zoughbi G, Briand L C, Labiche Y. A UML profile tor developing airworthiness-campliant (RTCA DO-I78B) safety-critical software [C]. Proceedings of ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2007: 574-588.
  • 2Yin Y F, Liu BH. Research on formal verification technique for aircraft safety-critical software [J]. Journal of Computers, 2010, 5 (8): 1152-1159.
  • 3瑞典JAS-39“鹰狮”战斗机武器系统[EB/0L].[2007—05—03].http://.www.plaaf.net/html/59/w59.html.
  • 4美军无人直升机失控闯人华盛顿上空禁飞区[EB/OL].[2010-09—03].http://wnnHhangkongnet.00rn/2010/0902/15255.html.
  • 5Souyris J, Wiels V, Delmas D, et al. Formal verification of avionics software products [G]. LNCS 5850: Formal Methods. Netherlands: Springer Verlag, 2009: 532-546.
  • 6DO-178B/ED-12B, Software considerations in airborne systems and equipment certification [S]. RTCA/EUROCAE, 1992.
  • 7Kong J, Yan H H. Comparisons and analyses between RTCA DO-178B and GJB5000A, and integration of software process control [C]. Chengdu: ICACTE. IEEE Computer Society, 2010.. V6367-V6372.
  • 8RTCA. DO-178C software considerations in airborne systems and equipment certification [ C ]. Washington,DC: Radio Technical Commission for Aeronautics, 2008.
  • 9陈绍宇,赵建军.RTCA DO-178B标准与相关国军标的对照分析[J].航空电子技术,2009,40(1):48-52. 被引量:8
  • 10John M. Upgrade to DO-178B certification, DO-178C, to ad- dress modem avionics software trends [J]. Military & Aero space Electronics, 2010: 1-3.

二级参考文献15

  • 1DO-178B航空系统和设备认证的软件要求[S].1992.
  • 2GJB2786武器系统软件开发[S].1996.
  • 3GJB438A武器系统软件开发文档[S].1997.
  • 4IEEE标准730-1989软件质量保证计划[S].1989.
  • 5SAE.ARP 4754 Certification considerations for highly integrated or complex aircraft systems[S].Society of Automotive Engineers,Washington,DC,1996.
  • 6RTCA.DO-254 Design assurance guidance for airborne electronic hardware[S].Radio Technical Commiss(l)on for Aeronautics,Inc.(RTCA),Washington,DC,2000.
  • 7王云明,宁振波,李翎.嵌入式开发的标准,进程,方法及工具[EB/OL].http://www.esterel.com.cn.
  • 8黎娟.RUP实践--软件开发过程自动化[C] //中国软件技术大会,2004.
  • 9RTCA.SC-205(Joint with EUROCAE WG-71) software considerations[EB/OL].http://www.rtca.org.
  • 10Price M.ASAAC & Avionics APIs[C] //ASAAC Conference,2005.

共引文献54

同被引文献95

引证文献18

二级引证文献40

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部