20. Jul 2021
AdaCores QGen-Codegenerator modernisiert die modellbasierte Entwicklung von Collins Aerospace
Mit dem Einsatz des QGen-Codegenerators für Simulink/Stateflow-Modelle und des neuen TQL-1 Enterprise Qualification Package von AdaCore treibt Collins Aerospace zukünftig die Entwicklung des FAA-zertifizierbaren Perigon-Computers voran. Dieser soll die kommenden Anforderungen im Bereich Flugkontrolle und Fluggerätmanagement von zivilen und militärischen Dreh- und Starrflüglerplattformen unterstützen.
29. Jun 2021
AdaCore zertifiziert C-Compiler für sicherheitskritische Bahnsysteme von Alstom
Der C-Compiler in der GNAT Pro Ada Toolchain von AdaCore, Anbieter von Softwareentwicklungs- und Verifikationswerkzeugen für unternehmens- und sicherheitskritische Systeme, wurde für die Klasse T3 gemäß der europäischen Sicherheitsnorm CENELEC EN 50128 zertifiziert.
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.
