AccueilActualités informatiqueKhronos présente la spécification Vulkan pour les accélérateurs GPU critiques en termes...

Khronos présente la spécification Vulkan pour les accélérateurs GPU critiques en termes de sécurité

S’appuyant sur l’interface 3D Vulkan version 1.2, le groupe Khronos, un consortium ouvert d’entreprises industrielles axé sur les normes d’interopérabilité, a présenté une nouvelle spécification d’API libre de droits pour les applications accélérées par GPU dans les domaines critiques en termes de sécurité. Vulkan SC (safety-critical) 1.0 vise à garantir le respect des normes de sécurité fonctionnelle les plus strictes dans les secteurs industriels réglementés tels que la santé, l’automobile ou encore l’aéronautique.

Sommaire

Alors que Vulkan 1.2 met à disposition les conditions de base pour l’utilisation du matériel et des logiciels de l’accélérateur, l’architecture de la spécification SC est conçue pour pouvoir répondre plus facilement aux exigences en matière de sécurité. Pour ce faire, Vulkan SC renonce entre autres à des fonctions inutiles et facilite aux développeurs la détection, le signalement et la correction des erreurs d’exécution. Les adaptations apportées à Vulkan SC visent à rendre la spécification globalement plus robuste en empêchant les comportements indéfinis et en renonçant aux paramètres inutilisés.

La nouvelle spécification API élaborée par le Vulkan Safety Critical Working Group, créé en 2019, s’inspire également à cet effet de normes établies telles que MISRA C, qui est conçue pour la sécurité dans des domaines critiques tels que l’industrie automobile et des applications embarquées comparables. MISRA C, par exemple, suit une approche stricte pour éviter les extensions de langage dont les effets potentiels sur la sécurité n’ont pas encore été évalués de manière définitive. En outre, Vulkan SC vise les normes relatives à la sécurité telles que l’ISO 26262 (Automotive Safety Integrity Level), l’IEC62304 (appareils médicaux) ou le FACE (Future Airborne Capability Environment), pertinent dans l’aviation.

Selon l’annonce, Vulkan SC contribue en outre à découpler le développement logiciel du développement matériel, afin de faciliter d’une part l’intégration de nouveaux composants matériels et d’autre part de permettre la réutilisation du logiciel à travers les plates-formes et les différentes versions du système.

De plus amples informations sur Vulkan SC 1.0 sont disponibles dans l’annonce officielle du consortium. La spécification de l’API et la suite de tests de conformité Vulkan SC correspondante sont disponibles en open source dans le dépôt GitHub du groupe Khronos.

Plus d'articles