期刊文献+

机载适航标准DO-178B/C软件开发过程研究 被引量:4

Research on Software Development Processes of Airborne Airworthiness Standard DO-178B/C
下载PDF
导出
摘要 介绍了DO-178B/C标准的发展历程,结合对DO-178B/C标准机载软件生命周期过程的研究,分析了机载软件开发过程需求、设计、编码和集成子过程的关系及输入输出数据,在分析机载软件需求、设计、编码及集成子过程的目标、活动和转换准则的基础上,给出了各子过程的过程模型。展望了DO-178B/C标准的未来研究方向。 Introduced the evolution history of the DO -178B/C standard, combined with the research of the airbornesoftware life cycle process which focus on DO - 178B/C standard, this paper analyze the relationship of the airbornesoftware requirement process, design process, coding process, integration process which belongs to the airbornesoftware development process and each process's input and output data . Based on the analyze of the objectives, activities and transition criteria of these processes, the paper provided the process model of each process. In the end, the paper also looks forward to the future research direction.
作者 邢亮 卢伟 XING Liang LU Wei(Xi'an Aeronautics Computing Technique Research Institute,A VIC, Xi'an 710068, China The 205 th Research Institute, China North Industries Group Corporation , Xi'an 710065, China)
出处 《航空计算技术》 2016年第6期73-75,79,共4页 Aeronautical Computing Technique
基金 民用飞机专项科研项目资助(MJ-S-2013-10)
关键词 DO-178B/C 软件生命周期过程 转换准则 过程模型 DO - 178B/C software life cycle process transition criteria process model
  • 相关文献

参考文献2

二级参考文献17

  • 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.
  • 9John M. Upgrade to DO-178B certification, DO-178C, to ad- dress modem avionics software trends [J]. Military & Aero space Electronics, 2010: 1-3.
  • 10Growing complexity drives need for emerging DO-178C stan- dard [EB/OL]. [2011-01-03]. Growing Complexity Drives Need for Emerging DO-178C Standard-COTS Journal. htm.

共引文献18

同被引文献15

引证文献4

二级引证文献15

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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