Kunden-News

2. Feb 2022

AdaCore und Ferrous Systems fördern Rust ab sofort gemeinsam

Paris, 2. Februar 2022 – AdaCore, Anbieter von Softwareentwicklungs- und Verifikationswerkzeugen für unternehmens- und sicherheitskritische Systeme, gibt die Zusammenarbeit mit Ferrous Systems bekannt, einem Spezialisten für die Programmiersprache Rust. Gemeinsam möchten die beiden Unternehmen die Rust-Toolchain Ferrocene von Ferrous Systems weiterentwickeln.

Ferrocene soll zukünftig, so das Ziel der Kollaboration, eingebettete missions- und sicherheitskritische Anwendungen unterstützen. Außerdem ist die Qualifizierung der Rust-Toolchain gemäß der relevanten Sicherheitsstandards für Industriesoftware geplant.

Das wachsende Interesse an der Programmiersprache Rust und deren verstärkte Nutzung in industriellen Anwendungen sind ein treibender Faktor für die Bemühungen von AdaCore und Ferrous Systems. So gibt es beispielsweise keine sicherheitszertifizierte Rust-Toolchain für sicherheitskritische Märkte wie Automotive, die Luft- und Raumfahrt sowie die Rüstungsindustrie. Ferrocene soll diese Lücke schließen und Kunden die Möglichkeit geben, Rust in ihre sicherheitskritischen Anwendungen zu integrieren.

„AdaCore kümmert sich seit über 25 Jahren um die sich ständig weiter entwickelnden Bedürfnisse der sicherheits- und missionskritischen Industrie, indem wir in neue Architekturen, Sprachen und Technologien investieren. Wir glauben fest daran, dass sowohl Ada als auch Rust im sicherheitskritischen Bereich benötigt werden“, erläutert Quentin Ochem, Lead of Product Management and Business Development bei AdaCore. „Die aktuellen Bemühungen ergänzen unser langjähriges Engagement für Ada und bieten zudem die Möglichkeit, der Rust-Community unsere Expertise für sicherheitszertifizierte Toolchains zur Verfügung zu stellen.“

Auch Ferrous Systems freut sich über die Zusammenarbeit mit AdaCore an Ferrocene, wie Florian Gilcher, Managing Director, betont: „Unsere Unternehmen teilen viele ähnliche Werte. Darunter den Wunsch, Entwickler mit besseren Sprachen und Werkzeugen für sichere Programmierung zu unterstützen, das Engagement für Open Source und das Bestreben, die Zertifizierung von Software zu erleichtern. Die Zusammenarbeit mit AdaCore ermöglicht es uns, eine sicherheitszertifizierte Rust-Toolchain auf den Markt zu bringen, bei dem eine hohe Integrität gefragt ist.“

Weitere Informationen zur Zusammenarbeit von AdaCore und Ferrous Systems gibt es auf dem Blog. Interessierte an der gemeinsamen Entwicklung einer sicherheitszertifizierten Rust-Lösung können sich über ein Kontaktformular mit uns in Verbindung setzen.

Über Ferrous Systems

Ferrous Systems wurde 2018 gegründet, um die kommerzielle Nutzbarkeit der Programmiersprache Rust durch die Bereitstellung kommerzieller Services und die Weiterentwicklung der Sprache zu fördern. Die Gründungsmitglieder von Ferrous Systems sind seit über sieben Jahren grundlegend in das Projekt Rust involviert. Der primäre Geschäftsschwerpunkt von Ferrous Systems ist die Entwicklung von eingebetteter Software, das Angebot von Schulungen und das Erstellen von Tools mittels der Programmiersprache Rust. Ferrous Systems ist das weltweit größte Softwareunternehmen, das sich auf die Sprache Rust konzentriert. Zu den Kunden gehören Mozilla, Sarcos Robotics und Google Android.

Ferrous Systems hat das Ferrocene-Projekt ins Leben gerufen und konzentriert sich darauf, Rust-Nutzern Toolchains und Tools zur Verfügung zu stellen, mit denen sie sicherheitskritische Software in Rust erstellen können. Dazu gehören auch Toolchains mit langfristigem Support, Qualifizierungspakete und Tools für die Absicherung von Rust-basierter Software.


Über AdaCore

AdaCore wurde 1994 gegründet und bietet Tools für Software-Entwicklung und Verifikation für kritische und sicherheitskritische Systeme. Zu den wichtigsten Produkten von AdaCore gehören die GNAT-Pro-Entwicklungsumgebung für Ada/C/C++, das statische Analyse-Tool CodePeer, die Verifikationsumgebung SPARK Pro und das modellbasierte Entwicklungswerkzeug QGen. Zahlreiche Anwender haben die AdaCore-Produkte im Einsatz und unterhalten damit eine Vielzahl von kritischen Anwendungen in Bereichen wie Raumfahrtsysteme, kommerzielle Luftfahrt, militärische Systeme, im Flugverkehrsmanagement, bei Schienensystemen, bei Geräten der Medizintechnik und bei Finanzdienstleistungen. AdaCore verfügt über eine umfangreiche und wachsende weltweite Kundenbasis; nähere Informationen dazu unter www.adacore.com/customers

AdaCore-Produkte sind Open-Source und werden mit Online-Support durch die Entwickler zur Verfügung gestellt. Das Unternehmen hat seinen nordamerikanischen Hauptsitz in New York, der europäische Hauptsitz ist in Paris. Weitere Informationen unter www.adacore.com


Pressekontakte

AdaCore
Juliana Silva
press@AdaCore.com
www.AdaCore.comhttp://twitter.com/AdaCoreCompany

​PR-COM GmbH
Andrea Groß
andrea.gross@pr-com.de
www.pr-com.de
Tel. +49-89-59997-803