Aldec a été sélectionné par Thalès pour déployer le DO-254/ED-80 CTS en conformité avec une certification de niveau B du système avionique avancé

Aldec, Inc. a annoncé aujourd’hui que Thalès avait décidé de déployer le DO-254/ED-80 CTS (ensemble d’outils de conformité) d’Aldec. Le DO-254/ED-80 CTS est un système de validation du FPGA intégré au matériel développé pour répondre aux conditions de niveaux A-D définies par les DO-254/ED-80 Design Assurance Guidance (conseils pour l’assurance de la conception DO-254/ED-80) pour le manuel de certification électronique aéroportée. Le déploiement du système a permis à Thalès de valider, pour les autorités de certification, le fait que le déploiement matériel de la conception RTL d’un système avionique avancé fonctionne correctement à la vitesse requise du FPGA ciblé.

« Notre projet impliquait un FPGA Altera Cyclone® II avec des horloges multiples et des vitesses excédant 128MHz. Nous voulions un chemin de vérification complet avec une traçabilité des conditions et la maintenance des résultats de simulation pour valider le fait que notre système fonctionnerait sur le matériel final que nous livrons à nos clients », a déclaré Eric Cardone, le directeur des programmes de la division Thales Land & Joint Systems Division. « Le DO-254/ED-80 CTS d’Aldec nous a apporté un moyen effectif de répondre aux conditions de la procédure de vérification de niveau B imposée par les autorités de certification de la norme DO-254. »

« La spécification d’une complète stratégie de tests pour vérifier chacune des conditions du système est une partie très importante de la procédure de certification DO-254/ED-80 », a déclaré le docteur Stanley Hyduke, le président d’Aldec. « L’équipe technique de Thalès a utilisé notre solution DO-254/ED-80 CTS pour vérifier que chaque condition du système critique de sécurité a été respectée sur le matériel cible final, comme l’exige le chapitre 6.2 Procédure de vérification de la spécification DO-254/ED-80. La solution était capable d’identifier les problèmes de conception et de fournir aux autorités de certification de la norme DO-254/ED-80, les données nécessaires à la conformité de niveau B. »

« Tandis que l’application mondiale de la norme DO-254 progresse, Thalès a pris un rôle de direction dans le secteur de l’avionique en adoptant la norme au sein de ses systèmes électroniques aéroportés », a déclaré Amr El-Ashmawi, le directeur général de l’unité commerciale de la division militaire et aérospatiale d’Altera. « Le système de validation d’Aldec DO-254/ED-80 CTS des FPGA intégrés au matériel, ainsi que le flux de conception et les FPGA Cyclone II d’Altera permet à Thalès d’avoir une solution de bout en bout qui règle les conditions de certification de la norme DO-254. Altera et son réseau mondial partenaire DO-254, notamment Aldec, reconnaissent l’importance de fournir aux sociétés comme Thalès un environnement DO-254 complet qui va faire économiser à la société une quantité importante de temps d’ingénierie et de coûts de développement. »

Thales Usage Model

Le DO-254/ED-80 CTS d’Aldec a permis aux ingénieurs de Thalès de mettre à jour et de résoudre des problèmes de conception invisibles à l’aide d’un simulateur logiciel HDL géré par les événements. Le DO-254/ED-80 CTS d’Aldec a utilisé le dispositif FPGA de cible finale réel et a permis de réutiliser les mêmes vecteurs de test que pour la simulation RTL afin de valider le fait que le fonctionnement des conceptions du matériel cible final respectait les conditions de vitesse réelles du système sans la nécessité d’une analyse supplémentaire comme c’est le cas avec d’autres solutions de vérifications ou d’autres prototypages. En utilisant les mêmes vecteurs de test pour chaque étape de la vérification de la conception, le DO-254/ED-80 CTS d’Aldec a généré des économies de temps pour la traçabilité des conditions et l’analyse des résultats. Les résultats de chacun des tests ont été enregistrés et documentés pour être utilisés dans la procédure de certification comme l’exige le manuel de certification DO-254/ED-80. De plus, Aldec a fourni un ensemble complet des tests outils pour la procédure de qualification en vertu de la spécification DO-254/ED-80.

Ensemble d’outils de conformité DO-254/ED-80

La solution DO-254/ED-80 CTS d’Aldec offre une prise en charge pour les niveaux A à D des « conseils pour l’assurance de la conception pour le matériel électronique aéroporté » (DO-254/ED-80), chapitre 6.2 « Procédure de vérification » et chapitre 11.4 « Évaluation des outils et procédure de qualification. » Le DO-254/ED-80 CTS consiste en une suite d’outils de simulation HDL de langages mélangés et en un système de simulation intégré au matériel qui prend en charge les dispositifs cibles FPGA, PLD ou ASIC spécifiques du client en proposant une vérification fonctionnelle et/ou un test en cours de vitesse.

Le circuit de vérification implique que la conception soit d’abord vérifiée dans le simulateur HDL pour en valider la fonctionnalité par rapport aux conditions, et puis dans le matériel FPGA de la cible finale. Un ensemble doré de vecteurs de forme d’onde validés lors de la simulation HDL sont automatiquement comparés à l’ensemble des vecteurs de forme d’onde générés à la suite de la simulation dans le matériel du dispositif FPGA de cible finale. Les tests effectués dans le matériel apportent l’assurance que la conception fonctionne dans le dispositif cible, exactement comme elle l’a fait lors de la simulation HDL, avec la pleine traçabilité des productions du matériel par rapport aux conditions de la conception.

Évaluation indépendante de l’outil

De plus, les tests dans le matériel fournissent l’évaluation indépendante des productions de la synthèse logique, du placement et du routage du vendeur de des FPGA, de la simulation HDL et des outils de couverture de code, répondant aux conditions de la norme DO-254/ED-80 pour les conditions de certification de niveau A et B.

À propos d’Altera

Altera Corporation (NASDAQ : ALTR) des solutions programmables permettent aux sociétés de systèmes et de semi-conducteurs d’innover rapidement et de façon économique, de différencier et de conquérir leurs marchés. Pour en savoir plus, consultez le site .

À propos d’Aldec

Aldec propose une suite de technologie brevetée comprenant : la saisie de la conception, les simulateurs HDL, la co-simulation, la vérification des règles de la conception, la vérification assistée par le matériel, la co-vérification, les cœurs IP, les ensembles d’outils de conformité DO-254 et les solutions techniques spécialisées.

Aldec est une marque de commerce d’Aldec, Inc. Toutes les autres marques de commerce ou marques déposées appartiennent à leurs propriétaires respectifs.

Le texte du communiqué issu d’une traduction ne doit d’aucune manière être considéré comme officiel. La seule version du communiqué qui fasse foi est celle du communiqué dans sa langue d’origine. La traduction devra toujours être confrontée au texte source, qui fera jurisprudence.