Adacore

11. Mai 2021

AdaCore: SEAKR Engineering setzt für missionskritische Satelliten-Hardware auf Ada und GNAT Pro

SEAKR Engineering, führender Anbieter moderner Raumfahrtelektronik, hat seinen missionskritischen Weltraumdatenrekorder auf eine neue, strahlensichere Hardware-Plattform migriert. Dabei setzt SEAKR weiter auf Ada und auf die Entwicklungsumgebung GNAT Pro von AdaCore.

16. Mrz 2021

AdaCore verkündet Gewinner des fünften jährlichen „Make with Ada“-Programmierwettbewerbs

Auch in diesem Jahr haben die vielen spannenden Einreichungen für „Make with Ada“ gezeigt, wie einfach es ist, mit den Programmiersprachen Ada und SPARK zuverlässigen Code für Embedded-Systeme zu entwickeln. Nun stehen die Gewinner der fünften Ausgabe des Wettbewerbs fest. 

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. 

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