Kunden-News

8. Dez 2020

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 bei AdaCore. „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.“
 

Über Consafe Logistik

Consafe Logistics ist der führende europäische Anbieter von Lagerverwaltungslösungen. Das Unternehmen bietet zuverlässige, flexible und intelligente Lösungen, um Kunden damit weltweit Wettbewerbsvorteile zu verschaffen.

Mit dem umfangreichen Wissen über Lagerverwaltung und durch Mitgestaltung liefert Consafe Logistics nachhaltige Lösungen, die jeder Komplexität und jedem Volumen im Lager gerecht werden. Da Consafe technisch neugierig und entschlossen ist, Effizienz für seine  Kunden zu schaffen, treiben sie dieSoftwareentwicklung von Weltklasse voran, um ihnen einen Wettbewerbsvorteil zu verschaffen. Das tun sie seit 1978.

Die Consafe Logistics Group besteht aus 400 Mitarbeitern und unterstützt  Kunden weltweit von seinen Niederlassungen in Schweden, Norwegen, Dänemark, Finnland, Niederlande, Polen und Großbritannien aus. Der Hauptsitz befindet sich in Lund, Schweden.

Ü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
Juliana Silva
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