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.
On the MC/DC Code Coverage of Vulkan SC GPU Code
18.09.2022
1112198 byte
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
Tema Archiv | 1983
Online Contents | 1996
|Tema Archiv | 1976
|SLUB | 1988
|Hochelastische Vulkan- Schaltkupplungen
Kraftfahrwesen | 1974
|