面向机载软件适航审查的软件计划阶段的证据模型

doi:10.11896／j.issn.1002-137X.2018.09.007

计算机科学 ›› 2018, Vol. 45 ›› Issue (9): 52-59.doi: 10.11896／j.issn.1002-137X.2018.09.007

• 第十六届全国软件与应用学术会议 • 上一篇下一篇

面向机载软件适航审查的软件计划阶段的证据模型

袁巍, 吴际, 刘超, 杨海燕

北京航空航天大学计算机学院北京100191

收稿日期:2017-07-28 出版日期:2018-09-20 发布日期:2018-10-10
通讯作者: 吴际(1974－),男,博士,副教授,主要研究领域为软件安全性与可靠性等,E-mail:wuji@buaa.edu.cn
作者简介:袁巍(1991-),男,硕士,主要研究领域为软件安全性与可靠性,E-mail:yuan_wei@buaa.edu.cn;刘超(1958－),男,博士,教授,主要研究领域为软件测试等;杨海燕(1974－),女,硕士,讲师,主要研究领域为软件工程等。
基金资助:
本文受民用飞机专项科研项目(MJ-S-2013-10)资助。

Evidence Model Oriented to Airborne Software Airworthiness Review of Software Planning Stage

YUAN Wei, WU Ji, LIU Chao, YANG Hai-yan

School of Computer Science and Engineering,Beihang University,Beijing 100191,China

Received:2017-07-28 Online:2018-09-20 Published:2018-10-10

摘要/Abstract

摘要： 适航认证对机载软件至关重要,178C标准是重要的适航认证安全标准。Order8110.49指南提出了介入审查的适航认证方法,但是目前还未有对介入审查中软件计划阶段的178C目标符合性证据的研究。文中基于软件计划阶段需要审查的目标和DO-178C标准中针对目标的特征描述,提出了3种模型(标准证据模型、项目制品模型、项目相关证据模型),并通过项目相关证据模型向项目证据数据模型的转换生成证据信息检查单,确定了证据信息的来源。建立证据模型的审查方法为软件计划阶段的审查提供了证据收集的指导,减少了证据收集过程对审定方审定人员的依赖,提高了审查效率。最后,通过一个机载飞行显示器软件的案例说明了提出的证据模型具有可用性与有效性。

关键词: DO-178C, Order8110.49, 机载软件, 适航审查, 证据模型

Abstract: Airworthiness certification is essential for airborne software.The 178C standard is an important safety certification standard for airworthiness.Order 8110.49 guideline sets out the method of airworthiness certification,but there is no research on the 178C target compliance evidence of the software planning phase involved in the review.Based on the objectives of the software planning phase and the feature description of the DO-178C standard,three models were proposed:standard evidence model,project-artifact model and project-related evidence model.And evidence information checklist isgenerated by converting the project-related evidence model to the project-related evidence data modelto determine the source of the evidence information.The review method for establishing the evidence model provides gui-dance for the collection of evidence for the review of the software planning phase,reducing the reliance on the auditor’sreview process and improving the efficiency of the review.And the availability and validity of the proposed evidence model were llustrated by an Airborne-Flight-Display software.

Key words: Airworthiness review, DO-178C, Evidence model, irborne software, Order8110.49

中图分类号:

TP311

袁巍, 吴际, 刘超, 杨海燕. 面向机载软件适航审查的软件计划阶段的证据模型[J]. 计算机科学, 2018, 45(9): 52-59. https://doi.org/10.11896／j.issn.1002-137X.2018.09.007

YUAN Wei, WU Ji, LIU Chao, YANG Hai-yan. Evidence Model Oriented to Airborne Software Airworthiness Review of Software Planning Stage[J]. Computer Science, 2018, 45(9): 52-59. https://doi.org/10.11896／j.issn.1002-137X.2018.09.007

参考文献

[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.

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed

面向机载软件适航审查的软件计划阶段的证据模型

Evidence Model Oriented to Airborne Software Airworthiness Review of Software Planning Stage

PDF (PC)

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 3

Metrics

本文评价

推荐阅读 0

[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.