AdaCore tritt der Rust Foundation bei

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

(firmenpresse) - 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 (https://github.com/ferrocene/specification).

„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.“


Diese Presseinformation kann auch unter www.pr-com.de/companies/adacore abgerufen werden.


Weitere Infos zu dieser Pressemeldung:
Unternehmensinformation / Kurzprofil:
PresseKontakt / Agentur:
Bereitgestellt von Benutzer: PR-COM
Datum: 08.02.2023 - 14:57 Uhr
Sprache: Deutsch
News-ID 2033186
Anzahl Zeichen: 2028

Kontakt-Informationen:
Ansprechpartner: Andrea Groß
Stadt:

Paris

Telefon: +49-89-59997-803

Kategorie:

Internet

Meldungsart: Unternehmensinfos
Versandart: Veröffentlichung
Freigabedatum: 08.02.2023

Diese Pressemitteilung wurde bisher 422 mal aufgerufen.

AdaCore stärkt mit RecordFlux die Sicherheit binärer Kommunikationsprotokolle ...
28. März 2023 – AdaCore, Anbieter von Softwareentwicklungs- und Verifikationswerkzeugen für geschäfts- und sicherheitskritische Systeme, veröffentlicht RecordFlux. Das neue Toolset ermöglicht die Implementierung hochsicherer binärer Kommunikationsprotokolle. RecordFlux (www.adacore.com/re

AdaCore und Synopsys integrieren statische Analyse von Ada-Code in Coverity ...
Paris, 14. Dezember 2022 – AdaCore, Anbieter von Softwareentwicklungs- und Verifikationswerkzeugen für unternehmens- und sicherheitskritische Systeme, gibt die Zusammenarbeit mit der Synopsys Software Integrity Group bekannt, einem führenden Entwickler von Tools für Anwendungssicherheitstests.

Rheinmetall Air Defence erweitert Einsatz von sicherheitskritischen Software-Tools von AdaCore ...
19. Juli 2022 – AdaCore (www.adacore.com), Anbieter von Softwareentwicklungs- und Verifikationswerkzeugen für sicherheitskritische Systeme, und Rheinmetall Air Defence setzen ihre achtjährige Partnerschaft zur Entwicklung und zum Test von sicheren Steuerungs- und Überwachungssystemen für Fluga

Weitere Mitteilungen von AdaCore

Die Ära der kostenlosen KI ist vorbei ...
13. Mai 2026 – Die Wirtschaftlichkeit großer Sprachmodelle steht kurz davor, mit der Unternehmensrealität zu kollidieren. Warum? In der ersten Phase der Einführung wurde KI meist in Form subventionierter, häufig nutzerbasierter, Preismodelle angeboten. Die Tokens schienen praktisch kostenlo

CGI modernisiert die Dateninfrastruktur im Columbus-Modul der ISS ...
12. Mai 2026 ­­– CGI (NYSE: GIB) (TSX: GIB.A), eines der weltweit führenden IT- und Business-Consulting-Unternehmen, modernisiert im Auftrag der Europäischen Weltraumorganisation ESA die Dateninfrastruktur im Columbus-Modul der Internationalen Raumstation ISS. Das „Columbus Data Management I

Lokal verwurzelt, das „Herz“ der Lieferkette stärken – Das Berliner Distributionszentrum von AEGOG sichert die deutsche Industrieversorgung ...
In der deutschen Baustoff- und Möbelindustrie entscheiden Reaktionsgeschwindigkeit und Stabilität der Lieferkette oftmals über den Erfolg nachgelagerter Unternehmen. Das in Berlin ansässige „AEGOG PLATTEN FACHMARKT BERLIN“ (AEGOG Platten-Distributionszentrum Berlin) ist genau ein solches zen

Mitteilung zur Neuausrichtung der Geschäftsstruktur der Marke AEGOG in der Asien-Pazifik-Region ...
Sehr geehrte Kunden, Partner und Freunde, Die Robert Family GmbH, Deutschland (im Folgenden „das Unternehmen“) gibt hiermit die formelle Anpassung der Geschäftsstruktur ihrer Marke AEGOG für den globalen Markt bekannt. Um das langfristige Wachstum der Marke AEGOG im asiatischen Markt weite

Revolution im Hörbuchmarkt: KI?Stimmen setzen neue Qualitätsstandards ...
Der innovative Hörbuchverlag Stufenwerk Verlag kündigt seinen offiziellen Start an und setzt dabei auf eine klare Mission: Hochwertige Hörbücher weltweit verfügbar machen - produziert ausschließlich mit modernster KI?Sprachtechnologie. Während der Markt traditionell auf menschliche Spreche

HSMA Deutschland e.V. startet Bewerbungsphase für Social Media Award 2026 ...
Die Hospitality Sales & Marketing Association Deutschland e.V. eröffnet die Bewerbungsphase für den Social Media Award 2026 und richtet sich damit erneut an Hotels oder Hotelgruppen aus Deutschland, Österreich und der Schweiz, die ihre digitalen Kommunikationsstrategien erfolgreich sowie nach

CGI und OpenAI beschleunigen mit dem KI-Coding-Agenten Codex die Software-Entwicklung ...
Eschborn, 7. Mai 2026 – CGI (NYSE: GIB) (TSX: GIB.A), eines der weltweit größten unabhängigen IT- und Business-Consulting-Unternehmen, erweitert strategisch seine globale Partnerschaft mit OpenAI. Im Mittelpunkt steht der KI-Coding-Agent Codex. Die Lösung ermöglicht es Unternehmen, KI-Agenten

Asendia und Singapore Post bündeln Kräfte für grenzüberschreitenden E-Commerce ...
Gemeinsames Angebot positioniert Singapur als zentrales Gateway für ein- und ausgehende E-Commerce-Sendungen in APAC und unterstützt Händler beim Übergang zur neuen EU-Zollregelung 2026. Asendia, einer der weltweit führenden Anbieter im internationalen E-Commerce und Postversand, gibt heute

Jugendliche fordern mehr Schutzräume im Internet ...
Jasmina Hostert, bildungs- und jugendpolitische Sprecherin: Die neue, repräsentative UNICEF-Umfrage unter 14- bis 16-Jährigen zeigt: Eine große Mehrheit an Jugendlichen spricht sich für bessere Inhaltsfilter, sichere Voreinstellungen und mehr Verantwortung der Plattformbetreiber aus - und nicht

DAZN und DFL erzielen bedeutenden Erfolg im Kampf gegen Piraterie: Gericht ordnet Sperrung der Website livetv.sx in Deutschland an ...
- Gemeinsamer Durchbruch: DAZN und die DFL erwirken die Sperrung der größten illegalen Sport-Streaming Webseite livetv.sx - Langjähriger Piraterie-Hotspot: Nach über 13 Jahren massiver Piraterie wird einer der zentralen Akteure illegalen Sportstreamings gestoppt - Die Entscheidung markiert eine