AdaCore wird Masten Space Systems bei der Erfüllung ihres NASA-Vertrages zur Landung wissenschaftlicher Nutzlasten auf dem Mond unterstützen. Für das Raumschiff XL-1 Lunar Lander von Masten kommen die Softwareentwicklungs- und Verifikationswerkzeuge von AdaCore zum Einsatz.
Gemeinsam mit seinen Partnern, dem brasilianischen Eldorado Institute und Braile Biomédica, unterstützt AdaCore, Anbieter von Softwareentwicklungs- und Verifikationswerkzeugen, den Kampf gegen Covid-19. Erste Früchte trägt die Kooperation bereits in Form einer neuen künstlichen Lunge.
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.
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.
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.