Europäisches Luft- und Raumfahrtunternehmen entscheidet sich für GNAT Pro Ada
ID: 1843089
Airbus Helicopters hat sich für die GNAT-Pro-Toolsuite von AdaCore, einem Anbieter von Softwareentwicklungs- und Verifikationstools und der Programmiersprache Ada für die Entwicklung neuer Softwarekomponenten, für das Projekt des VSR700-Prototypen entschieden. VSR700 ist ein taktisches unbemanntes Luftfahrtsystem, das weltweit die Anforderungen der globalen Marine- und Militärstreitkräfte erfüllen soll.
Airbus Helicopters wählte die Entwicklungsumgebung GNAT Pro für Power PC VxWorks 6.x/Cert aufgrund mehrerer Kriterien, darunter die einfache Integration in die bestehende Entwicklungsinfrastruktur, die Fähigkeit zur Entwicklung von Monitoring-Algorithmen und die Unterstützung zur Zertifizierung der Software bis zu DO-178C Design Assurance Level B.
„Wir haben uns für AdaCore und die Programmiersprache Ada entschieden, weil wir glauben, dass diese Technologie und die damit verbundenen Tools die Wartungsfreundlichkeit und Qualität unserer Software erhöhen“, erklärt Matthieu Vatinet, Head of Embedded Software Products bei Airbus Helicopters. „Außerdem vereinfachen sie die Erbringung von Nachweisen für bestimmte Software-Zertifizierungsziele. Die Qualität des Supports von AdaCore war ein wesentlicher Grund für unsere Entscheidung; zudem erwarten wir, ausgereiften Code einfacher entwickeln zu können.“
„Da wir wussten, dass das Team von Airbus Helicopters einen hochzuverlässigen und sicheren Code für ihr VSR700-Prototypenprojekt entwickeln musste, waren wir sehr erfreut darüber, dass es sich für Ada und AdaCore entschieden hat“, erläutert Jamie Ayre, Commercial Director bei AdaCore. „Die Toolsuite GNAT Pro Ada bietet außergewöhnliche Verifikationsmöglichkeiten, die Airbus unterstützen, Probleme frühzeitig im Entwicklungsprozess zu erkennen – und zwar dann, wenn sie noch einfach und kostengünstig zu beheben sind. Unsere Support-Services behandeln zudem alle Fragen oder Probleme, die auftreten könnten.“
Unternehmensinformation / Kurzprofil:
AdaCore wurde 1994 gegründet und bietet Tools für Software-Entwicklung und Verifikation für kritische und sicherheitskritische Systeme. Zu den wichtigsten Produkten von AdaCore gehören die GNAT-Pro-Entwicklungsumgebung für Ada, das statische Analyse-Tool CodePeer, die Verifikationsumgebung SPARK Pro und das modellbasierte Entwicklungswerkzeug QGen. Zahlreiche Anwender haben die AdaCore-Produkte im Einsatz und unterhalten damit eine Vielzahl von kritischen Anwendungen in Bereichen wie Raumfahrtsysteme, kommerzielle Luftfahrt, militärische Systeme, im Flugverkehrsmanagement, bei Schienensystemen, bei Geräten der Medizintechnik und bei Finanzdienstleistungen. AdaCore verfügt über eine umfangreiche und wachsende weltweite Kundenbasis; nähere Informationen dazu unter www.adacore.com/customers
AdaCore-Produkte sind Open-Source und werden mit Online-Support durch die Entwickler zur Verfügung gestellt. Das Unternehmen hat seinen nordamerikanischen Hauptsitz in New York, der europäische Hauptsitz ist in Paris. Weitere Informationen unter www.adacore.com
AdaCore
Pamela Trevino
press(at)AdaCore.com
www.AdaCore.com
http://twitter.com/AdaCoreCompany
PR-COM GmbH
Sendlinger-Tor-Platz 6
80336 München
Andrea Groß
andrea.gross(at)pr-com.de
www.pr-com.de
Tel. +49-89-59997-803
Datum: 10.09.2020 - 14:05 Uhr
Sprache: Deutsch
News-ID 1843089
Anzahl Zeichen: 2212
Kontakt-Informationen:
Ansprechpartner: Andrea Groß
Stadt:
Paris
Telefon: 089 59997 803
Kategorie:
Internet
Meldungsart: Erfolgsprojekt
Versandart: Veröffentlichung
Freigabedatum: 10.09.2020
Diese Pressemitteilung wurde bisher 1628 mal aufgerufen.
Die Pressemitteilung mit dem Titel:
"Europäisches Luft- und Raumfahrtunternehmen entscheidet sich für GNAT Pro Ada"
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
Kommunikationsanwendung SecurePIM für VS-NfD-Einsatz auf Android-Smartphones und -Tablets vom BSI freigegeben ...
München, 9. September 2020 – Virtual Solution hat vom Bundesamt für Informationstechnik (BSI) die Freigabeempfehlung für den Einsatz der mobilen Kommunikationslösung SecurePIM Government SDS auf Android-Smartphones und -Tablets erhalten. Damit können jetzt Informationen bis zum Geheimhaltungs
Best News release Distribution Services In 2020 via AsiaPresswire ...
Hong Kong - When companies think about building brand image or launching a product or service, they often reach the market with lots of creative ideas. But are these ideas enough to take their achievement on the right way? Do their ideas include any of the best news release distribution services? Ye
Der Ausbau nationaler Sicherheitsbestände ist ein Irrweg ...
Aachen, 8. September 2020 – Peter Frerichs, Mitglied der Geschäftsleitung des Aachener Optimierungsspezialisten INFORM, sieht in der Forderung nach dem Ausbau nationaler Sicherheitsbestände einen Irrweg. Denn diese Form der Stabilisierung von Lieferketten ist mit vielen negativen Konsequenzen ve
