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.
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.
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.
Consafe Logistics ermöglicht mit GNAT Pro von AdaCore Stabilität, Schutz und Sicherheit bei der Steuerung komplexer und automatisierter Lagerlösungen.
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.