民用飞机空气管理系统(AMS)机载软件计划阶段评审综述
摘要
本文首先介绍民用飞机机载软硬件的适航认证标准,重点介绍DO-178B;其次介绍了空气管理系统及其对应的机载软件,并以这套机载软件研制过程中的计划文件为例,描述了计划文件的评审过程,总结了评审的重点及难点;最后对目前软件适航评审技术进行了总结及展望。
出处
《科技信息》
2013年第18期263-264,共2页
Science & Technology Information
二级参考文献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.
-
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.
共引文献17
-
1赵宇.赤峰市桥梁水毁原因与治理[J].内蒙古公路与运输,2000(1):39-40. 被引量：2
-
2郭鹏,张亚棣,李亚晖,刘帅.新一代机载计算机资源架构研究[J].航空计算技术,2013,43(1):127-130.
-
3何鑫,刘畅,郑军.基于DO-178B的软件测试技术研究[J].计算机测量与控制,2013,21(6):1470-1473. 被引量：3
-
4刘煜,尤海峰.GJB5000A与DO-178B的结合实施方案[J].计算机应用,2013,33(A01):255-258. 被引量：5
-
5胡宁.从DO-178C的新变化透视软件适航关注点[J].航空计算技术,2014,44(4):94-98. 被引量：6
-
6孙全艳,金平,章晓春,朱宇蒙.基于DO-178C的软件衍生需求分配[J].航空科学技术,2014,25(8):44-47.
-
7王金林,牟明,邢亮.GJB5000A与DO-178B/C的综合应用研究[J].航空计算技术,2015,45(1):100-102. 被引量：3
-
8李凌.基于GJB5000A-2008的军用机载软件配置管理模型研究[J].计算机光盘软件与应用,2015,18(1):89-92. 被引量：8
-
9牟明,邢亮.模型开发在型号软件研制中的应用研究[J].航空计算技术,2015,45(3):76-79. 被引量：5
-
10刘畅,李海峰,沈国华,顾益,刘银陵.支持SPIN验证的详细级SFMEA方法研究[J].计算机应用与软件,2016,33(5):281-284. 被引量：1
-
1程立嘉,程晓忠,左彦声.大型客机空气管理系统现状与发展趋势[J].航空科学技术,2008(3):7-8. 被引量：5
-
2段春,李德庆.民用飞机空气管理系统台架试验用传感器的布局与选型考虑[J].科技视界,2014(17):77-77.
-
3薛战东,左泽轩.民用运输类飞机AMS TAR功能及其验证方法[J].科技视界,2015(26):88-89.
-
4孙良峰.信号驱动的空气管理系统控制逻辑建模方法[J].科技视界,2016(16):108-108.
-
5JAVA联盟直逼微软[J].共创软件,2002(1):95-95.
-
6刘玉然.应用软件工程原理,搞好软件开发[J].价值工程,2003(2):92-93.
-
7宋晓秋.航天型号软件研制过程中的并行工程[J].质量与可靠性,2001(6):29-30. 被引量：1
-
8董曦.基于GJB5000A三级RskM过程域的软件开发技术探讨[J].数字技术与应用,2013,31(11):203-203.
-
9刘璟炜,遇今.航天器软件质量模型及度量指标[J].质量与可靠性,2014(2):52-56.
-
10Adobe创意大学软件计划[J].微电脑世界,2011(10):88-88.
