NY-ADACORE
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
Allshares Acquires U.S. Market Leader Stock & Option Solutions, Solidifying Its Position as a Global Leader in Equity Ownership Management21.1.2026 12:00:00 CET | Press release
Allshares, a global provider of equity ownership management software and services, today announced the acquisition of Stock & Option Solutions (“SOS” or the “Company”), a U.S.-based specialist in end-to-end equity compensation and plan administration. Stock & Option Solutions brings a track record of supporting the full life cycle of equity and compensation plan administration. Recognized as one of the Inc. 5000 fastest-growing companies in 2022, the Company has built a strong reputation for supporting organizations across the United States, from early-stage startups to large enterprises. Its platform-agnostic service model enables clients to optimize complex incentive structures across major equity technology systems. This acquisition marks a strategic milestone in Allshares’ expansion, establishing the U.S. as Allshares’ largest and fastest-growing market. By integrating SOS’ deep U.S. expertise, Allshares strengthens its ability to deliver seamless ownership management for clients o
WEF26: ‘Human Capital Is the Key Driver of Economic Competitiveness’21.1.2026 10:33:00 CET | Press release
For economies to remain competitive in the future, they must prioritize investments in human capital, Her Royal Highness Princess Reema Bandar Al-Saud, Ambassador of the Kingdom of Saudi Arabia to the United States of America, told the World Economic Forum (WEF) Annual Meeting 2026. This press release features multimedia. View the full release here: https://www.businesswire.com/news/home/20260120585206/en/ Her Royal Highness Princess Reema Bandar Al-Saud, Ambassador of the Kingdom of Saudi Arabia to the United States of America, speaks on human capital and youth empowerment during the opening Saudi House session at the World Economic Forum Annual Meeting 2026 (Photo: AETOSWire) Speaking on a Saudi House panel, HRH commented: “Human capital today is the key driver if you want a competitive modern economy.” She added: “If you empower people and you give them the space to lead, they will take that drive and they will deliver. And when you place the right people in the right place at the r
BPP Signals Next Era of Growth, Unveiling New Global Parent Brand: Lyceum Education Group21.1.2026 10:03:00 CET | Press release
The creation of the new brand reflects the unique global reach of eleven leading education businesses across the UK, Europe, North America and Australia Today marks the launch of Lyceum Education Group, the new parent brand for 11 leading specialist education businesses across the UK, mainland Europe, Canada and Australia. Lyceum Education Group brings together leading specialist education providers, delivering a diverse portfolio of programmes to benefit learners and businesses globally. From its beginnings as BPP almost 50 years ago, to the creation of the Lyceum Education Group brand today, the move reflects the transition to become a leading, global education group, which will be the second largest post-secondary provider in the UK, and the fourth largest in Europe. Since its acquisition by TDR Capital in 2021, the Group has been acquiring new brands which encompass increased specialisms, diversifying its product ranges and entering new global markets. A clear focus for Lyceum Educ
Ageneau Group Chooses Generix WMS to Boost Growth21.1.2026 09:00:00 CET | Press release
Generix, a global business software company offering an expansive portfolio of SaaS solutions for supply chain, finance, commerce, and B2B integration, announces that Ageneau Group, a French transportation, logistics, and training company, has chosen Generix WMS and TradeXpress to modernize operational processes at its Angers (Trélazé) site, which has a covered area of 9,000 m² and state-of-the-art technological equipment, including automated guided vehicles (AGVs). “We needed a powerful and scalable tool that was in line with our values of cohesion, respect, and innovation. Generix was able to meet 100% of our specifications and support us with transparency and expertise,” said Arnaud Ageneau, co-director of processes, purchasing, and IT at the Ageneau Group. To support its growth and meet the changing needs of its customers, the Ageneau Group was looking for a solution capable of digitizing its operations, optimizing its flows, and providing advanced logistics to its teams. The group
International Zinc Association Partners With Pharmanova to Save Children in Zambia21.1.2026 09:00:00 CET | Press release
Zinc Saves Kids, a global child‑health initiative of the International Zinc Association (IZA), has announced a new partnership with leading Zambian pharmaceutical manufacturer Pharmanova Zambia Limited to expand access to life‑saving zinc treatments for children across Zambia. This press release features multimedia. View the full release here: https://www.businesswire.com/news/home/20260121178091/en/ Life-saving zinc-supplementation and oral rehydration salts kits are proactively distributed to Zambian children through the works of the International Zinc Association, Pharmanova, and the Zambian Ministries of Health and Education. The collaboration was formally celebrated during a ceremony in Lusaka with the Zambian Ministry of Health, Pharmanova Zambia Limited, and IZA represented by Environment Health & Sustainability Director Dr. Eric Van Genderen. IZA and Pharmanova have united in an effort to scale up treatment for childhood diarrhea using zinc, an essential micronutrient that stre
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