NY-ADACORE
13.6.2024 11:23:28 CEST | Business Wire | Press release
AdaCore https://www.adacore.com/ is thrilled to be part of the Safety-Critical Rust Consortium alongside The Rust Foundation, Arm, Ferrous Systems, OxidOS, Synopsys, HighTec EDV-Systeme GmbH, TrustInSoft, Veecle, and Woven by Toyota. The primary objective of this group will be to support the responsible use of the Rust programming language in safety-critical software — systems whose failure can impact human life or cause severe environmental or property harm.
Safety-Critical Rust Consortium Membership is open to Rust Foundation member organizations and other invitees, such as industry, academic, and legal experts.
Work under the consortium will begin with the creation of a public charter and goals, and meeting minutes will be published on an ongoing basis. The Safety-Critical Rust Consortium will liaise with the Rust Project through Rust Foundation Project Directors and members of Rust Project teams. The Consortium’s scope, which will be fully delineated in the charter, may include the development of guidelines, linters, libraries, static analysis tools, formal methods, and language subsets to meet industrial and legal requirements. The Consortium’s deliverables will be developed and licensed in a manner compatible with other Rust Project endeavors.
The group may further shepherd Rust Foundation-funded implementation work, including grants to existing academic teams or FOSS projects. Any Rust Foundation-funded work will be submitted upstream, licensed as FOSS, and any specifications will be freely available. The group will further attempt to coordinate with and expand on existing safety-critical projects and standards including SAE JA1020.
Programming-language safety refers to a language’s ability to prevent errors or undefined behaviors at compile time or runtime. On the other hand, "safety-critical" refers to a system’s ability to operate without causing accidents or catastrophic failures that will result in harm to people, property or the environment. So, while safety-critical systems rely on languages that emphasize safety and security, such as Rust, programming tools are only one component of the overall strategy.
Tony Aiello is the Product Manager at AdaCore,
“At AdaCore, we focus on industries where safety, security, and reliability are paramount including automotive, aviation, and space. AdaCore has decades of experience serving these industries with Ada, SPARK, and C++. Participating in the Safety-Critical Rust Consortium enables us to leverage our expertise to help the Rust community best position itself to serve the safety-critical community’s needs.”
About AdaCore
Everything we do at AdaCore is centered around helping developers build safe, secure and reliable software. With over 30 years of experience working with the most respected companies in industries such as aerospace, defense and railways, we build tools and provide services that ease the complex and often difficult process of developing high-integrity software. As the need for truly secure and reliable applications expands into industries such as automotive, medical, energy, and IoT, we’re excited to bring our time-tested technologies, expertise and services to help a whole new generation of developers.
About The Rust Foundation
The Rust Foundation is an independent nonprofit dedicated to the safety, security, sustainability, and health of the Rust Programming language and the people who use it. Through close partnerships with organizations passionate about Rust and the growing Rust Project and community, the Rust Foundation is helping forge a better open-source future with Rust.
Visit the Rust Foundation website to learn more. Follow the Rust Foundation on X (formerly known as Twitter) and on LinkedIn.
To view this piece of content from cts.businesswire.com, please give your consent at the top of this page.
View source version on businesswire.com: https://www.businesswire.com/news/home/20240613424332/en/
About Business Wire
Subscribe to releases from Business Wire
Subscribe to all the latest releases from Business Wire by registering your e-mail address below. You can unsubscribe at any time.
Latest releases from Business Wire
Dompé Doses First Patient in Phase 3 Study of Cenegermin-bkbj in NAION14.7.2026 14:00:00 CEST | Press release
Non-arteritic anterior ischemic optic neuropathy (NAION) is a loss of blood flow to the optic nerve which causes spontaneous and rapid vision loss, for which there are currently no FDA-approved treatments. Given the substantial unmet need for effective treatments in NAION, in October 2025, Dompé was awarded a Commissioner’s National Priority Review Voucher (CNPV) by the US FDA to accelerate a potential Biologics License Application for intranasal nerve growth factor (NGF) in NAION. Dompé, a biopharmaceutical company with operations in Italy and the US, announced the first patient has been enrolled in a Phase 3 study of cenegermin-bkbj for the treatment of non-arteritic anterior ischemic neuropathy (NAION). Involving more than 130 centers globally, the Phase 3 trial, “Galassia-NAION-301” is a multicenter, double-blind study comparing cenegermin-bkbj against placebo in improving vision loss caused by NAION. “Our NGF R&D program continues to accelerate with our third clinical study of 202
CE-IVDR Mark for Hologic’s Aptima® HPV Test Expanded to Include Self-Collected Sample Claim in Cervical Cancer Screening14.7.2026 14:00:00 CEST | Press release
New indication in the European Union and the UK offers alternative method of screening especially for women who are not currently participating Hologic, Inc. announced today that its Aptima® HPV Assay received an expanded CE-IVDR marking in the European Union and the UK and is now approved for self-collected vaginal samples using the Aptima Multitest Specimen Collection Kit. This press release features multimedia. View the full release here: https://www.businesswire.com/news/home/20260714358586/en/ Hologic’s Aptima® HPV Assay and Aptima Multitest Specimen Collection Kit Cervical cancer is the fourth most common cancer in women but is largely preventable through HPV vaccination and regular screening.1 Evidence shows that organized screening and early detection reduces deaths from cervical cancer, with mortality reduction rates in Europe ranging from 41% to 92%.2 However, even in countries with an established cervical screening program, screening participation rates vary widely, from 25%
Cover Genius Raises USD $100M Backed by Vista Credit Partners, Reaching USD $1.9 Billion Valuation as it Advances AI-First Platform and Global Expansion14.7.2026 14:00:00 CEST | Press release
Accelerating the AI roadmap and next era of embedded protection Cover Genius, the global infrastructure for embedded protection, today announced a USD $100M capital raise, backed by Vista Credit Partners, a subsidiary of Vista Equity Partners and strategic financing partner focused on enterprise software. The raise values the business at USD $1.9 billion, advancing a new chapter for the company. Cover Genius operates a B2B2C embedded protection platform that connects 200+ partners with 50+ global insurance carriers to protect over 70 million end customers at the point of sale across travel, retail, ticketing and logistics. Unlike traditional insurers, Cover Genius dynamically adapts product design, pricing, and presentation in real time to match each merchant's unique customer journey and geography mix. “We’ve spent more than a decade building the trust layer the world’s largest digital companies rely on to protect their customers. Today’s raise is about broadening possibilities: movin
Esri to Debut the Power of Where Collection at 2026 Esri User Conference14.7.2026 14:00:00 CEST | Press release
New Titles Expand on Landmark Work to Showcase How GIS Drives Better Decisions Across Water and Land Management Esri will debut the Power of Where Collection at the 2026 Esri User Conference. The collection builds on the 2024 book The Power of Where by Jack Dangermond, extending its ideas into real-world GIS applications. New titles in the collection highlight GIS uses in water forecasting, land records, infrastructure planning, and economic development. The series demonstrates how spatial analysis helps organizations address challenges including sustainability, climate resilience, and governance. Esri, the global leader in location intelligence, will debut the Power of Where Collection at the 2026 Esri User Conference in July. The collection builds on the ideas introduced in The Power of Where: A Geographic Approach to the World's Greatest Challenges, by Esri president Jack Dangermond, published in 2024. The new collection expands these foundational concepts into focused, real-world a
Esri Introduces ArcGIS for ServiceNow, Bringing Location Intelligence into Everyday Enterprise Workflows14.7.2026 14:00:00 CEST | Press release
New Integration Connects Platforms, Enabling Real-Time Mapping Directly Within Existing Systems Esri is launching ArcGIS for ServiceNow, an integration that connects ServiceNow, the AI control tower for business reinvention, with ArcGIS, bringing location intelligence into everyday enterprise workflows. The solution supports organizations across commercial, government, health care, utilities, energy, telecom, and other sectors. Users can visualize incidents, assets, work orders, facilities, and other business data on maps in real time within ServiceNow or ArcGIS, improving decision-making and operational efficiency. The integration eliminates data duplication by enabling seamless data sharing between systems, bridging business records with geographic context. ArcGIS for ServiceNow will debut in beta shortly after Esri User Conference. Esri, the global leader in geographic information system (GIS) technology, has announced ArcGIS for ServiceNow, connecting the two platforms for the firs
In our pressroom you can read all our latest releases, find our press contacts, images, documents and other relevant information about us.
Visit our pressroom