Concernant les GPU, je n'ai pas encore vu de code certifié.
J’ai participé au driver graphique pour l’A350, la puce graphique est certifiée DAL-A, développé en interne. Au niveau puissance on est loin des normes actuelles sur PC... Mais on est capable de garantir que si un dessin d’une application met trop de temps, l’application critique aura le temps d’être dessiné, ça fait du T&L.
Pour les aspects multi-cœur, le problème vient surtout de comment garantir qu’un cœur ne prend pas toute la bande passante RAM, PCI pour lui en retardant les autres.
Pour ceux qui ne connaissent pas ce genre de domaine, l’objectif n’est pas d’être performant, mais de garantir qu’on est certain d’avoir le temps de faire les traitements dans le temps imparti. Si notre BUS mémoire n’est pas disponible, on perd la garanti.
[^] # Re: Le cerveau n'est pas logique
Posté par Anthony Jaguenaud . En réponse au journal Pourquoi la recherche en langages de programmation ?. Évalué à 4.
J’ai participé au driver graphique pour l’A350, la puce graphique est certifiée DAL-A, développé en interne. Au niveau puissance on est loin des normes actuelles sur PC... Mais on est capable de garantir que si un dessin d’une application met trop de temps, l’application critique aura le temps d’être dessiné, ça fait du T&L.
Pour les aspects multi-cœur, le problème vient surtout de comment garantir qu’un cœur ne prend pas toute la bande passante RAM, PCI pour lui en retardant les autres.
Pour ceux qui ne connaissent pas ce genre de domaine, l’objectif n’est pas d’être performant, mais de garantir qu’on est certain d’avoir le temps de faire les traitements dans le temps imparti. Si notre BUS mémoire n’est pas disponible, on perd la garanti.