Kunden-News

8. Feb 2023

AdaCore tritt der Rust Foundation bei

Das Unternehmen unterstützt die Rust-Community mit seiner umfangreichen Erfahrung in Sachen Zertifizierungen und Sicherheitsstandards​

Paris, 8. Februar 2023 – AdaCore, Anbieter von Softwareentwicklungs- und Verifikationswerkzeugen für geschäfts- und sicherheitskritische Systeme, gibt seinen Beitritt zur Rust Foundation als Silver Member bekannt. Die unabhängige und gemeinnützige Organisation fördert die Weiterentwicklung der Programmiersprache Rust und deren Ökosystem. ​

AdaCore unterstützt kritische und sicherheitskritische Branchen seit über 25 Jahren mit Tools und Services für die Entwicklung hochgradig zuverlässiger Software. Zu Beginn lag der Fokus noch auf der richtungsweisenden Programmiersprache Ada, die speziell für die Entwicklung langlebiger, sicherheitskritischer und zertifizierter Software entworfen wurde. Im Laufe der Jahre hat sich der Schwerpunkt über diese Sprache hinaus auch auf deren formal verifizierbares Subset SPARK, auf C, C++ sowie Simulink- und Stateflow-Modelle ausgedehnt. Kürzlich ist AdaCore zudem eine Partnerschaft mit Ferrous Systems, einem Unternehmen mit Spezialisierung auf die Programmiersprache Rust, eingegangen, um die Safety-Community von Rust mit seiner Expertise bei sicherheitszertifizierten Toolchains zu unterstützen. Ziel der Zusammenarbeit ist es, die Verwendung von Rust in Umgebungen zu ermöglichen, die auf Automotive Safety Integrity Level D (ASIL-D) operieren. Eines der ersten Ergebnisse ist die Veröffentlichung einer Sprachspezifikation auf GitHub.

„AdaCore ist hocherfreut, Teil der Rust Foundation zu werden“, betont Quentin Ochem, Chief Product Officer bei AdaCore. „Wir freuen uns darauf, unser langjähriges Engagement für hochgradig zuverlässige Programmiersprachen und sicherheitszertifizierte Embedded-Entwicklung auf Rust auszuweiten.“

Ü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, 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
Jessie Glockner
press@adacore.com
www.adacore.com
http://twitter.com/AdaCoreCompany

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