{{{sourceTextContent.title}}}

ADA à bord : Thales emploie le MOUCHERON d'AdaCore pro pour le logiciel critique de l'avionique

{{{sourceTextContent.subTitle}}}

L'espace, la défense, le transport, et la société de valeurs mobilières Thales dans la défense de La, France, ont choisi et ont employé environnement d'ADA du MOUCHERON d'AdaCore le pro pour développer et vérifier un générateur qualifié d'autocode pour le logiciel aéroporté critique.

{{{sourceTextContent.description}}}

Le personnel de Thales a mis en application le générateur d'autocode en ADA ; l'outil prend un dossier de XML et produit le code source pour un système inclus de l'avionique qui sera évalué contre les objectifs de niveau de B des considérations dans de DO-178C/ED-12C logiciel norme dans certification aéroportée de systèmes et d'équipement.

Le processus de développement pour le générateur d'autocode a été effectué selon l'agence européenne de sécurité aérienne norme de considérations de qualification de l'outil DO-330/ED-215 (d'EASA), et l'outil a été qualifié pour le projet de l'avionique au ‑ 2. du niveau TQL de qualification d'outil.

MERIGNAC, France. L'espace, la défense, le transport, et la société de valeurs mobilières Thales dans la défense de La, France, ont choisi et ont employé environnement d'ADA du MOUCHERON d'AdaCore le pro pour développer et vérifier un générateur qualifié d'autocode pour le logiciel aéroporté critique. Le personnel de Thales a mis en application le générateur d'autocode en ADA ; l'outil prend un dossier de XML et produit le code source pour un système inclus de l'avionique qui sera évalué contre les objectifs de niveau de B des considérations dans de DO-178C/ED-12C logiciel norme dans certification aéroportée de systèmes et d'équipement.

En plus de l'environnement de compilation utilisé pour le développement et la vérification du générateur d'autocode, plusieurs outils d'AdaCore ont été utilisés pour le logiciel de l'avionique lui-même. Ceux-ci incluent l'environnement de développement intégré de programmation de studio de MOUCHERON (GPS) (ide), le vérificateur de norme de codage de GNATcheck, et l'analyseur structurel de couverture de GNATcoverage.

Selon l'ingénieur de Thales responsable du générateur d'autocode, utilisant un vérificateur standard de codage automatisé et un analyseur structurel qualifié de couverture de code a considérablement aidé le projet complètent le procédé de vérification d'outil.

« AdaCore a un long et histoire réussie dans l'industrie de l'avionique, avec une gamme de produits croissante qui a permis à des clients de développer et vérifier le logiciel sécurité-critique aux niveaux les plus élevés de la certification de DO-178B/C/ED-12B/C, » AdaCore Team Lead Jamie Ayre commercial indique. « Nous sommes heureux de voir le pro ADA de MOUCHERON employé par Thales, pour leur application et également le générateur qualifié d'autocode qui produit le code. »

L'ADA est (OIN) un langage de programmation normalisé à l'échelon international conçu pour longévital, la haut-fiabilité, systèmes en temps réel inclus, incarnant les caractéristiques saines de technologie de la programmation pour des applications séquentielles et concourantes tout en également fournissant des équipements pour la programmation de bas niveau. La version la plus récente de la langue, ADA 2012, inclut les caractéristiques pour la programmation basée sur contrat (telle que le sous-programme pre- et les postconditions) qui incluent des conditions de bas niveau dans le code source où elles peuvent être vérifiées dynamiquement avec les contrôles d'exécution ou à au moment de la compilation avec l'appui approprié d'outil.

MERIGNAC, France. L'espace, la défense, le transport, et la société de valeurs mobilières Thales dans la défense de La, France, ont choisi et ont employé environnement d'ADA du MOUCHERON d'AdaCore le pro pour développer et vérifier un générateur qualifié d'autocode pour le logiciel aéroporté critique. Le personnel de Thales a mis en application le générateur d'autocode en ADA ; l'outil prend un dossier de XML et produit le code source pour un système inclus de l'avionique qui sera évalué contre les objectifs de niveau de B des considérations dans de DO-178C/ED-12C logiciel norme dans certification aéroportée de systèmes et d'équipement.

Fondé en 1994, outils de développement et de vérification de logiciel d'approvisionnements d'AdaCore pour les systèmes mission-critiques, sécurité-critiques et sécurité-critiques. Quatre produits phares accentuent les offres de la société :

L'environnement pro-développement de MOUCHERON pour l'ADA, une panoplie d'outils complète pour concevoir, mise en oeuvre, et applications de gestion qui exigent la fiabilité et l'entretien élevés ;

Le CodePeer a avancé l'outil d'analyse statique, un critique automatique de code d'ADA et le Validator qui peuvent détecter et éliminer des erreurs pendant le développement et rétrospectivement sur le logiciel existant ;

Le pro environnement de vérification d'ÉTINCELLE, une panoplie d'outils basée sur des méthodes formelles et orientée vers des systèmes de haut-assurance ; et

La suite basée sur modèle d'instrument de développement de QGen pour les systèmes de contrôle sécurité-critiques, fournissant un générateur de code qualifiable et personnalisable, un vérificateur statique pour des modèles de Simulink® et de Stateflow®, et un débogueur niveau du modèle.

Sur des années les clients ont employé des produits d'ADA et d'AdaCore pour mettre en place et maintenir un large éventail d'applications critiques dans les domaines tels que l'avionique commerciale, des véhicules à moteur, ferroviaire, l'espace, les systèmes militaires, la gestion de trafic d'air/contrôle, les dispositifs médicaux, et les services financiers. AdaCore a une base de clients mondiale étendue et croissante.

Les produits d'AdaCore sont source ouverte et viennent avec l'appui en ligne expert fourni par les promoteurs eux-mêmes. La société a les sièges sociaux européens à Paris et les sièges sociaux nord-américains à New York.

Thales est une société globale de technologie pour l'espace, le transport, la défense, et les marchés des valeurs. Avec 64 000 employés dans 56 pays, Thales a rapporté des ventes de €14.9 milliard ($17,9 milliards) en 2016. Avec plus de 25 000 ingénieurs et chercheurs, Thales a une capacité unique pour concevoir et déployer l'équipement, les systèmes et les services pour répondre aux exigences les plus complexes de sécurité. Son empreinte de pas internationale exceptionnelle lui permet de fonctionner étroitement avec ses clients partout dans le monde.