Next generation avionics systems require high performance, which can be provided by graphics processing units (GPUs). The newly introduced API Vulkan SC, enables the development of safety critical GPU software with complex control flow, whose certification is subject to DO-178C certifiability objectives, such as MC/DC code coverage.In this paper we explain for the first time how MC/DC coverage can be applied in Vulkan SC code as well as the type of potential development errors which can arise in GPU programming. We show how GPU code can be converted in equivalent sequential CPU code and how both versions can achieve 100% MC/DC code coverage.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    On the MC/DC Code Coverage of Vulkan SC GPU Code




    Publication date :

    2022-09-18


    Size :

    1112198 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Vulkan-Kupplungen

    Tema Archive | 1983


    Bremer Vulkan

    Todd, Tom | Online Contents | 1996


    Bremer Vulkan, Bremen

    Baumgaertner, G. | Tema Archive | 1976


    Der Bremer Vulkan

    Roder, Hartmut | SLUB | 1988


    Hochelastische Vulkan- Schaltkupplungen

    Fa. Vulkan | Automotive engineering | 1974