Thales nutzt AdaCore-Werkzeuge für das Argos-Satellitenprojekt
ID: 398021
GNAT Pro wird auf Hochsicherheitssoftware für das globale Lokalisierungs- und Datenerhebungssystem angewendet
Paris, 3. 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 (1) 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.
In seinem neuen Satellitenprojekt kann Argos-4 drei Mal so viele Transmitter wie das Vorgängersystem 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) (2) und ein Werkzeug zur Code Coverage (GNATcoverage) (3), 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 für 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 für eine 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."
(1) http://www.adacore.com/home/products/gnatpro/development_solutions/safety-critical
(2) http://www.adacore.com/home/products/gnatpro/add-on_technologies/gnatemulator
(3) http://www.adacore.com/home/products/gnatpro/add-on_technologies/gnatcoverage
Diese Presseinformation kann unter www.pr-com.de abgerufen werden.
Weitere Infos zu dieser Pressemeldung:
Unternehmensinformation / Kurzprofil:
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: www.adacore.com
AdaCore
Jamie Ayre
press(at)AdaCore.com
www.AdaCore.com
http://twitter.com/AdaCoreCompany
PR-COM GmbH
Sandra Hofer
sandra.hofer(at)pr-com.de
www.pr-com.de
Tel. +49-89-59997-800
Datum: 03.05.2011 - 15:28 Uhr
Sprache: Deutsch
News-ID 398021
Anzahl Zeichen: 3517
Kontakt-Informationen:
Ansprechpartner: Sandra Hofer
Stadt:
Paris
Telefon: +49-89-59997-800
Kategorie:
Computer & Technik
Meldungsart: Unternehmensinformation
Versandart: Veröffentlichung
Freigabedatum: 03.05.2011
Diese Pressemitteilung wurde bisher 456 mal aufgerufen.
Die Pressemitteilung mit dem Titel:
"Thales nutzt AdaCore-Werkzeuge für das Argos-Satellitenprojekt "
steht unter der journalistisch-redaktionellen Verantwortung von
AdaCore (Nachricht senden)
Beachten Sie bitte die weiteren Informationen zum Haftungsauschluß (gemäß TMG - TeleMedianGesetz) und dem Datenschutz (gemäß der DSGVO).
28. März 2023 – AdaCore, Anbieter von Softwareentwicklungs- und Verifikationswerkzeugen für geschäfts- und sicherheitskritische Systeme, veröffentlicht RecordFlux. Das neue Toolset ermöglicht die Implementierung hochsicherer binärer Kommunikationsprotokolle. RecordFlux (www.adacore.com/re
AdaCore tritt der Rust Foundation bei ...
8. Februar 2023 – AdaCore, Anbieter von Softwareentwicklungs- und Verifikationswerkzeugen für geschäfts- und sicherheitskritische Systeme, gibt seinen Beitritt zur Rust Foundation als Silver Member bekannt. Die unabhängige und gemeinnützige Organisation fördert die Weiterentwicklung der Progr
AdaCore und Synopsys integrieren statische Analyse von Ada-Code in Coverity ...
Paris, 14. Dezember 2022 – AdaCore, Anbieter von Softwareentwicklungs- und Verifikationswerkzeugen für unternehmens- und sicherheitskritische Systeme, gibt die Zusammenarbeit mit der Synopsys Software Integrity Group bekannt, einem führenden Entwickler von Tools für Anwendungssicherheitstests.
Weitere Mitteilungen von AdaCore
BitDefender warnt vor Malware-Flut mit Bezug auf bin Laden-Tod ...
Über Suchanfragen wie „Osama bin Laden dead“ oder „Osama bin Laden killed“ sind manche User nicht zwangsläufig auf seriöse Webseiten gestoßen, sondern haben stattdessen ihre PCs mit digitalen Schädlingen verseucht. Nur Stunden nach der öffentlichen Bekanntgabe von bin Ladens Tod machte
X4 BPM Suite – Der Business Process Management Standard ...
Prozessmodellierung mit dem X4 Designer Der in der X4 BPM Suite enthaltene Prozess-Designer ermöglicht es, Unternehmensabläufe über eine grafische Notation abzubilden und zu dokumentieren. Die Zusammenarbeit zwischen IT und den Fachbereichen erfolgt in der gemeinsamen Entwicklungsoberflä
GMS Global Media Services weiter auf Wachstumskurs ...
Frankfurt – GMS Global Media Services wird den Mitarbeiterstamm vergrößern. Nachdem GMS im ersten Quartal 2011 einen weiteren Großauftrag mit einem bedeutenden internationalen Finanzkonzern abschließen konnte, sind momentan sechs neue Stellen ausgeschrieben. Bereits in der den vergangenen Mona
Biete-Auto.de – die neue Remarketing-Plattform für den KFZ-Vertrieb ...
Mehr Auto, weniger Aufwand - mit der neuen B2B-Internetplattform www.biete-auto.de steht Autohändlern ein neues und attraktives Medium zur Verfügung, welches beim schnelleren, flexibleren und lohnenderen Abverkauf von gebrauchten Fahrzeugen hilft und zugleich die Möglichkeit bietet, den Fahrzeug
