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
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.
View source version on businesswire.com: https://www.businesswire.com/news/home/20240613424332/en/
Contacts
Andrea Bristol
bristol@adacore.com
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
Cessna Citation X and X+ Customers Benefit From Starlink High-Speed Internet Availability13.3.2025 16:00:00 CET | Press Release
Textron Aviation today announced an additional high-speed internet connectivity solution for the Cessna Citation X and X+ following the Federal Aviation Administration’s (FAA) issuance of AeroMech’s Supplemental Type Certificate (STC) for Starlink high-speed internet connectivity. AeroMech’s STC utilizes Starlink’s constellation of Low Earth Orbit (LEO) satellites to provide more reliable connectivity over land, water and remote areas, where traditional in-flight Wi-Fi may not have service. This press release features multimedia. View the full release here: https://www.businesswire.com/news/home/20250313683324/en/ Textron Aviation announced an additional high-speed internet connectivity solution for the Cessna Citation X and X+ following the Federal Aviation Administration’s (FAA) issuance of AeroMech’s Supplemental Type Certificate (STC) for Starlink high-speed internet connectivity. (Photo Credit: Textron Aviation) Beechcraft, Cessna and Hawker customers receive factory-direct suppor
ClickHouse Acquires HyperDX to Accelerate the Future of Observability13.3.2025 16:00:00 CET | Press Release
ClickHouse, the company behind the world's fastest analytical database, today announced the acquisition of HyperDX, an open-source observability platform built on ClickHouse. This strategic acquisition reinforces ClickHouse's commitment to delivering the fastest, most cost-effective, and scalable solutions to developers and enterprises worldwide; including observability. This press release features multimedia. View the full release here: https://www.businesswire.com/news/home/20250313954782/en/ ClickHouse, the company behind the world's fastest analytical database, today announced the acquisition of HyperDX, an open-source observability platform built on ClickHouse. (Graphic: Business Wire) The acquisition combines ClickHouse's unmatched performance and scalability with HyperDX's developer-first experience, creating a comprehensive observability platform that seamlessly integrates session replay, exceptions, logs, infrastructure metrics, and distributed tracing through an OpenTelemetry
Credit Derivatives Determinations Committees Membership Applications for 202513.3.2025 15:33:00 CET | Press Release
DC Administration Services, Inc. (DCAS) would like to invite all interested Members of ISDA to apply for a position as a member of the Credit Derivatives Determinations Committees. There is a separate Determinations Committee for each of the relevant regions. Members of ISDA may apply for membership as either a Dealer Member of the Determinations Committees or a Non-Dealer Member of the Determinations Committees (as applicable). Parties wishing to apply for such a position should carefully review and submit either an executed Dealer Participation Letter (for a prospective Dealer Member) or an executed Non-dealer Committee Participation Letter (for a prospective Non-Dealer Member) by 5pm (New York time) on Wednesday, March 19, 2025. CCPs may also apply to participate as a CCP Member by submitting a Participating CCP Institution Letter. For more information on the process and to download the form of the relevant letter, please visit https://www.cdsdeterminationscommittees.org/about-dc-co
REPLY: The Board of Directors Approved the Draft Financial Statements for the Year 202413.3.2025 15:17:00 CET | Press Release
Today the Board of Directors of Reply S.p.A. [MTA, STAR: REY] approved the draft financial statement for the year 2024, which will be submitted for approval to the Shareholders’ Meeting to be held in a single call in Turin on 23 April 2025. The Reply Group closed 2024 with a consolidated turnover of €2,295.9 million an increase of 8.4% compared to €2,118.0 million in 2023. All indicators are positive for the period. Consolidated EBITDA was €410.6 million, an increase of 16.6% compared to €352.1 million at December 2023. EBIT, from January to December, was at €330.4 million, which is an increase of 12.9% compared to €292.7 million at December 2023. The Group net profit was at €211.1 million. In 2023, the corresponding value was €186.7 million. Following the results achieved in 2024, the Reply Board of Directors decided to propose a dividend distribution of €1.15 per share to the next Shareholders’ Meeting, which will be payable on 21 May 2025, with the dividend date set on 19 May 2025 (
China’s Huangshan, a UNESCO Dual Heritage Site, Promotes Tourism in Paris13.3.2025 15:00:00 CET | Press Release
Under the theme “Huangshan & Paris: A Magnificent Encounter of World Heritage,” Huangshan Tourism Development Co., Ltd. (HSTD), the operator of Huangshan Mountain, recently hosted a promotional event in Paris to showcase its rich tourism resources and the deep cultural heritage of Huizhou. This press release features multimedia. View the full release here: https://www.businesswire.com/news/home/20250313136766/en/ Zhang Dehui, president of Huangshan Tourism Development Co., Ltd., delivered a speech at the event. (Photo: Business Wire) "When the classical aesthetics of the Louvre meet the picturesque landscapes of Huangshan, when the vineyards of Bordeaux intertwine with the rolling green waves of Huizhou’s tea gardens, this cultural and tourism dialogue spanning the Eurasian continent is destined to compose a new chapter," said Zhang Dehui, President of HSTD, as he welcomed guests and introduced Huangshan’s abundant tourism offerings. The event drew dozens of representatives from Chines
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