MDA choisit la plateforme GNAT Pro Assurance d’AdaCore pour le développement logiciel de la Station Spatiale Internationale

MDA choisit la plateforme GNAT Pro Assurance d’AdaCore pour le développement logiciel de la Station Spatiale Internationale

 Ada et GNAT Pro utilisés dans le sous-système de communication

 NEW YORK, PARIS & BURLINGTON, USA, le 15 novembre 2017 – AdaCore Tech Days –AdaCore vient d’annoncer que MDA, une business unit de Maxar Technologies, a choisi l’environnement de développement en Ada GNAT Pro Assurance pour le processeur cible LEON3 afin de produire le logiciel d’un sous-système de communication Ku-Band visant à remplacer la version actuelle. Ce sous-système critique de la Station Spatiale Internationale (SSI) doit fonctionner de façon fiable sur une longue période, une exigence qui a incité MDA à conserver Ada comme langage de programmation. Avec GNAT Pro Assurance, un service appelé branches maintenues va permettre à MDA de continuer à développer et conserver leur logiciel sur le long terme grâce à l’utilisation d’une version spécifique de la technologie GNAT Pro avec un accès aux mises à jour du générateur de code permettant de corriger les problèmes critiques.

 Le sous-système Ku-Band de remplacement, également connu comme étant le Contrôleur du système de transmission / réception de l’espace vers la terre, servira d’interface avec l’actuelle Antenne de l’espace vers la terre de la Station Spatiale Internationale, précédemment fournie par MDA. Le projet inclut un prototype et une unité de test. Le nouveau sous-système de Contrôle du système de transmission / réception de l’espace vers la terre supportera la mission de longue durée de la Station Spatiale Internationale et assurera la fiabilité et la disponibilité des connections des données à haut débit entre la SSI, les centres de contrôle et les laboratoires scientifiques au sol.

 Plusieurs outils contenus dans le produit GNAT Pro Assurance peuvent aider MDA à atteindre les objectifs du projet. Parmi eux, l’environnement de développement intégré personnalisable GNAT Programming Studio (GPS), des outils d’analyse statiques pour la détermination des tailles de piles logicielles (gnatstack) et le calcul des métriques de code (gnatmetric), un émulateur (gnatemulator) permettant d’exécuter le code cible LEON3 sur un hôte ainsi qu’un générateur de harnais de tests (gnattest), le tout supporté par les développeurs du produit d’AdaCore eux-mêmes.

« Nous avons décidé de réutiliser la majorité du code source original pour le remplacement du Contrôleur du système de transmission / réception de l’espace vers la terre dans son langage d’origine Ada comme un choix de design conservateur », a déclaré Bryan Tracy, Directeur en charge des logiciels pour le programme de remplacement du Contrôleur du système de transmission / réception de l’espace vers la terre. « Notre partenariat avec AdaCore nous permet de réaliser cela avec une confiance et une efficacité accrues ».

 « Ada et AdaCore jouissent d’une longue et fructueuse histoire dans les applications spatiales en général et auprès de MDA en particulier », s’est félicité Jamie Ayre, Directeur Commercial chez AdaCore. « Nous sommes ravis de voir que cette histoire se poursuit avec le souhait de MDA de faire appel à GNAT Pro Assurance pour le développement de leur sous-système de communication critique de la Station Spatiale Internationale. »

 A propos d’AdaCore

Fondée en 1994, AdaCore conçoit et fournit des outils de développement et de vérification de logiciels destinés à des applications pour lesquelles la sûreté, la sécurité et la fiabilité sont des éléments critiques. Quatre produits phares composent l’offre de la société :

• GNAT Pro, l’environnement de développement pour Ada, une boîte à outils complète pour concevoir, mettre en œuvre et gérer des applications requérant un niveau élevé de fiabilité et de maintenabilité,
• L’outil d’analyses statistiques avancées CodePeer, un réviseur et validateur automatique de code Ada capable de détecter et d’éliminer les erreurs aussi bien au cours du développement que rétrospectivement sur des logiciels existants,
• L’environnement de développement SPARK Pro, un ensemble d’outils basés sur des méthodes formelles et orientés systèmes à niveau d’assurance élevé, et
• L’outil de développement basé sur les modèles QGen, un générateur et vérificateur de code qualifiable et personnalisable pour les modèles Simulink^® and Stateflow^® destiné aux systèmes de contrôle critiques.

L'utilisation des produits AdaCore connaît une croissance continue dans des applications critiques telles que les systèmes spatiaux, l’avionique commerciale, les systèmes militaires, le contrôle aérien, les systèmes ferroviaires, les appareils médicaux ou les services financiers. AdaCore jouit d’une base fournie de clients internationaux en croissance constante; visitez le site www.adacore.com/customers/ pour de plus amples informations.

Les produits AdaCore sont libres et accompagnés d’un support expert en ligne fourni par les développeurs eux-mêmes. La société possède un siège nord-américain basé à New York et un siège européen basé à Paris. www.adacore.com

 Contacts Presse