Adacore

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. 

Cookies helfen uns bei der Bereitstellung unserer Dienste. Mit der Nutzung unserer Dienste erklären Sie sich damit einverstanden, dass wir technisch notwendige Cookies verwenden.
Ich bin einverstanden Mehr Info