16. Feb 2021
AdaCore übernimmt Componolit für besseren Schutz
sicherheitskritischer Systeme
AdaCore, Anbieter von Softwareentwicklungs- und Verifikationswerkzeugen für unternehmens- und sicherheitskritische Systeme, hat am 1. Februar 2021 die Übernahme der Componolit GmbH bekanntgegeben. Das Dresdner Unternehmen ist auf vertrauenswürdige Software, komponentenbasierte Systeme und formale Verifikation spezialisiert, bei der die Korrektheit von Software mit mathematischen Methoden untersucht wird.
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.
2. Dez 2020
QinetiQ wählt Mentorship Service und SPARK Pro von AdaCore für die Software-Modernisierung
Das Sicherheits- und Verteidigungsunternehmen QinetiQ hat sich für den Mentorship Service von AdaCore zum Upgrade auf die neueste Version von SPARK Pro entschieden, um seine Trials-Control-System (TCS)-Software zu modernisieren.
24. Nov 2020
AdaCore stellt GNAT Pro für Helix Virtualization Platform von Wind River vor
Die neue Entwicklungs-Toolsuite von AdaCore bietet Konsistenz zwischen Gast-Betriebssystemen und erhöht die Projektproduktivität.
13. Okt 2020
HITACHI Rail STS wählt GNAT Pro von AdaCore für neue Eisenbahnsicherheitsplattform
HITACHI Rail STS hat sich für die GNAT-Pro-Software-Entwicklungsumgebung von AdaCore für seine neue Eisenbahnsicherheitsplattform entschieden.