期刊文献+

航电软件开发标准与过程研究 被引量:4

Research on standard and process of avionics software development
下载PDF
导出
摘要 随着综合模块化航空电子系统研究的深入,其软件开发标准的重要地位日益突出,ARP4754和DO-178C共同构成了综合模块化航空电子系统软件开发的新标准。从标准内容与信息流程两方面论述了标准之间的关系,同时讨论了航电软件计划过程、开发过程和综合过程的子过程、目标及活动内容,提出了过程自动化和过程省略的基本概念与方法。 With the research of integrated modular avionics,the standard of avionics software presents increasing importance.ARP4754 and DO-178C are the new standards of avionics software development.The contents and information flow of them are analyzed.The sub processes,objectives and activities of the planning process,the development process and the integral process of avionics software are discussed.To overcome the actual difficulties and challenges of avionics software development, the basic concepts and methods of process automation and process elimination are presented.
出处 《计算机工程与应用》 CSCD 北大核心 2010年第19期71-73,96,共4页 Computer Engineering and Applications
基金 国家部委预先研究基金~~
关键词 航电软件 计划过程 开发过程 综合过程 过程自动化 过程省略 avionics software planning process development process integral process process automation process elimination
  • 相关文献

参考文献9

  • 1Price M.ASAAC & Avionics APIs[C] //ASAAC Conference,2005.
  • 2Athalye P,Maksimovic D,Erickson R.High-performance front-end convener for avionics applications[J].IEEE Trans on Aerospace and Electronic Systems,2003,39(2):462-470.
  • 3Wolf R.Parameters for Efficient Software Cenification[EB/OL].http://www.itk.ntnu.no.
  • 4RTCA.DO-178C software considerations in airborne systems and equipment certification[S].Radio Technical Commission for Aeronautics,Inc.(RTCA),Washington,DC,2008.
  • 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.

同被引文献30

  • 1尹树悦,杨云.军机研制中安全性标准的应用[J].航空标准化与质量,2010(3):23-26. 被引量:4
  • 2Zoughbi 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.
  • 3Yin Y F, Liu BH. Research on formal verification technique for aircraft safety-critical software [J]. Journal of Computers, 2010, 5 (8): 1152-1159.
  • 4瑞典JAS-39“鹰狮”战斗机武器系统[EB/0L].[2007—05—03].http://.www.plaaf.net/html/59/w59.html.
  • 5美军无人直升机失控闯人华盛顿上空禁飞区[EB/OL].[2010-09—03].http://wnnHhangkongnet.00rn/2010/0902/15255.html.
  • 6Souyris J, Wiels V, Delmas D, et al. Formal verification of avionics software products [G]. LNCS 5850: Formal Methods. Netherlands: Springer Verlag, 2009: 532-546.
  • 7DO-178B/ED-12B, Software considerations in airborne systems and equipment certification [S]. RTCA/EUROCAE, 1992.
  • 8Kong 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.
  • 9RTCA. DO-178C software considerations in airborne systems and equipment certification [ C ]. Washington,DC: Radio Technical Commission for Aeronautics, 2008.
  • 10John M. Upgrade to DO-178B certification, DO-178C, to ad- dress modem avionics software trends [J]. Military & Aero space Electronics, 2010: 1-3.

引证文献4

二级引证文献26

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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