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
YUAN Wei, WU Ji, LIU Chao, YANG Hai-yan
CLC Number:
[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. |
|