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
Bending Spoons S.p.A. announces closing of initial public offering2.7.2026 20:35:00 CEST | Press release
Bending Spoons S.p.A. (“Bending Spoons”), a leading technology company, today announces the closing of its initial public offering of an aggregate of 57,971,015 of its ordinary shares, at an initial public offering price of $29.00 per share. The offering consisted of 34,398,640 shares sold by Bending Spoons and 23,572,375 shares sold by certain selling shareholders (the “Selling Shareholders”). The gross proceeds from the offering to Bending Spoons, before deducting underwriting discounts and commissions and other offering expenses, was approximately $953,917,285.50. Bending Spoons did not receive any proceeds from the sale of shares by the Selling Shareholders. Bending Spoons’ ordinary shares began trading on the Nasdaq Global Select Market on July 1, 2026 under the ticker symbol “BSP”. Goldman Sachs International, J.P. Morgan, and Allen & Company LLC are acting as joint lead book-running managers for the offering. Wells Fargo Securities, BofA Securities, Jefferies, Evercore ISI, BNP
Strategic Partnership Between Record Asset Management and Admicasa2.7.2026 19:00:00 CEST | Press release
RAM Swiss Holding AG announces a strategic partnership with Admicasa Holding AG (Admicasa). RAM Swiss Holding AG is a subsidiary of LSE-listed Record Financial Group (Record) and part of the Record Asset Management (RAM) group of companies. The partnership is a milestone in the growth of Admicasa and marks an important step in the continued expansion of Record’s private markets platform. Subject to regulatory approval, the agreement, signed on 1st July 2026, provides RAM Swiss Holding AG with a 50% participation in the Admicasa Fondsleitung AG, part of Admicasa, and establishes a long-term partnership to develop investment opportunities in the Swiss and Global real estate market with a plan to expand into other asset classes in the medium term. RAM is the European asset management arm of Record, the LSE-listed specialist investment group managing USD 115 billion of assets on behalf of institutional clients worldwide. Record's client base comprises pension funds, foundations, sovereign
IQM Quantum Computers Becomes First European Quantum Computing Company Listed on a Major U.S. Exchange2.7.2026 16:47:00 CEST | Press release
IQM begins trading on Nasdaq Global Select Market under the ticker symbol “IQMX” Company enters next phase of growth as a publicly traded leader in full-stack superconducting quantum computing IQM maintains a strong pro forma cash position of EUR 337 million IQM Quantum Computers (Nasdaq: IQMX) (“IQM”, “IQM Quantum Computers” or the “Company”), a global leader in full-stack superconducting quantum computers, today became a publicly traded company following the completion of its business combination with Real Asset Acquisition Corp. (“RAAQ”). This press release features multimedia. View the full release here: https://www.businesswire.com/news/home/20260702960460/en/ IQM Quantum Computers Becomes First European Quantum Computing Company Listed on a Major U.S. Exchange The company’s American Depositary Shares begin trading today on the Nasdaq Global Select Market under the ticker symbol “IQMX”. The listing marks a major milestone for IQM establishing the company as the first European quan
GigaDevice Launches First GD24CL Series I²C EEPROM, Further Expanding Its Non-Volatile Memory Portfolio2.7.2026 16:00:00 CEST | Press release
GigaDevice, a leading semiconductor company specializing in Flash memory, 32-bit microcontrollers (MCUs), sensors, and analog products, announced today the launch of its new GD24CL series I²C EEPROM. The series delivers outstanding performance, comprehensive security protection mechanisms, and excellent reliability that addresses the stringent requirements for stable and long-term storage of critical configuration data. These offered features will benefit applications in industrial, energy, Internet-of-Things (IoT), data centers, and networking. As GigaDevice’s first EEPROM product series, the launch further enhances the company’s non-volatile memory portfolio and provides customers with more dynamic storage solutions. This press release features multimedia. View the full release here: https://www.businesswire.com/news/home/20260702394554/en/ GigaDevice Launches First GD24CL Series I²C EEPROM, Further Expanding Its Non-Volatile Memory Portfolio. The GD24CL series is designed with high
Medical University of Graz Enrolls First Patient in DEEPER CHALLENGE Trial Evaluating Spur® Peripheral Retrievable Scaffold System in a Select CLTI Cohort2.7.2026 13:00:00 CEST | Press release
Reflow Medical, Inc. announces that the Medical University of Graz has enrolled the first patient in the DEEPER CHALLENGE clinical trial. This investigator-initiated, single-center, single-arm, prospective study, supported by a grant, investigates early vessel recoil following below-the-knee treatment using the Spur® Peripheral Retrievable Scaffold System in combination with a commercially available drug-coated balloon. This press release features multimedia. View the full release here: https://www.businesswire.com/news/home/20260701995624/en/ The study investigates early vessel recoil following below-the-knee treatment using the Spur® Peripheral Retrievable Scaffold System in combination with a commercially available drug-coated balloon. The study plans to enroll up to 40 patients with chronic limb-threatening ischemia (CLTI) across two distinct cohorts: patients with diabetes and patients with end-stage renal disease receiving hemodialysis for at least six months, with women comprisi
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