Comparison of GPU Computing Methodologies for Safety-Critical Systems: An Avionics Case Study

Introducing advanced functionalities in safety-critical systems requires using more powerful architectures such as GPUs. However software in safety-critical industries is subject to functional certification, which cannot be achieved using standard GPU programming languages such as CUDA and OpenCL. F...

Full description

Saved in:
Bibliographic Details
Published in:Proceedings - Design, Automation, and Test in Europe Conference and Exhibition pp. 717 - 718
Main Authors: Benito, Marc, Trompouki, Matina Maria, Kosmidis, Leonidas, Garcia, Juan David, Carretero, Sergio, Wenger, Ken
Format: Conference Proceeding
Language:English
Published: EDAA 01.02.2021
Subjects:
ISSN:1558-1101
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Introducing advanced functionalities in safety-critical systems requires using more powerful architectures such as GPUs. However software in safety-critical industries is subject to functional certification, which cannot be achieved using standard GPU programming languages such as CUDA and OpenCL. Fortunately, GPUs are already used in certified critical systems for display tasks, using safety-certified solutions such as OpenGL SC 2.0. In this paper, we compare two state-of-the art graphics-based methodologies, OpenGL SC 2.0 and Brook Auto/BRASIL for the implementation of a prototype avionics case study. We evaluate both methods on a realistic industrial setup, composed by an avionics-grade GPU and a safety-certified GPU driver in terms of development metrics and performance, showing their feasibility.
ISSN:1558-1101
DOI:10.23919/DATE51398.2021.9474060