{{{sourceTextContent.title}}}

Airbus wählt Software-Entwicklungsanzug für unbemanntes Hubschraubersystem

{{{sourceTextContent.subTitle}}}

AdaCore, ein bewährter Anbieter von Softwareentwicklungs- und Verifikationswerkzeugen, hat bekannt gegeben, dass Airbus Helicopters (Frankreich) seine GNAT Pro-Werkzeugsuite und die Programmiersprache Ada ausgewählt hat, um neue Softwarekomponenten für das VSR700-Prototypenprojekt zu entwickeln.

{{{sourceTextContent.description}}}

Das VSR700 ist das taktische unbemannte Luftsystem (UAS) von Airbus Helicopters, das die hohen Anforderungen der globalen Marinen und Armeen des 21. Jahrhunderts erfüllen soll.

Airbus Helicopters entschied sich für GNAT Pro AdaCore's GNAT Pro Ada für PowerPC VxWorks 6.x/Cert aufgrund mehrerer Kriterien, darunter die einfache Integration in die bestehende Entwicklungsinfrastruktur, die Fähigkeit zur Entwicklung von Überwachungsalgorithmen und die Fähigkeit, bei der Zertifizierung der Software bis zum DO-178C Design Assurance Level B zu helfen.

Matthieu Vatinet, Leiter des Bereichs eingebettete Softwareprodukte, sagte Airbus Helicopters: "Wir haben uns für AdaCore und die Ada-Sprache entschieden, weil wir glauben, dass diese Technologie und die damit verbundenen Werkzeuge die Wartbarkeit und Qualität unserer Software erhöhen und es einfacher machen, einige Nachweise für bestimmte Software-Zertifizierungsziele zu erbringen. Die Qualität des Supports von AdaCore war ein wichtiger Vorteil, und ein weiterer erwarteter Vorteil war die Leichtigkeit der Entwicklung von ausgereiftem Code

Jamie Ayre, kaufmännischer Direktor von AdaCore, kommentierte dies: "Da wir wussten, dass das Team von Airbus Helicopters für sein VSR700-Prototypenprojekt einen äußerst zuverlässigen und sicheren Code entwickeln musste, waren wir sehr erfreut, dass sie sich für Ada und AdaCore entschieden haben. Die Tool-Suite GNAT Pro Ada bietet außergewöhnliche Verifikationsfähigkeiten, die Airbus dabei helfen werden, Probleme frühzeitig in ihrem Entwicklungsprozess zu erkennen, wenn sie am einfachsten und kostengünstigsten zu beheben sind. Und unsere Support-Dienstleistungen werden sich um alle Fragen oder Probleme kümmern, die auftreten können"

AdaCore liefert Softwareentwicklungs- und Verifikationswerkzeuge für unternehmens-, sicherheits- und sicherheitskritische Systeme. Vier Vorzeigeprodukte unterstreichen das Angebot des Unternehmens. Die GNAT Pro-Entwicklungsumgebung ist ein vollständiger Werkzeugsatz für den Entwurf, die Implementierung und die Verwaltung von Anwendungen, die eine hohe Zuverlässigkeit und Wartbarkeit erfordern.

Im Laufe der Jahre haben Kunden AdaCore-Produkte für den Einsatz und die Wartung einer Vielzahl kritischer Anwendungen in Bereichen wie zivile und militärische Avionik, Automobil-, Eisenbahn-, Raumfahrt- und Verteidigungssysteme, Flugverkehrsmanagement/-steuerung, medizinische Geräte und Finanzdienstleistungen verwendet.

AdaCore

www.adacore.com