The Computer Architecture and Operating System group at the Barcelona Supercomputing Center aims at carrying out research on programming models for critical embedded systems in charge of controlling fundamental parts of cars, airplanes and satellites. Our work is mainly done in the context of bilateral projects with several processor companies as well as several European-funded projects. For a complete list of publications of the group in the last years, please visit: www.bsc.es/caos
The objective of this position is to develop a method that will allow programming safety critical GPUs in a high level programming model, which will be qualifiable according to safety standards and will rely on Vulkan Safety Critical.
The work involves working with an existing source to source compiler and experimenting with avionics grade GPUs and APIs. Moreover, it includes the evaluation of the capabilities of these methods, both in terms of programmability as well as in terms of performance. The work will be performed within the context of collaborations with industrial partners from safety critical industries and in particular the aerospace domain.
The student is expected to enroll or have already been enrolled in a Bachelor’s program. The technical work performed during the candidate’s placement will contribute to the student’s Bachelor’s Thesis. Upon successful completion of the Bachelor’s degree, the student may be offered the possibility to continue for a Master’s degree, leading to PhD studies.
Key Duties
- Create a Vulkan SC backend on an existing source to source compiler for safety critical systems for a high level language
- Evaluate the programmability and performance of the implemented backend on an avionics grade GPU
- Adapt aerospace relevant software for the demonstration of the developed backend
Termini per aplicar: Divendres, 30 Juny, 2023
Més entrades de Beques
Cap comentari:
Publica un comentari a l'entrada