Adacore

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.

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