Thales Alenia Space : génération de code HDL conforme aux normes spatiales pour un processeur de communications par satellite UHF
Les modèles vérifiés peuvent être réutilisés lors de projets futurs
« Nous avions déjà utilisé Simulink® dans d’autres projets, ce qui nous a permis de réutiliser un grand nombre de modèles du projet UHF. Il est facile de créer une bibliothèque de modèles configurables conformes aux normes spatiales et de les réutiliser par la suite. »
Principaux résultats
- L’approche Model-Based Design a permis de réduire les délais de mise sur le marché ; la livraison de produits conformes aux normes est ainsi presque deux fois plus rapide qu’avec une écriture manuelle du code
- L’utilisation de l’approche Model-Based Design a réduit le nombre d’itérations requises entre les ingénieurs en algorithmes et FPGA tout en facilitant leur génération, rationalisant ainsi le workflow et les phases de validation
- Les modèles vérifiés peuvent être réutilisés sur différentes plateformes puisqu’ils sont indépendants de leur cible, ce qui élimine la nécessité de réécrire du code et permet un gain de temps sur la vérification des normes
Le processeur UHF dans le boîtier dans lequel il sera envoyé dans l’espace.
En raison de la nécessité d’accélérer la livraison des produits, l’écriture manuelle de code devient de moins en moins possible pour les FPGA complexes résistants aux radiations et utilisés dans l’espace. Pour relever ce défi lors du développement d’un processeur de communications UHF, Thales Alenia Space, une entreprise spécialisée dans les équipements spatiaux depuis 40 ans, a adopté l’approche Model-Based Design pour la génération de code.
Dans un premier temps, l’équipe a aligné l’approche Model-Based Design sur ses processus internes de conformité aux normes spatiales. Elle a ainsi pu créer un ensemble de pratiques pour le développement d’applications respectant ces normes. Les ingénieurs en algorithmes et FPGA ont collaboré pour définir des normes de modélisation reflétant la qualité des modèles et influençant le processus de génération de code, puis pour configurer des vérifications de ces normes en utilisant Simulink Check™. Ces normes pouvaient alors être mises en oeuvre automatiquement par les experts en algorithmes pendant que les ingénieurs FPGA se concentraient sur le reste du système. Il en résultait alors un code facilement lisible et toujours généré de la même façon. En outre, il est possible de relier de manière bidirectionnelle chaque partie du code avec ses éléments correspondants dans le modèle.
Par la suite, l’équipe de Thales Alenia a testé le modèle sur un test bench des équipements du client ; la performance du FPGA s’est montrée conforme à leurs attentes. Cette approche a facilité la vérification de la conformité aux normes, avec les rapports de HDL Coder™ et de Simulink Check en tant que preuve. Le workflow a également réduit le nombre d’itérations entre les designers de FPGA et d’algorithmes.
En adoptant l’approche Model-Based Design, Thales Alenia Space a réduit le temps de développement de 50 % par rapport à l’écriture manuelle de code. De plus, l’équipe a pu réutiliser les modèles vérifiés pour d’autres projets, puisqu’ils sont indépendants de leur cible.
