Logiciel de supervision DO-178C

de conceptionde vérificationde traitement d'images

Le contrôle de l'intégrité de l'image est un mécanisme utilisé pour vérifier de manière indépendante que toute image produite par une unité de traitement graphique programmable complexe (GPU) peut être considérée comme correcte et conforme à la sortie d'image prévue. L'évolution rapide de la technologie de génération d'écrans graphiques de l'industrie des PC commerciaux fournit des solutions peu coûteuses et exceptionnellement puissantes pour mettre en œuvre des systèmes d'affichage toujours plus performants et plus complexes. La complexité croissante des GPU s'accompagne d'une augmentation des pilotes et des codes d'application nécessaires au rendu d'une image à l'écran. La taille et la complexité croissantes du code posent problème. La FAA et d'autres autorités de certification internationales exigent que les logiciels soient conçus et testés conformément aux directives DO-178C pour les équipements aéronautiques critiques afin d'être certifiés pour une utilisation dans les systèmes aéronautiques. La solution idéale à la spirale des coûts de certification La certification DO-178 exige que le logiciel utilisé pour restituer les données critiques de vol soit soumis à des procédures de test et de vérification exhaustives et soigneusement documentées, dont le coût est prohibitif. Le processus de certification est d'autant plus compliqué que le GPU haute performance à bas prix de l'industrie du PC n'a pas d'historique de conception ni de données de vérification disponibles auprès du fabricant. Il ne dispose pas de données de soutien suffisantes et n'a pas été testé par le fabricant pour démontrer sa fiabilité opérationnelle et l'intégrité de sa conception. Cela rend impossible la certification DO-254 du matériel. Rendu complet et précis des données pour les applications critiques en matière de sécurité