Consafe Logistics wählt GNAT Pro für kritische Firmware im Lagersteuerungssystem
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.“Weitere Infos zu dieser Pressemeldung:
Unternehmensinformation / Kurzprofil:
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.
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
AdaCore
Juliana Silva
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: 08.12.2020 - 11:10 Uhr
Sprache: Deutsch
News-ID 1866255
Anzahl Zeichen: 3246
Kontakt-Informationen:
Ansprechpartner: Andrea Groß
Stadt:
Paris
Telefon: +49-89-59997-803
Kategorie:
Internet
Meldungsart: Unternehmensinfos
Versandart: Veröffentlichung
Freigabedatum: 08.12.2020
Diese Pressemitteilung wurde bisher 486 mal aufgerufen.
Die Pressemitteilung mit dem Titel:
"Consafe Logistics wählt GNAT Pro für kritische Firmware im Lagersteuerungssystem"
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).
28. März 2023 – AdaCore, Anbieter von Softwareentwicklungs- und Verifikationswerkzeugen für geschäfts- und sicherheitskritische Systeme, veröffentlicht RecordFlux. Das neue Toolset ermöglicht die Implementierung hochsicherer binärer Kommunikationsprotokolle. RecordFlux (www.adacore.com/re
AdaCore tritt der Rust Foundation bei ...
8. Februar 2023 – AdaCore, Anbieter von Softwareentwicklungs- und Verifikationswerkzeugen für geschäfts- und sicherheitskritische Systeme, gibt seinen Beitritt zur Rust Foundation als Silver Member bekannt. Die unabhängige und gemeinnützige Organisation fördert die Weiterentwicklung der Progr
AdaCore und Synopsys integrieren statische Analyse von Ada-Code in Coverity ...
Paris, 14. Dezember 2022 – AdaCore, Anbieter von Softwareentwicklungs- und Verifikationswerkzeugen für unternehmens- und sicherheitskritische Systeme, gibt die Zusammenarbeit mit der Synopsys Software Integrity Group bekannt, einem führenden Entwickler von Tools für Anwendungssicherheitstests.
Weitere Mitteilungen von AdaCore
Online Sichtbarkeit erhöhen - gerade jetzt ...
Forst, 08.12.2020 - Erhöhte Sichtbarkeit und mehr Relevanz durch professionelle Pressearbeit In jeder Krise gibt es auch Gewinner. Keine Plattitüde, sondern schlichte Wahrheit. Auch die aktuelle Corona Krise bringt Gewinner hervor. Interessanterweise sind das überwiegend Online Unternehmen. We
Synostik lädt zu Online-Event am 21. Januar ein ...
Intelligente Eigendiagnose bei Instandhaltung, Ausfallzeiten minimieren und damit Kosten reduzieren – zu diesen Themen laden die IT-Experten von Synostik am 21. Januar 2021 zu einem kostenlosen Online-Event ein. Im Fokus stehen neue, moderne Methoden und Verfahren der Systemdiagnostik. Die Teilneh
Vier Herausforderungen für Hersteller von Bordnetzen ...
Krailling, 3. Dezember 2020 – Das Bordnetz gehört inzwischen zu den komplexesten und wichtigsten Komponenten eines modernen Fahrzeugs. DiIT, Spezialist für integrierte Softwaresysteme in der Kabelsatzproduktion, erklärt die vier größten Herausforderungen, die für Hersteller dadurch entstehen
MatchWare veröffentlicht die MindView Suite—Die neue und erweiterte subskriptionsbasiernde Version bietet eine echte Multiplattform Mind Mapping-Erfahrung und mehr ...
Tampa, FL (3. Dezember 2020) – MatchWare Inc. gab heute die Veröffentlichung der MindView Suite bekannt, einer neuen, erweiterten und subskriptionsbasierenden Version der preisgekrönten Mind Mapping Desktop-Software. Die Subskription umfasst Multiplattform Mind Mapping-Lösungen sowie eine neue
