Title :
Towards understanding the DO-178C / ED-12C assurance case
Author :
Holloway, C. Michael
Author_Institution :
NASA Langley Res. Center, Hampton, VA, USA
Abstract :
This paper describes initial work towards building an explicit assurance case for DO-178C / ED-12C. Two specific questions are explored: (1) What are some of the assumptions upon which the guidance in the document relies, and (2) What claims are made concerning test coverage analysis?
Keywords :
aerospace computing; program testing; software standards; DO-178C/ED-12C assurance case; Software Considerations in Airborne Systems and Equipment Certification; certification; claims; commercial airplane software; explicit assurance case; test coverage analysis; assurance case; certification; confidence; software; standards;
Conference_Titel :
System Safety, incorporating the Cyber Security Conference 2012, 7th IET International Conference on
Conference_Location :
Edinburgh
Electronic_ISBN :
978-1-84919-678-9
DOI :
10.1049/cp.2012.1499
