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
58% of Consumers Say They Don't Care Whether a Product is a National Brand or Private Label. They Just Buy What They Need21.8.2026 12:00:00 CEST | Press release
New NIQ & World Data Lab report reveals how consumer polarization is redefining value, accelerating private label adoption, and reshaping competition on the shelf As fast-moving consumer goods (FMCG) prices rose 26% globally between 2021 and 2025, consumers have become more deliberate about where they save and where they spend. NielsenIQ (NYSE: NIQ) has released new findings showing that private label is no longer viewed simply as a lower-cost substitute, but as a credible competitor across value, mainstream, and premium segments. This press release features multimedia. View the full release here: https://www.businesswire.com/news/home/20260819950224/en/ Private label is no longer just a value play. The findings, published in NIQ’s latest report, A Tale of Two Consumers: The Polarized Mindsets Reshaping Global Consumption, created in collaboration with World Data Lab, show how consumer polarization is redefining value and reshaping competition on the shelf. The report also draws on ins
Tanium Reappoints Co-Founder Orion Hindawi as CEO to Drive Next Chapter of Growth20.8.2026 21:10:00 CEST | Press release
Company to focus on deepening its Autonomous IT capabilities, further expanding AI offerings across its portfolio, and strengthening customer and partner engagement Tanium, a leader in Autonomous IT, today announced that Co-Founder and Executive Chairman Orion Hindawi has been appointed Chief Executive Officer, effective immediately. Dan Streetman is stepping down as CEO and as a member of the Board after leading Tanium for the last three years, during which time Tanium scaled its go-to-market operations and secured strong industry analyst recognition for innovation within the Tanium platform. Streetman will continue to advise Tanium as part of the transition and co-founder David Hindawi will return to the role of Chairman of the Board. With this foundation in place, this transition positions Tanium to deepen its Autonomous IT capabilities and further expand AI offerings across its portfolio and strengthen customer and partner engagement. The Hindawis co-founded Tanium in 2007 to build
PCI Energy Solutions to Join Mitsubishi Electric, Reinforcing Long-Term Commitment to Customers, Employees, and the Energy Industry20.8.2026 19:46:00 CEST | Press release
Mitsubishi Electric to retain PCI’s core management team and support continuity of operations, customer service, and product innovation PCI Energy Solutions ("PCI"), a leading U.S.-based provider of enterprise software for energy management and optimization, announced today that it has entered into a definitive agreement to be acquired by Mitsubishi Electric Corporation. The agreement was executed on August 20, 2026 (Japan Standard Time). The Transaction represents a strong endorsement of PCI's business, technology, employees, customer relationships and position in the energy industry. Mitsubishi Electric intends to retain PCI's core management team following completion of the Transaction, enabling PCI to preserve leadership continuity, industry expertise and its customer-focused operating model while benefiting from Mitsubishi Electric's global scale, complementary capabilities and long-term investment capacity. The agreement has been signed, but the Transaction has not yet closed. PC
Perma-Pipe Secures More Than $67 Million in New Orders in the Second Quarter of 202620.8.2026 19:02:00 CEST | Press release
Awards include significant Oil & Gas projects in MENA and Canada, as well as the Company's largest single leak detection project to date and continued growth at its new Ohio facility. Perma-Pipe International Holdings, Inc. (Nasdaq: PPIH), a global leader in engineered piping and corrosion protection solutions, today announced that the Company secured more than $67 million in new orders during the second quarter of fiscal 2026, representing strong demand across its strategically important end-markets and geographies. The orders further strengthen Perma-Pipe's backlog and provide increased visibility into future revenue growth. The Company's backlog remains well diversified across geographies, customers and end-markets. The Company continued to see strong demand across its core Oil & Gas and infrastructure markets, while also securing important new business in emerging applications, including advanced leak detection and monitoring solutions. During the quarter, Perma-Pipe secured sizabl
Impartner Launches the First CPQ Built for Partners20.8.2026 15:00:00 CEST | Press release
New quote management capability brings configure, price, and quote (CPQ) into Impartner’s PRM platform, connecting product configuration, pricing, segmentation, and approvals. Impartner, the leading partner revenue orchestration platform, today announced the launch ofImpartner CPQ, giving partners a direct path to create and advance quotes within the Impartner PRM platform. The new capability enables faster movement from opportunity to submission while giving vendors control over the rules, products, pricing, and approvals that govern each transaction. This press release features multimedia. View the full release here: https://www.businesswire.com/news/home/20260820479441/en/ Give partners a faster path from opportunity to quote with Impartner's CPQ. For many partnership programs, quoting remains a largely manual process. Partners often depend on vendor sales teams to prepare quotes because traditional CPQ systems are designed primarily for direct sellers or require additional licensin
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