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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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


    Beteiligte:


    Erscheinungsdatum :

    18.09.2022


    Format / Umfang :

    1112198 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Vulkan-Kupplungen

    Tema Archiv | 1983


    Bremer Vulkan

    Todd, Tom | Online Contents | 1996


    Bremer Vulkan, Bremen

    Baumgaertner, G. | Tema Archiv | 1976


    Der Bremer Vulkan

    Roder, Hartmut | SLUB | 1988


    Hochelastische Vulkan- Schaltkupplungen

    Fa. Vulkan | Kraftfahrwesen | 1974