Computer Science ›› 2018, Vol. 45 ›› Issue (9): 52-59.doi: 10.11896/j.issn.1002-137X.2018.09.007

• NASAC 2017 • Previous Articles     Next Articles

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

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

  1. School of Computer Science and Engineering,Beihang University,Beijing 100191,China
  • Received:2017-07-28 Online:2018-09-20 Published:2018-10-10

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: irborne software, Airworthiness review, Evidence model, DO-178C, Order8110.49

CLC Number: 

  • TP311
[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 andequipment 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] WU Guang-fu, CHEN Ying, ZENG Xian-wen, HE Dao-Jing and LI Jiang-hua. Design and Analysis of Token Model Based on Blockchain Technology [J]. Computer Science, 2020, 47(6A): 603-608.
[2] ZHAN Yun-jiao, WEI Ou and HU Jun. Formal Description of Requirement of Slats and Flaps Control System for DO-178C Case [J]. Computer Science, 2018, 45(4): 196-202.
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
[1] . [J]. Computer Science, 2018, 1(1): 1 .
[2] LEI Li-hui and WANG Jing. Parallelization of LTL Model Checking Based on Possibility Measure[J]. Computer Science, 2018, 45(4): 71 -75 .
[3] SUN Qi, JIN Yan, HE Kun and XU Ling-xuan. Hybrid Evolutionary Algorithm for Solving Mixed Capacitated General Routing Problem[J]. Computer Science, 2018, 45(4): 76 -82 .
[4] ZHANG Jia-nan and XIAO Ming-yu. Approximation Algorithm for Weighted Mixed Domination Problem[J]. Computer Science, 2018, 45(4): 83 -88 .
[5] WU Jian-hui, HUANG Zhong-xiang, LI Wu, WU Jian-hui, PENG Xin and ZHANG Sheng. Robustness Optimization of Sequence Decision in Urban Road Construction[J]. Computer Science, 2018, 45(4): 89 -93 .
[6] SHI Wen-jun, WU Ji-gang and LUO Yu-chun. Fast and Efficient Scheduling Algorithms for Mobile Cloud Offloading[J]. Computer Science, 2018, 45(4): 94 -99 .
[7] ZHOU Yan-ping and YE Qiao-lin. L1-norm Distance Based Least Squares Twin Support Vector Machine[J]. Computer Science, 2018, 45(4): 100 -105 .
[8] LIU Bo-yi, TANG Xiang-yan and CHENG Jie-ren. Recognition Method for Corn Borer Based on Templates Matching in Muliple Growth Periods[J]. Computer Science, 2018, 45(4): 106 -111 .
[9] GENG Hai-jun, SHI Xin-gang, WANG Zhi-liang, YIN Xia and YIN Shao-ping. Energy-efficient Intra-domain Routing Algorithm Based on Directed Acyclic Graph[J]. Computer Science, 2018, 45(4): 112 -116 .
[10] CUI Qiong, LI Jian-hua, WANG Hong and NAN Ming-li. Resilience Analysis Model of Networked Command Information System Based on Node Repairability[J]. Computer Science, 2018, 45(4): 117 -121 .