- Compilateur C qualifié pour les systèmes ferroviaires à sécurité critique

- Compilateur C qualifié pour les systèmes ferroviaires à sécurité critique

Le compilateur C de la chaîne d'outils GNAT Pro Ada d’AdaCore a été qualifié pour la conformité à la classe T3, le niveau le plus élevé de la norme de sécurité européenne Cenelec EN 50128. La qualification T3 de la chaîne d'outils a été réalisée sur l’architecture PowerPC ELF afin d'inclure le compilateur C de ce produit. La qualification a été réalisée pour Alstom dans les systèmes ferroviaires critiques en matière de sécurité. ...

- Validation par l'évaluateur de sécurité indépendant Certifer

- La qualification T3 pour le compilateur C complète la qualification T3 antérieure faite pour le compilateur Ada de la chaîne d'outils

- Exécution de SuperTest, la suite de tests de conformité pour les compilateurs C de SolidSands, et de la suite de tests GCC de la Free Software Foundation

- Réalisation de l’analyse des rapports de problèmes liés à la version spécifique du compilateur C et correction de problèmes identifiés comme critiques

- Démonstration de l'intégration correcte du code C avec une application principale écrite en Ada