Europäisches Luft- und Raumfahrtunternehmen entscheidet sich für GNAT Pro Ada
(IINews) - Paris, 8. September 2020 – Airbus Helicopters hat die Toolsuite GNAT Pro Ada von AdaCore für die Entwicklung eines unbemannten Luftfahrtsystems basierend auf dem Echtzeitbetriebssystem VxWorks 6.x Cert für PowerPC ausgewählt.
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.“
Themen in diesem Fachartikel:
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: 0
Kontakt-Informationen:
Ansprechpartner: Andrea Groß
Stadt:
Paris
Telefon: 089 59997 803
Kategorie:
Internet
Anmerkungen:
Dieser Fachartikel wurde bisher 138 mal aufgerufen.
Der Fachartikel 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).