General-Purpose GPU software is considered for use in avionics to satisfy the increased computational requirements of future systems. Therefore, it needs to be certified following the DO-178C guidance as all airborne software. In this work, we review the existing methods in the literature, we analyse their advantages and disadvantages, and we discuss how they can be combined to obtain certification with lower effort and cost. Our focus is restricted on application-level software, under the premise that successful completion of verification of avionics graphics GPU software products has been demonstrated, so their GPU compiler has been considered acceptable for these already DO-178C certified products, or existing qualified GPU compilers exist. Finally, we discuss upcoming solutions for certified general purpose GPU computing.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    DO-178C Certification of General-Purpose GPU Software: Review of Existing Methods and Future Directions


    Contributors:


    Publication date :

    2021-10-03


    Size :

    1627421 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English




    Software certification of safety-critical avionic systems: DO-178C and its impacts

    Won Keun Youn / Seung Bum Hong / Kyung Ryoon Oh et al. | IEEE | 2015



    2012-2473 Certification of Safety-Critical Software Under DO-178C and DO-278A

    Jacklin, S. / American Institute of Aeronautics and Astronautics | British Library Conference Proceedings | 2012


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

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