Explicate '78: Uncovering the Implicit Assurance Case in DO-178C
作者： C. Michael Holloway
DOI:
关键词: DO-178C 、 Decision support system 、 Software quality analyst 、 Engineering management 、 Certification 、 Systems engineering 、 Software security assurance 、 Engineering 、 Airworthiness 、 Software quality 、 Aviation
摘要: For about two decades, compliance with Software Considerations in Airborne Systems and Equipment Certification (DO-178B/ED-12B) has been the primary means for receiving regulatory approval using software on commercial airplanes. A new edition of standard, DO-178C/ED-12C, was published December 2011, recognized by bodies 2013. The purpose remains unchanged: to provide guidance 'for production airborne systems equipment that performs its intended function a level confidence safety complies airworthiness requirements.' text does not directly explain how collection objectives contributes achieving this purpose; thus, assurance case document is implicit. This paper presents an explicit developed as part research jointly sponsored Federal Aviation Administration National Aeronautics Space Administration.
jaxa.jp参考文章(19)
Jian Chang, Insup Lee, Oleg Sokolsky, Anaheed Ayoub, Assessing the Overall Sufficiency of Safety Arguments 21st Safety-Critical Systems Symposium (SSS'13). pp. 127- 144 ,(2013)
John Rushby, Logic and Epistemology in Safety Cases international conference on computer safety reliability and security. pp. 1- 7 ,(2013) , 10.1007/978-3-642-40793-2_1
Patrick John Graydon, Towards a Clearer Understanding of Context and Its Role in Assurance Argument Confidence Lecture Notes in Computer Science. pp. 139- 154 ,(2014) , 10.1007/978-3-319-10506-2_10
Advances in Systems Safety aiss. ,(2011) , 10.1007/978-0-85729-133-2
C. Michael Holloway, Making the Implicit Explicit: Towards an Assurance Case for DO-178C ,(2013)
Tangming Yuan, Tim Kelly, Argument Schemes in Computer System Safety Engineering Informal Logic. ,vol. 31, pp. 89- 109 ,(2011) , 10.22329/IL.V31I2.2965
R.F. Paige, N.J. Tudor, R.A. Weaver, I. Toyn, J. McDermid, Proof Vs Testing in the Context of Safety Standards 24th Digital Avionics Systems Conference. ,vol. 2, ,(2005) , 10.1109/DASC.2005.1563405
Richard Hawkins, Tim Kelly, John Knight, Patrick Graydon, A New Approach to creating Clear Safety Arguments Advances in Systems Safety. pp. 3- 23 ,(2011) , 10.1007/978-0-85729-133-2_1
John Knight, Fundamentals of Dependable Computing for Software Engineers ,(2012)
Yutaka Matsuno, A Design and Implementation of an Assurance Case Language dependable systems and networks. pp. 630- 641 ,(2014) , 10.1109/DSN.2014.97