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
illumynt Appoints Matt Popieniuck as Vice President of Customer Success & Delivery12.8.2026 14:00:00 CEST | Press release
28-year Dell Technologies veteran, most recently leading services sustainability strategy, joins to own end-to-end program execution as illumynt scales its AI hardware lifecycle business illumynt, a technology-driven leader in AI hardware lifecycle recovery and IT asset disposition (ITAD), today announced that Matt Popieniuck has joined the company as Vice President of Customer Success & Delivery, effective August 2026. He reports to CEO Jörg Herbarth. This press release features multimedia. View the full release here: https://www.businesswire.com/news/home/20260812482293/en/ Matthew Popieniuck, Vice President of Customer Success and Delivery. Popieniuck joins illumynt after 28 years at Dell Technologies, where he progressed from group leadership through senior and principal program management roles before moving into services sustainability strategy. In that most recent chapter, he worked on the question now driving illumynt's market: what happens to enterprise technology after its fi
Ant Group launches AQ for Doctor, bringing an AI-powered workstation to millions of physicians12.8.2026 13:44:00 CEST | Press release
Ant Group today officially upgraded its physician platform, Haodf for Doctor, into AQ for Doctor, an AI-powered workstation designed to support physicians across every stage of clinical practice—from online consultations and patient management to clinical decision support and medical research. The platform is fully integrated with Ant Group's flagship AI health app, AQ, which serves more than 100 million users as of August 2026. This press release features multimedia. View the full release here: https://www.businesswire.com/news/home/20260812917154/en/ Ant Group launches AQ for Doctor, bringing an AI-powered workstation to millions of physicians. Connecting doctors and patients through one AI platform "AI will never replace doctors," said Zhang Junjie, Vice President of Ant Group and Head of the Health Business. "But AI can become a trusted assistant for healthcare professionals. Our goal is to build a reliable and practical AI workstation for China's more than five million physicians—
ITC Infotech Strengthens Strategic Tech Partnership With British American Tobacco (BAT) in New Multi-year Mandate12.8.2026 12:30:00 CEST | Press release
ITC Infotech, a leading global technology services and solutions provider, today announced a landmark multi‑year strategic technology deal with British American Tobacco (BAT). Along with BAT, ITC Infotech will accelerate the transformation of BAT’s technology landscape to drive AI-enabled innovation, strengthen skills, and improve efficiencies. In this expanded partnership, ITC Infotech will provide technology services to BAT across Poland, Romania and India. ITC Infotech will also continue to collaborate with BAT to scale capabilities at the newly launched BAT Future Capabilities Centre in India, while supporting BAT’s existing technology hubs in Malaysia and Mexico. This new strategic deal will deepen an already well-established partnership between ITC Infotech and BAT, streamlining end-to-end technology delivery and improving speed, efficiency, and service quality. As part of the deal, ITC Infotech will strengthen its footprint and onshore capabilities in Europe, which will be strat
Gen Z Spending is Expected to Reach $12 Trillion by 2030. Here's Why That Doesn't Matter as Much as Brands Think12.8.2026 12:00:00 CEST | Press release
New NIQ report reveals consumers across generations are trading up and trading down in the same shopping basket, putting new pressure on middle-market products The biggest shift in consumer spending isn't generational—it's behavioral. New research from NielsenIQ (NYSE: NIQ) finds consumers across every age group are increasingly making the same calculation: where is a premium worth paying, and where can they save money instead? The result is a growing divide between premium and value products, while traditional middle-market offerings face mounting pressure. This press release features multimedia. View the full release here: https://www.businesswire.com/news/home/20260812239453/en/ Every generation is spending differently, but all are weighing value more carefully The findings come from NIQ's latest global report, A Tale of Two Consumers: The Polarized Mindsets Reshaping Global Consumption, developed in collaboration with World Data Lab. While Gen X accounted for $15.2 trillion in sp
Kinguin Renews Ravelin Partnership After Cutting Ecommerce Fraud to “Industry-Leading Low”12.8.2026 11:04:00 CEST | Press release
Leading games marketplace extends AI fraud prevention deal for further three years Ravelin automates real-time fraud defenses and supports growth to over 20 million customers Kinguin, a global digital games marketplace serving more than 20 million registered users, has renewed its partnership with AI-native fraud platform Ravelin. The agreement follows significant reductions in fraud and a shift to automated, scalable fraud detection. Since first partnering in 2018, Ravelin has helped Kinguin transform its approach to payment fraud. Kinguin has eliminated the need for real-time manual reviews, while overall fraud rates have declined by 87.5%. The renewal reflects growing confidence in AI-led fraud prevention at a time when ecommerce merchants face increasingly sophisticated attacks, particularly in the digital goods space where instant delivery also means instant results for fraudsters. Kinguin is where gaming and esports fans around the world can access their favorite games, choosing
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