Consafe Logistics wählt GNAT Pro für kritische Firmware im Lagersteuerungssystem

Consafe Logistics ermöglicht mit GNAT Pro von AdaCore Stabilität, Schutz und Sicherheit bei der Steuerung komplexer und automatisierter Lagerlösungen.

Consafe Logistics, der führende europäische Anbieter von Lagerverwaltungssystemen, setzt die GNAT-Pro-Entwicklungsumgebung von AdaCore für die Ada-Programmiersprache ein, um geschäftskritische Firmware innerhalb seines innovativen Warehouse Control Systems (WCS) zu implementieren. Mit GNAT Pro Ada kann Consafe Logistics strenge Sicherheitsanforderungen erfüllen. Das trägt dazu bei, dass diese Systeme an den großen und komplexen Lagerstätten seiner Kunden zuverlässig, sicher und störungsfrei arbeiten.

Die Lösungen von Consafe Logistics werden in mehr als 500 Lagerhäusern in 30 Ländern eingesetzt und liefern Waren an Millionen von Kunden. Um die Bedeutung zu verdeutlichen: Ein Lagerhaus ist Start oder Endpunkt für 30 Prozent der täglichen Lebensmitteltransporte in Schweden. Andererseits kann ein 25-minütiger Systemstillstand in einem Lagerhaus in Deutschland zu Staus auf der Autobahn führen.

Consafe Logistics hat sich für Ada für die hochsichere Firmware innerhalb seiner WCS-Lösung aufgrund des hohen Maßes an Zuverlässigkeit, Sicherheit, Wartbarkeit und Performance entschieden. Die leistungsstarken Typen- und andere Kompilierzeitüberprüfungen von Ada erkennen Fehler, noch bevor der Code ausgeführt wird. Die Laufzeitüberprüfungen der Sprache entdecken Fehler wie Pufferüberläufe während der Testphase und halten so das eingesetzte System frei von Schwachstellen. Mit GNAT Pro hat Consafe Logistics eine interne Lösung ersetzt. GNAT Pro ermöglicht kürzere Entwicklungszyklen und sorgt dafür, dass der Code beim Kompilieren fehlerfrei ausgeführt wird. Zudem bieten die GNAT-Pro-Entwickler von AdaCore einen umfassenden Support. Das Wartungs- und Change-Management ist stark vereinfacht, so dass Consafe Logistics nur ein kleines Ada-Entwicklerteam benötigt, obwohl die Lösung aus Millionen von Codezeilen besteht und sehr komplexe Automatisierungstechnik und Lager verwaltet.

„Wir entwickeln unsere Produkte ständig weiter, um den neuen Marktanforderungen gerecht zu werden, neue Technologien zu nutzen und unsere Kunden bei der Weiterentwicklung ihres Business kontinuierlich zu unterstützen. Gleichzeitig müssen wir dafür sorgen, dass die bestehenden geschäftskritischen Systeme an den Kundenstandorten rund um die Uhr einwandfrei laufen“, erklärt Andreas Anyuru, CTO bei Consafe Logistics. „Das Vertrauen in Ada und die Lösungen von AdaCore für einen Teil der Firmware in unseren komplexesten Automatisierungslösungen gibt uns die nötige Stabilität, die wir für unsere Lagersteuerungslösung benötigen.“

„In einer zunehmend digitalen Welt müssen Unternehmen ein Höchstmaß an Zuverlässigkeit und Sicherheit ihrer Software garantieren”, erläutert Jamie Ayre, Commercial Director beiAdaCore. „Wie die Erfahrung von Consafe Logistics zeigt, bietet die Kombination von Ada und GNAT Pro die Möglichkeit, schnell zu modernisieren und dabei die Sicherheitseigenschaften innerhalb kritischer Softwarelösungen zu erhalten, auf die sich große Lagerhäuser auf der ganzen Welt verlassen.“

Quelle: www.adacore.com