Business Wire

NY-ADACORE

13.6.2024 11:23:28 CEST | Business Wire | Press release

Share
AdaCore Supports the Safety-Critical Rust Consortium

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

https://www.adacore.com/

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

Business Wire
Business Wire
101 California Street, 20th Floor
CA 94111 San Francisco

http://businesswire.com
DK

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

Helical Fusion Launches Helix Program “Official Partners” to Build Japan’s Industrial Coalition for Commercial Fusion Energy28.4.2026 05:00:00 CEST | Press release

Multiple long-established Japanese companies join as inaugural partners in a shared push to build the fusion energy industry; Helical Fusion also completed the first close of its Series B round Helical Fusion Co., Ltd., a fusion energy company developing a Helical stellarator power plant, today announced the launch of Helix Program Official Partners, a new strategic partnership framework designed to bring together long-term industrial collaborators committed to advancing fusion from laboratory progress to real-world fusion power deployment. This press release features multimedia. View the full release here: https://www.businesswire.com/news/home/20260427596284/en/ Helical Fusion’s Integrated Demonstration Device, “Helix HARUKA,” currently under construction (photographed at the company’s dedicated workspace within the National Institute for Fusion Science in Gifu, Japan) The Helix Program is Helical Fusion’s core initiative to realize commercially viable fusion energy in the 2030s. Rat

Investor Supporting Japan’s Entertainment Industry, Yoshihiro Shimamura, to Visit France Workshop to be Held During the Cannes Film Festival28.4.2026 04:00:00 CEST | Press release

Shimamura Yoshihiro Film Planning Inc. (Head Office: Osaka, Japan; CEO: Yoshihiro Shimamura), a company engaged in film production and investment, will host a workshop in France during this year’s Cannes Film Festival, as part of its commitment to further advancing the entertainment industry. The company invests in leading entertainment-related businesses in Japan and places strong emphasis on long-term value creation. It identifies the cultural and entertainment sectors as high-growth areas and is actively involved in international co-productions as a core part of its film production activities. As a recent investment, the company acquired 2,000,000 shares of Hankyu Hanshin Holdings, Inc.—a major Japanese entertainment conglomerate known for producing content enjoyed across generations—and became a major shareholder (as of March 25, 2026). Through such investments, the company aims to support the global expansion of Japanese entertainment while exploring synergies with its own interna

Alsym Energy Announces Na-Series Battery Success Developed With Physics-Informed AI Platform27.4.2026 21:25:00 CEST | Press release

Alsym’s proprietary physics-informed AI platform powered the development of its Na-Series batteries—a non-flammable, high performance and low cost energy solution positioned to serve critical energy storage markets including data centers, utilities, telecommunications, commercial real estate, industrial and defense, among others. Alsym Energy, a pioneer in non-flammable, high-performance sodium-ion batteries, today announced details of the proprietary physics-informed AI platform used to develop the company’s recently launched Na-Series sodium-ion batteries. By integrating fundamental physics models with AI, autonomous testing and proprietary molecular diagnostics in a closed-loop system, Alsym is accelerating the design of safer, inexpensive, commercialized batteries through all phases of the development cycle. As global demand for electricity surges, the limitations of lithium-ion batteries have become increasingly apparent, particularly around safety and supply chain constraints. Li

Backed by Investments Exceeding $1 Billion, PCI Pharma Services Announces Major Expansion of US Sterile Fill-Finish and Drug-Device Delivery Combination Capabilities27.4.2026 16:00:00 CEST | Press release

As pharma manufacturers prioritize US supply chain resilience, highlights include high-speed isolator filling lines for prefilled syringes, cartridges and vials, and drug-device combination assembly and packaging. PCI Pharma Services (“PCI”) – a world-leading integrated global contract development and manufacturing organization (CDMO) focused on innovative biologic and small molecule therapies – announced a series of major infrastructure investments that substantially deepen its sterile fill-finish and advanced drug delivery capabilities. As pharma manufacturers and their development partners increasingly prioritize US supply chain resilience, PCI’s latest investments come as part of a broader commitment exceeding $1 billion across the CDMO’s US and European operations, reinforcing its ability to provide seamless support for drug product development and manufacturing, clinical trial supply and drug-device combination assembly from clinical stages through commercial launch – all underpi

Pure Lithium Appoints Renowned Battery Expert Dr. Yuan Gao to Board of Directors27.4.2026 15:53:00 CEST | Press release

Pure Lithium Corporation, a vertically integrated lithium metal battery technology company, is pleased to announce that world-renowned inventor and battery expert Dr. Yuan Gao has joined the company’s Board of Directors. Dr. Gao has been an invaluable member of Pure Lithium’s Scientific Advisory Board since October of 2023. "We are thrilled to have Dr. Gao join our board as we focus on rapidly scaling our technology in the most capital efficient manner possible,” said Pure Lithium Founder, Chairman and CEO Emilie Bodoin. “Dr. Gao is a brilliant scientist who also has deep commercial expertise, a rare combination. He is also unique in the industry because his experience spans the entire battery materials value chain, including all of Pure Lithium’s verticals. His insights over the years have been critical in advancing our technology, and his experience as a director of public companies will strengthen our board.” Dr. Gao commented: “I am thrilled to join the board of Pure Lithium Corpor

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
World GlobeA line styled icon from Orion Icon Library.HiddenA line styled icon from Orion Icon Library.Eye