-800x600-c-default.jpg)
Thales sélectionne la suite d’outil AdaCore pour le projet de satellite ARGOS
La nouvelle mission du système ARGOS relève plusieurs défis. En particulier, ARGOS-4 sera capable de gérer simultanément trois fois plus de transmetteurs qu’ARGOS-3, tout en offrant à ces transmetteurs une flexibilité opérationnelle accrue. Thales a choisi AdaCore pour sa capacité à fournir une solution intégrée et complète, qui inclut un environnent de développement performant (GNAT Pro), un émulateur LEON 2 (GNATemulator) et un outil de couverture de code (GNATcoverage) qui ne nécessite pas d’instrumentation de code. Cette combinaison rationalise le développement, le test et la validation logicielle en permettant de réaliser l’ensemble de ces activités sur une seule et même plateforme hôte.
Opérationnel depuis 1978, le système ARGOS permet aux scientifiques du monde entier de collecter des données à partir de tout objet équipé du transmetteur approprié. Les messages de ces transmetteurs sont enregistrés par une série de satellites ARGOS avant d’être délivrés aux centres d’analyse.
En mesurant la température, la pression, l’humidité et le niveau de la mer, les transmetteurs ARGOS fournissent une information inestimable sur la planète et son atmosphère. ARGOS est utilisé dans une variété d’applications, comme l’analyse de l’activité volcanique, le transport maritime, la gestion des zones de pêche, le suivi des migrations animales et la collecte de données géophysiques. Initialement développé par la France et les États-Unis (National Oceanic and Atmospheric Administration – NOAA), ARGOS est utilisé au niveau mondial par la Collecte Localisation Satellite (CLS), un sous-traitant du Centre National d’Etudes Spatiales (CNES) ainsi que par Ifremer, l’institut français de recherche pour l’exploration de la mer. “Le projet ARGOS est une addition passionnante aux projets pour lesquels nous travaillons dans le domaine des satellites et du spatial,” déclare Michael Friess, responsable du développement business et vente chez AdaCore. “Ce nouveau programme étend notre partenariat de longue date avec Thales, et démontre notre capacité à fournir des solutions innovantes pour nos clients travaillant dans le domaine spatial. ”
À propos d’AdaCore
AdaCore, fondé en 1994, est le premier fournisseur de solutions logicielles commerciales pour Ada, un langage de programmation de pointe conçu pour des applications de grande taille et à grande durée de vie. Les technologies fournies par AdaCore sont particulièrement adaptées aux applications pour lesquelles la sûreté, la sécurité et la fiabilité sont des éléments critiques. Le produit phare d’AdaCore est l’environnement de développement GNAT Pro, disponible sur le plus vaste ensemble de plateformes de toutes les technologies Ada. Il est fournit avec un support en ligne dispensé par des experts parmi les plus reconnus dans le domaine. AdaCore dispose d’une large base de clients située dans le monde entier.
https://www.adacore.com/home/company/customers/
Si vous avez apprécié cet article, vous aimerez les suivants : ne les manquez pas en vous abonnant à :