AdaCore tritt der Rust Foundation bei
Das Unternehmen unterstützt die Rust-Community mit seiner umfangreichen Erfahrung in Sachen Zertifizierungen und Sicherheitsstandards
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.
Unternehmensinformation / Kurzprofil:
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
AdaCore
Jessie Glockner
press(at)adacore.com
www.adacore.com
http://twitter.com/AdaCoreCompany
PR-COM GmbH
Andrea Groß
andrea.gross(at)pr-com.de
www.pr-com.de
Tel. +49-89-59997-803
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 456 mal aufgerufen.
Die Pressemitteilung mit dem Titel:
"AdaCore tritt der Rust Foundation bei"
steht unter der journalistisch-redaktionellen Verantwortung von
AdaCore (Nachricht senden)
Beachten Sie bitte die weiteren Informationen zum Haftungsauschluß (gemäß TMG - TeleMedianGesetz) und dem Datenschutz (gemäß der DSGVO).
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 Industrie muss die 5G-Lawine ins Rollen bringen ...
8. Februar 2023 – 5G gilt als der Schlüssel für die Zukunft. So will die Industrie Anwendungen vorantreiben, die nur mit dem jüngsten Mobilfunkstandard realisierbar sind. Das reicht vom komplett automatisierten Roboter-Einsatz in der Produktion über selbstfahrende Lieferfahrzeuge in der Fabrik
So sieht die Zukunft des stationären Handels aus ...
8. Februar 2023 – Gestiegene Kundenerwartungen und ein schärferer Wettbewerb mit Online-Händlern setzen dem stationären Einzelhandel zu. Scandit erklärt, wie er fit für die Zukunft wird und Kundenerlebnisse, den Arbeitsalltag der Mitarbeitenden sowie Geschäftsabläufe verbessern kann. Der
Das Gesicht hinter den Rankings ...
"Durch höhere Rankings den eigenen Traffic steigern und so mehr potenzielle Kunden erreichen". Mit diesem Satz begrüßt SEO Experte Benjamin Kaim Besucher auf seiner Webseite. Hierbei handelt es sich nicht etwa um Clickbait oder ein Lockangebot - mit seinen 15 Jahren Erfahrung im Bereich
VNC und Collaboard vereinbaren enge Integration ihrer Lösungen für digitales Teamwork ...
7. Februar 2023 – Die beiden Schweizer IT-Unternehmen VNC und Collaboard haben zum 1. Februar 2023 eine intensive Kooperation vereinbart. Sie sieht vor, die Kommunikations- und Kollaborations-Anwendungen beider Unternehmen zu einer hochintegrierten Lösung weiterzuentwickeln. Mobiles Arbeiten,
