AdaCore, Anbieter von Softwareentwicklungs- und Verifikationswerkzeugen für vertrauenswürdige und sicherheitskritische Systeme, gibt bekannt, dass Rheinmetall Air Defence, die Nutzung von AdaCore-Tools und der Programmiersprache Ada ausweitet. Die Produktpalette des weltweit führenden Herstellers von modernen Luftverteidigungssystemen umfasst Geschütze, Radar- und Sensor-Tracker, Feuerleitlösungen und entsprechende Systeme für die Marine.
Rheinmetall und AdaCore setzen ihre seit acht Jahren bestehende Partnerschaft fort. Der Rüstungskonzern wird die Tools von AdaCore und die Programmiersprache Ada auch weiterhin für die Entwicklung und das Testen der komplexen, sicherheitskritischen Steuerungs- und Überwachungssysteme seiner hochentwickelten Luftabwehrkanonen nutzen. Diese Systeme vereinen die mechanische Steuerung der Geschütze mit der fortschrittlichen Elektronik für deren Bewegung und Modellierung. Die geschäftskritische eingebettete Lösung muss Multitasking in Echtzeit betreiben und die Sicherheitsanforderungsstufen 2 und 3 erreichen, um die verschiedenen Kundenansprüche zu erfüllen und die physikalische Prüfung der Kanone zu ermöglichen.
Rheinmetall hat das System in Ada entwickelt, da die Sprache Nebenläufigkeit zuverlässig und effizient handhabt und eine frühzeitige Fehlererkennung ermöglicht. Das ist für den erfolgreichen Betrieb der Geschütze von entscheidender Bedeutung. Ada bietet eine starke Performance in Verbindung mit einem geringen manuellen Testaufwand und einem auf Sicherheit ausgelegten Funktionsumfang. Die Sprache ist zudem stabil genug für die Entwicklung und Unterstützung langlebiger Softwarelösungen, die Nutzer auch über mehrere Generationen einer Plattform hinweg einsetzen können.
Bei Rheinmetall nutzt ein zwölfköpfiges Team von Programmierern ab sofort die Entwicklungsumgebung GNAT Pro von AdaCore, um Software weiterzuentwickeln und zu aktualisieren, an der Programmierer bereits seit 20 Jahren kontinuierlich arbeiten. Die aktuelle Version dieser Geschützsoftware umfasst derzeit etwa 750.000 Zeilen Code. Um die Verifikation der Software zu erleichtern, setzt das Rheinmetall-Team zwei spezielle Tools von AdaCore ein: CodePeer ein Toolset für die statische Analyse, dient dem Aufspüren von Fehlern und Schwachstellen, während das Team mit der GNAT Dynamic Analysis Suite Unit-Tests des Quellcodes durchführt. AdaCore unterstützt Rheinmetall allerdings nicht nur mit seiner führenden Technologie. Teil der Zusammenarbeit ist auch umfassender Support, der sich aus schnell verfügbarer Beratung durch Experten sowie einer Betreuung vor Ort bei Bedarf zusammensetzt.
"Für die Unterstützung unseres wichtigen und komplexen Projekts benötigen wir einen vertrauenswürdigen und langfristigen Partner, der uns eine Kombination aus passenden Software-Tools und umfassendem Support bietet“, erklärt Robert Sonderer, Software Development, Air Defence and Radar Systems bei Rheinmetall Air Defence. „Unser Team sieht täglich die Vorteile der Zusammenarbeit mit AdaCore, wenn es deren Lösungen nutzt, um die sich ständig verändernden geschäftskritischen Anforderungen zu erfüllen.“
"Für die Unterstützung unseres wichtigen und komplexen Projekts benötigen wir einen vertrauenswürdigen und langfristigen Partner, der uns eine Kombination aus passenden Software-Tools und umfassendem Support bietet“, erklärt Robert Sonderer, Software Development, Air Defence and Radar Systems bei Rheinmetall Air Defence. „Unser Team sieht täglich die Vorteile der Zusammenarbeit mit AdaCore, wenn es deren Lösungen nutzt, um die sich ständig verändernden geschäftskritischen Anforderungen zu erfüllen.“
Rheinmetall setzt auf die Technologie von AdaCore, da sie nahtlos mit dem eingebetteten Betriebssystem Wind River VxWorks zusammenarbeitet, auf dem die internen Geschützsysteme laufen. Eine wichtige Rolle spielt außerdem, dass die Tools von AdaCore sich für den Einsatz in einer mobilen, Laptop-basierten Umgebung eignen. Das ist deswegen nötig, da die physischen Tests auf einem abgelegenen Testgelände von Rheinmetall stattfinden, auf dem es keinerlei externe Verbindungen – etwa zu großen Servern – gibt.
„Das Projekt von Rheinmetall ist ein perfektes Beispiel für die Art von sicherheitskritischen und langlebigen eingebetteten Systemen, für die Ada ursprünglich entwickelt wurde“, sagt Quentin Ochem, Lead of Product Management and Business Development bei AdaCore. „Wir freuen uns über die erfolgreiche und langfristige Partnerschaft mit Rheinmetall, durch die das Unternehmen Kunden auf der ganzen Welt mit fortschrittlichen Luftverteidigungssystemen beliefern kann, die es mit unseren Tools entwickelt.“
Über Rheinmetall Air Defence
Rheinmetall ist einer der weltweit führenden Hersteller von modernen Flugabwehrsystemen. Das Unternehmen ist Weltmarktführer in der geschützbasierten Flugabwehr und kann als einziger Systemanbieter Feuerleittechnik, automatische Geschütze, integrierte Lenkflugkörper, AHEAD-Air-Burst-Munition anbieten. Rheinmetall Air Defence gehört zum Geschäftsbereich Electronic Solutions der Rheinmetall AG, einem Technologiekonzern, der auf den Gebieten der umweltfreundlichen Mobilität und der bedrohungsgerechten Sicherheitstechnik führend ist. https://www.rheinmetall-defence.com