Argos Satellite Project

Thales

The GNAT Pro High Integrity Edition is being used by Thales to develop onboard instrument software for a unique, satellite-based worldwide location and data collection system dedicated to studying and protecting the environment.

Thales Selects AdaCore Toolset for Argos Satellite Project

GNAT Pro to be used on high-assurance software for global location and data collection system

SAN JOSE, Calif., NEW YORK and PARIS, May 2, 2011 – Embedded Systems Conference AdaCore, provider of tools and expertise for the development of mission-critical, safety-critical, and security-critical software, today announced that Thales Airborne Systems has selected the GNAT Pro High Integrity Edition to develop onboard instrument software for the next generation of the Argos satellite project. Argos is a unique, satellite-based worldwide location and data collection system dedicated to studying and protecting the environment. In addition to these core tasks, the Argos satellite family is also known for its safety and security-related applications, including boat localization, territorial security, and law enforcement. The GNAT Pro High-Integrity Edition, which encompasses AdaCore’s development environment and accompanying support services, is focused on Ada systems that need to achieve the highest levels of safety and/or security certification.

In its new mission, Argos will face several challenges. In particular, Argos-4 will simultaneously handle three times as many transmitters as Argos-3 and provide these transmitters with increased operational flexibility. Thales chose AdaCore because of AdaCore’s ability to provide a complete solution that includes an efficient development environment (GNAT Pro), a LEON 2 emulator (GNATemulator), and a code coverage tool (GNATcoverage) that does not require code instrumentation. This combination streamlines the development, testing, and validation of the software as all these tasks can be performed on the host development platform.

Operational since 1978, Argos enables scientists across the globe to gather information on any object equipped with an appropriate transmitter. Messages from these transmitters are recorded by a series of satellites carrying Argos instruments and then relayed to dedicated processing centers.

By measuring temperature, pressure, humidity and sea levels, Argos transmitters provide invaluable information on the planet and Earth’s atmosphere. Argos is used for a variety of applications, including volcano monitoring, ship and expedition tracking, fishing management, tracking animal migration, and geophysical data collection. Begun jointly by France and the United States (National Oceanic and Atmospheric Administration - NOAA), Argos is operated globally by Collecte Localisation Satellite (CLS), a subsidiary of the French Centre National d’Etudes Spatiales (CNES) and Ifremer, the French institute of marine research and exploration.

Thales will be using GNAT Pro for LEON ELF and the LEON 2 simulation platform. The LEON2 processor was commissioned by the European Space Agency (ESA), and is designed specifically for use in satellite systems. The 18 month project is expected to be completed in mid-2011, and is estimated to require approximately 25,000 lines of code. The Argos-4 contract is covered by the Thales corporate-wide software licence with AdaCore.

“The Argos project is an exciting addition to our ongoing work in the space and satellite sector,” said Michael Friess, Sales and Business Development Manager, AdaCore. “This new program extends our existing long term relationship with Thales and highlights our ability to provide innovative solutions for our space customers.”

About AdaCore
Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a state-of-the-art programming language designed for large, long-lived applications where safety, security, and reliability are critical. AdaCore's flagship product is the GNAT Pro development environment, which comes with expert on-line support and is available on more platforms than any other Ada technology. AdaCore has an extensive world-wide customer base; see http://www.adacore.com/home/company/customers/ for further information.

Ada and GNAT Pro see a growing usage in high-integrity and safety-certified applications, including commercial aircraft avionics, military systems, air traffic management/control, railway systems, and medical devices, and in security-sensitive domains such as financial services. The SPARK Pro toolset, available from AdaCore, is especially useful in such contexts.

AdaCore has North American headquarters in New York and European headquarters in Paris. www.adacore.com

Press Contacts
press@adacore.com

Thales sélectionne la suite d’outil AdaCore pour le projet de satellite ARGOS

GNAT Pro sera utilisé pour le logiciel de haute fiabilité déployé dans le système de géo-localisation et la collecte de données.

SAN JOSE, Calif., NEW YORK et PARIS, 2 Mai 2011 – Embedded Systems Conference - AdaCore, fournisseur d’outils et d’expertise pour le développement de logiciels critiques (« mission-critical, safety-critical, security-critical »), annonce aujourd’hui que THALES Systèmes Aéroportés a sélectionné GNAT Pro High Integrity Edition pour développer le logiciel de la nouvelle génération d’instruments des satellites du projet ARGOS. ARGOS est un système satellitaire unique de géo-localisation et de collecte de données au niveau mondial, dédié à l’étude et à la protection de l’environnement. Au delà de ces tâches, les satellites de la famille ARGOS sont aussi impliqués dans des applications de sûreté et de sécurité, comme la localisation de navires en mer, la sécurité intérieure ou l’application de peines de justice. GNAT Pro High-Integrity Edition, qui comprend l’environnement de développement d’AdaCore ainsi que les services associés, est focalisé sur les systèmes Ada qui subissent les contraintes de certification de sûreté et de sécurité les plus exigeantes.

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.

Thales utilisera GNAT Pro pour LEON ELF ainsi que la plateforme d’émulation pour le LEON 2. Le processeur LEON2 a été accrédité par l’agence spatiale européenne (ESA), conçu spécifiquement pour une utilisation sur un satellite ou un appareil spatial. Le projet de 18 mois sera achevé mi-2011, et contiendra approximativement 25 000 lignes de code. La plateforme GNAT Pro utilisée par l’équipe de l’ARGOS-4 est couverte par le contrat cadre signé entre THALES et AdaCore.

“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 ; voir http://www.adacore.com/customers/ pour de plus amples informations.

L'utilisation d'Ada et de GNAT Pro connaît une croissance continue dans les applications de haute intégrité ou certifiées pour la sûreté, comme les éléments d'avionique pour les appareils commerciaux, les systèmes militaires, le contrôle aérien, les systèmes ferroviaires, les appareils médicaux, et dans des domaines sensibles pour la sécurité comme les services financiers.

Contacts Presse
press@adacore.com

Thales väljer verktyg från AdaCore för satellitprojektet Argos

GNAT Pro kommer att användas på säkerhetskritisk mjukvara för globalt positions- och datainsamlingssystem

SAN JOSE, Calif., NEW YORK och PARIS, 2 maj 2011 – Embedded Systems Conference - AdaCore, leverantör av verktyg och expertis för utveckling av uppdrags- och säkerhetskritisk mjukvara, tillkännagav idag att Thales Airborne Systems har valt deras GNAT Pro High Integrity Edition för att utveckla mjukvara för instrument ombord på nästa generation av satellitprojektet Argos. Argos är ett unikt, satellitbaserat, globalt positions- och datainsamlingssystem, avsett att studera och skydda miljön och klimatet. Utöver denna huvuduppgift är Argos-familjen även känd för sina säkerhetsrelaterade tillämpningar, däribland lokalisering av fartyg, territoriell säkerhet och brottsbekämpning. Paketet GNAT Pro High-Integrity Edition, som omfattar AdaCores utvecklingsmiljö och tillhörande kundtjänster, är inriktat på Ada-system som behöver uppnå högsta möjliga nivåer av säkerhet och/eller skyddscertifiering.

Under sitt nya uppdrag kommer Argos att stå inför många utmaningar. Framför allt kommer Argos-4 att hantera tre gånger så många radiosändare som Argos-3 och ge dessa sändare utökad flexibilitet. Thales valde AdaCore på grund av AdaCores förmåga att erbjuda en komplett lösning som innefattar en effektiv utvecklingsmiljö (GNAT Pro), en LEON 2-emulator (GNATemulator), och ett kodtäckningsverktyg (GNATcoverage) som inte kräver kodinstrumentering. Denna kombination strömlinjeformar utvecklingen, testningen och valideringen av mjukvaran, eftersom alla dessa uppgifter då kan utföras på värddatorns utvecklingsplattform.

Argos har varit i drift sedan 1978 och när den utrustas med rätt radiosändare låter den vetenskapsmän över hela världen samla in information om alla sorters objekt. Meddelanden från dessa sändare tas emot av en samling satelliter utrustade med Argos-instrument, och vidarebefordras sedan till speciella bearbetningscenter.

Genom att mäta temperatur, tryck, luftfuktighet och vattennivåer tillhandahåller Argos sändare ovärderlig information om vår planet och dess atmosfär. Argos används i en mängd olika tillämpningar, bland annat för att övervaka vulkaner, för att spåra fartyg och expeditioner, ledning av fiske, för att spåra djurs migration och för insamling av geofysiska data. Argos-projektet inleddes av Frankrike och USA tillsammans (NOAA: Nationella oceaniska och atmosfäriska administrationen), och koordineras globalt av Collecte Localisation Satellite (CLS), ett dotterbolag till Frankrikes center för rymdstudier (CNES) och Ifremer, det franska institutet för marin forskning och utforskning.

Thales kommer att använda GNAT Pro för LEON ELF och simuleringsplattformen LEON 2. LEON 2-processorn beställdes av ESA (European Space Agency) och är särskilt utformad för att användas i satellitsystem. Det 18 månader långa projektet förväntas vara slutfört i mitten av 2011, och beräknas kräva ungefär 25 000 rader kod. Kontraktet för Argos-4 täcks av Thales bolagsomfattande mjukvarulicens från AdaCore.

”Argos-projektet är ett spännande tillskott i vårt pågående arbete i rymd- och satellitsektorn”, säger Michael Friess, försäljnings- och affärsutvecklingsansvarig på AdaCore. ”Detta nya program förlänger vårt befintliga, långsiktiga samarbete med Thales och illustrerar vår förmåga att erbjuda innovativa lösningar till våra rymdkunder.”

Om AdaCore
AdaCore grundades 1994 och är den ledande leverantören av kommersiella mjukvarulösningar för Ada, ett toppmodernt programmeringsspråk utformat för stora, långlivade tillämpningar där säkerhet, skydd och pålitlighet är kritiska faktorer. AdaCores flaggskeppsprodukt är utvecklingsmiljön GNAT Pro, som säljs med expert-support online och finns tillgänglig på fler plattformar än någon annan Ada-teknologi. AdaCore har en omfattande global användarbas; se http://www.adacore.com/customers/ för mer information.

Ada och GNAT Pro ser nu en stor ökning inom tillämpningar med hög integritet och säkerhetscertifiering, till exempel kommersiell flygteknik, militärsystem, flygtrafikledning/-kontroll, järnvägssystem, medicinsk utrustning, samt inom säkerhetskänsliga områden såsom finanstjänster. Verktygsuppsättningen SPARK Pro, som tillhandahålls av AdaCore, är särskilt användbar i sådana sammanhang.

AdaCore har ett nordamerikanskt huvudkontor i New York och ett europeiskt huvudkontor i Paris.

Pressekontakt:
press@adacore.com

Thales nutzt AdaCore-Werkzeuge für das Argos-Satellitenprojekt

GNAT Pro wird auf Hochsicherheitssoftware für das globale Lokalisierungs- und Datenerhebungssystem angewendet

Paris, 2. Mai 2011 - Thales Airborne Systems verwendet zur Entwicklung der On-Board-Software für die Instrumente der nächsten Generation des Argos-Satellitenprojektes die GNAT Pro High-Integrity Edition von AdaCore. Die GNAT Pro High-Integrity Edition, die AdaCores Entwicklungsumgebung und die dazugehörigen Services enthält, richtet sich an Ada-Systeme, die den höchsten Sicherheitsstandards entsprechen sollen.

Argos ist ein satellitenbasiertes, weltweites Lokalisierungs- und Datensammelsystem, das insbesondere Aufgaben in Wissenschaft und Umweltschutz übernimmt. Argos ist seit 1978 im Einsatz und erlaubt es Forschern in der ganzen Welt, über jedes Objekt, das mit einem entsprechenden Transmitter ausgestattet ist, Informationen zu sammeln. Nachrichten von diesen Transmittern werden von einer Reihe von Satelliten, die Argos-Instrumente tragen, aufgezeichnet und dann weitergeleitet. Argos wird für eine Vielzahl von Anwendungen eingesetzt, so zum Beispiel zur Überwachung vulkanischer Aktivitäten, Schiffs- und Expeditionslokalisierung, Überwachung von Zugvögeln und die Sammlung von geophysischen Daten. Im Unterscheid zu GPS beruht Argos darauf, dass die einzelnen Geräte als Transmitter aktiv Signale zu den Satelliten senden.

In seinem neuen Satellitenprojekt kann Argos-4 drei Mal so viele Transmitter wie das Vorgängersysten Argos-3 verarbeiten und ermöglicht diesen Transmittern größere Flexibilität. Thales hat AdaCore gewählt, da AdaCore eine komplette Lösung anbieten kann, die eine Entwicklungsumgebung (GNAT Pro), einen LEON 2 Emulator (GNATemulator) und ein Werkzeug zur Code Coverage (GNATcoverage), das keine Codeinstrumentalisierung benötigt, enthält. Diese Kombination von Werkzeugen verbessert die Entwicklung, den Test und die Validierung der Software, da alle diese Aufgaben auf dem Hostsystem ausgeführt werden können.

Argos wurde von Frankreich und den USA (National Oceanic and Atmospheric Administration - NOAA) gegründet und wird weltweit von Collecte Localisation Satellite (CLS), einer Zweigstelle des französischen Centre National d'Etudes Spatiales (CNES), und von Ifremer, dem französischen Institut der Meeresforschung und -–erkundung, betrieben.

Thales wird GNAT Pro für LEON 2 und die Simulationsplattform LEON 2 einsetzen. Der LEON-2-Prozessor wurde von der europäischen Weltraumorganisation (ESA) in Auftrag gegeben, und wurde speziell für den Einsatz in Satellitensystemen entworfen. Dieses Projekt von einer Dauer von 18 Monaten wird Mitte 2011 abgeschlossen sein, und es wird voraussichtlich 25.000 Zeilen Code umfassen.

"Das Argos-Projekt ist eine aufregende Bereicherung unserer Arbeit im Weltraum- und Satellitensektor", sagt Michael Friess, Sales und Business Development Manager von AdaCore. "Dieses neue Programm erweitert unsere langjährige Verbindung mit Thales und zeigt unsere Fähigkeit, unseren Kunden innovative Lösungen bereitzustellen."

Über AdaCore
AdaCore wurde 1994 gegründet und ist der führende Anbieter von kommerziellen Softwarelösungen für Ada, einer modernen Programmiersprache für Mission-Critical-Anwendungen in sicherheitskritischen Umgebungen. Das wichtigste Produkt des Unternehmens ist die Entwicklungsumgebung GNAT Pro, die Online-Support bietet und auf mehr Plattformen als jede andere Ada-Technologie verfügbar ist. Unternehmen aus aller Welt aus sicherheitssensiblen Bereichen wie der Luftfahrt, militärischen Systemen, der Flugverkehrskontrolle, dem Flugverkehrsmanagement, dem Eisenbahnbereich, der medizinischen Produkte oder dem Finanzsektor setzen AdaCore-Lösungen für sicherheitskritische Anwendungen ein. Hauptsitz des Unternehmens ist New York, das europäische Headquarter ist in Paris. Weitere Informationen:

Pressekontakte:
press@adacore.com