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: Airworthiness review, DO-178C, Evidence model, irborne software, 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 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] 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   
No Suggested Reading articles found!