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 for using software on commercial airplanes. A new edition of the standard, DO-178C/ED-12C, was published in December 2011, and recognized by regulatory bodies in 2013. The purpose remains unchanged: to provide guidance 'for the production of software for airborne systems and equipment that performs its intended function with a level of confidence in safety that complies with airworthiness requirements.' The text of the guidance does not directly explain how its collection of objectives contributes to achieving this purpose; thus, the assurance case for the document is implicit. This paper presents an explicit assurance case developed as part of research jointly sponsored by the Federal Aviation Administration and the National Aeronautics and Space Administration.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Explicate '78: Uncovering the Implicit Assurance Case in DO-178C


    Contributors:

    Conference:

    Safety-Critical Systems Symposium 2015 (SSS 2015) ; 2015 ; Bristol, United Kingdom
    Safety-Critical Systems Club (SCSC) Annual Symposium ; 2015 ; Bristol, United Kingdom


    Publication date :

    2015-02-03


    Type of media :

    Conference paper


    Type of material :

    No indication


    Language :

    English







    Tool-Supported Structural Coverage Analysis for DO-178C Compliant Software

    Peleska, Jan / Brauer, Jörg / Dahlweid, Markus | SAE Technical Papers | 2015


    Adapting DO-178C processes by implementing a reverse engineering technique

    Bingol, Mehmet Koray / Deniz, Etem / Sari, Mustafa et al. | IEEE | 2014

    Free access