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
Evotec Selects Navan to Unify Global Travel, Payments, and Expense Management23.7.2026 09:00:00 CEST | Press release
Global drug discovery leader partners with Navan to drive operational excellence and eliminate manual expense reporting Navan (NASDAQ: NAVN), the global AI-powered business travel and expense platform, today announced that Evotec (NASDAQ: EVO; Frankfurt Prime Standard: EVT), the global drug discovery and development company, has selected Navan to manage its complete corporate Travel and Expense (T&E) program in its top global markets. This press release features multimedia. View the full release here: https://www.businesswire.com/news/home/20260722261092/en/ Global drug discovery leader partners with Navan to drive operational excellence and eliminate manual expense reporting A life science company that is pioneering the future of drug discovery and development, Evotec had historically managed T&E independently across different countries, meaning employees were dealing with a patchwork of different tools and manual offline processes. As part of its focus on operational excellence, Evot
Freedom Holding Corp. Works With Ant International’s Antom to Simplify Online Shopping From China for Kazakhstan Consumers23.7.2026 07:30:00 CEST | Press release
Freedom Bank SuperApp to be promoted as a payment option on China’s leading e-commerce platforms through Antom On July 16, 2026, during a meeting between Timur Turlov, CEO of Freedom Holding Corp., and representatives of the global fintech market, the bank signed Memoranda of Understanding with Antom, a leading merchant payment and digitisation services provider under Ant International. The primary goal of this partnership is to develop innovative solutions to facilitate cross-border payments for consumers in Kazakhstan. This press release features multimedia. View the full release here: https://www.businesswire.com/news/home/20260722367119/en/ From left to right: Timur Turlov, CEO of Freedom Holding Corp., Leiming Chen, Senior Vice President and Chief Sustainability Officer of Ant International Antom will promote Freedom Bank SuperApp as a supported payment option on China’s leading e-commerce platforms. This move aims to create a seamless cross-border online shopping experience, allo
Galderma Reports Record First Half 2026 Net Sales of 3.134 Billion USD and 24.6% Year-on-Year Growth at Constant Currency, Raises Net Sales Guidance for the Full Year23.7.2026 07:00:00 CEST | Press release
Ad hoc announcement pursuant to Art. 53 LR Galderma Group AG (SIX: GALD), the pure-play dermatology category leader, today announced its financial results for the first half of 2026. Net sales reached 3.134 billion USD, surpassing 3 billion USD for the first time in the first six months of the year and representing net sales growth of 24.6% at constant currency1. Broad-based, double-digit growth in both International markets and the U.S. as well as in all product categories, primarily driven by volume and complemented by favorable mix. Outperforming the market in each product category, with net sales growth year-on-year at constant currency of 12.1% in Injectable Aesthetics, 16.4% in Dermatological Skincare, and 67.9% in Therapeutic Dermatology. Demonstrating leadership in dermatology through ongoing geographic expansion and differentiated innovation, including Nemluvio® (nemolizumab), which generated 433 million USD in net sales, Relfydess™ (RelabotulinumtoxinA), which continues to ra
ATOZ Services Announces Strategic Growth Investment from Bregal Sagemount23.7.2026 06:30:00 CEST | Press release
Investment will support geographic expansion, AI investment and continued growth across ATOZ Services’ fund services platform ATOZ Services (The “Company”), an independent Luxembourg-based fund services platform, today announced that the Company will accelerate its strategic move to continue its international expansion and acquisition-based strategy through a growth investment from Bregal Sagemount (“Sagemount”), a leading growth-focused private equity firm. Sagemount has entered into a partnership with ATOZ Group and ICG that will see Sagemount become the majority shareholder of the Company, while ATOZ Group and ICG retain a minority stake, subject to regulatory approval and other customary procedures. The investment will support the Company’s continued development as an international fund services platform. Founded in 2018 as part of the ATOZ Group, ATOZ Services provides fund-linked special purpose vehicle (“SPV”) services, fund administration, and fund governance, risk and complian
Airship Announces Results Guarantee; Releases Commissioned Study Finding 476% ROI for Composite Organization22.7.2026 17:00:00 CEST | Press release
Airship stands behind results with new guarantee offer*; also launches a commissioned study quantifying how a composite organization moved past vanity metrics to drive $7.3M in value Airship, the mobile-first customer experience platform leader, today announced its Airship Results Guarantee, a corporate commitment to achieve predetermined business outcomes for new customers. Concurrently, the company released the results of a separate, commissioned Total Economic Impact™ (TEI) study conducted by Forrester Consulting on behalf of Airship, July 2026. The study found that a composite organization based on interviewed customers achieved a 476% Return on Investment (ROI) with a payback period of less than six months. This press release features multimedia. View the full release here: https://www.businesswire.com/news/home/20260722832535/en/ Airship has launched a new results guarantee offer to stand behind its value. Alongside this offer, the team shared the results of a new Total Economic
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