Kunden-News

8. Sep 2020

Europäisches Luft- und Raumfahrtunternehmen entscheidet sich für GNAT Pro Ada

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.“

Über AdaCore

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 

Pressekontakte

AdaCore
Pamela Trevino
press@AdaCore.com
www.AdaCore.com
http://twitter.com/AdaCoreCompany

​PR-COM GmbH
Andrea Groß
andrea.gross@pr-com.de
www.pr-com.de
Tel. +49-89-59997-803