计算机科学 ›› 2018, Vol. 45 ›› Issue (9): 52-59.doi: 10.11896/j.issn.1002-137X.2018.09.007
袁巍, 吴际, 刘超, 杨海燕
YUAN Wei, WU Ji, LIU Chao, YANG Hai-yan
摘要: 适航认证对机载软件至关重要,178C标准是重要的适航认证安全标准。Order8110.49指南提出了介入审查的适航认证方法,但是目前还未有对介入审查中软件计划阶段的178C目标符合性证据的研究。文中基于软件计划阶段需要审查的目标和DO-178C标准中针对目标的特征描述,提出了3种模型(标准证据模型、项目制品模型、项目相关证据模型),并通过项目相关证据模型向项目证据数据模型的转换生成证据信息检查单,确定了证据信息的来源。建立证据模型的审查方法为软件计划阶段的审查提供了证据收集的指导,减少了证据收集过程对审定方审定人员的依赖,提高了审查效率。最后,通过一个机载飞行显示器软件的案例说明了提出的证据模型具有可用性与有效性。
中图分类号:
[1]BOZZANO M,VILLAFIORITA A.Design and Safety Assessment of Critical Systems[M].Auerbach Publications,2010. [2]RTCA DO-178B.Software considerations in airborne system and equipment certification[S].Washington D.C.:RTCA,1992. [3]RTCA DO-178C.Software considerations in airborne system and equipment certification[S].Washington D.C.:RTCA,2008. [4]ZHENG J,HUANG Z Q,XU B F.Current progressand pros-pectsof airworthinesscertificationstandards[J].Computer Engineering and Design,2012,33(1):204-208. [5]FAA Order 8110.49.Software approval guidelines[S].Wa-shington D.C.,2003. [6]WEAVER R,DESPOTOU G,KELLY T,et al.Combining Software Evidence:Arguments and Assurance[C]∥SIGSOFT Software.England,2004:152-160. [7]CUI L J,REN B,LI Z.Airborne Software Airworthiness Review Based on DO-178B/C [J].Journal of Command and Control,2016,2(1):84-88. [8]ZHU Y M,JIN P,SUN Q Y,et al.Research of airborne software plan phase review [J].Aeronautical Science & Technology,2014,25(8):5-8. [9]STEINBERG D,BUDINSKY F,PATERNOSTRO M,et al. Eclipse Modeling Framework[M].US:Addison-Wesley Professional,2008:62-210. [10]NAIR S,DE LA VARA J L,SABETZADEH M,et al.Classification,Structuring,and Assessment of Evidence for Safety -- A Systematic Literature Review[C]∥2013 IEEE Sixth International Conference on Software Testing,Verification and Validation(ICST).2013:94-103. [11]FALESSI D,SABETZADEH M,BRIAND L,et al.Planning for Safety Evidence Collection:A Tool-Supported Approach Based on Modeling of Standards Compliance Information[C]∥IEEE Software.2011:849-860. [12]PANESAR-WALAWEGE R K.Using Model-Driven Engineering to Support the Certification of Safety-Critical Systems[D].Norway:University of Oslo,2012. [13]STAHL T.Model-Driven Software Development:Technology, Engineering,Management[M].New York:John Wiley & Sons.,2006:20-50. |
[1] | 战芸娇,魏欧,胡军. 面向DO-178C的襟缝翼控制系统需求的形式化描述 Formal Description of Requirement of Slats and Flaps Control System for DO-178C Case 计算机科学, 2018, 45(4): 196-202. https://doi.org/10.11896/j.issn.1002-137X.2018.04.033 |
[2] | 陈光颖,黄志球,陈哲,阚双龙. 面向DO-333的襟缝翼控制单元安全性分析 Safety Analysis of Slat and Flap Control Unit for DO-333 计算机科学, 2016, 43(5): 150-156. https://doi.org/10.11896/j.issn.1002-137X.2016.05.028 |
[3] | 孙磊,杨海燕,吴际. 基于IMA平台的嵌入式软件设计模型仿真及实时性分析方法 Simulation and Real-time Analysis for Embedded Software Design Model with Consideration of Integrated Modular Avionics Platform 计算机科学, 2015, 42(12): 95-97. |
|