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
Ant International Partners with Barclays on Global Treasury Management with Proprietary AI-Powered FX Model9.5.2025 15:57:00 CEST | Press release
The Time-Series Transformer AI FX Model forecasts cashflow and FX exposure with more than 90% accuracy, helping businesses reduce FX-related fees Ant International has entered a partnership with leading UK bank Barclays to enhance efficiency and resilience in global treasury management for businesses. Under the partnership, the two sides will combine innovative solutions, including Ant’s proprietary Time-Series Transformer (TST) AI FX Model, to help businesses reduce FX-related costs and risks against global volatilities. At the initial stage of the collaboration, Ant International has successfully completed the first batch of its intra-group FX transactions with Barclays. Ant International’s TST Model is a transformer architecture-based big data model with close to 2 billion parameters. By integrating the latest time series forecasting algorithms, the TST Model predicts patterns over time. Ant also created new pre-training and Supervised Fine-Tuning (SFT) frameworks to train the model
IFF Completes Divestiture of Nitrocellulose Business9.5.2025 14:00:00 CEST | Press release
IFF (NYSE: IFF) today announced that it has completed the divestiture of its nitrocellulose business, including Walsrode Industrial Park in lower Saxony, Germany, to Czechoslovak Group (CSG). The business manufactures nitrocellulose strictly for industrial purposes, serving customers primarily in coatings and printing inks, and had been part of IFF’s Pharma Solutions business unit. “The divestiture of our nitrocellulose business builds upon our deleveraging journey and enables us to focus on our core businesses,” said Erik Fyrwald, IFF CEO. “I’d like to thank our nitrocellulose colleagues for their dedication and wish them continued success as part of CSG.” Welcome to IFF At IFF (NYSE: IFF), we make joy through science, creativity and heart. As the global leader in flavors, fragrances, food ingredients, health and biosciences, we deliver groundbreaking, sustainable innovations that elevate everyday products—advancing wellness, delighting the senses and enhancing the human experience.Le
Monument Re Transfers €1.4bn Greycastle Portfolio to RGA and Strengthens European Life Insurance Consolidation Platform9.5.2025 14:00:00 CEST | Press release
Monument Re Limited (“Monument”) announces today that it has transferred a legacy €1.4bn reinsurance portfolio, comprising annuity and other life insurance liabilities acquired as part of the 2020 Greycastle transaction, to RGA Americas Reinsurance Company, Ltd. (“RGA”). This transaction releases capital resources that Monument will redirect to its core strategy of consolidation in European life insurance markets. The transaction completed on 2May 2025 following approval by the Boards of Directors of both Monument and RGA and non-objection from the Bermuda Monetary Authority. Monument has taken significant steps in recent months to strengthen its business operations by consolidating its European group support functions in Dublin and by aligning with the recently strengthened regulatory regime in Bermuda. With its strong financial position and best in class capabilities in the Group, Monument remains ideally positioned to build on its success to date and grow its European footprint, del
CPAC Systems AB Announces Strategic Minority Investment in Flying Fish9.5.2025 12:33:00 CEST | Press release
Accelerating the shift toward sustainable and intelligent water mobility CPAC Systems AB, a leader in advanced control systems and embedded vessel and commercial vehicle technology, today announced a strategic minority investment in Flying Fish Maritime Innovations B.V., a pioneer in advanced shared water mobility solutions and robust, cost-effective hydrofoil technology. The investment underscores both companies’ commitment to redefining water-based transportation through innovation, sustainability, and seamless integration. It marks the beginning of a deeper collaboration aimed at enabling smarter, cleaner, and more connected mobility on the water — for both recreational and commercial applications. “We are thrilled to support Flying Fish and their impressive work in redefining water mobility,"saidMarcus Wingolf, CEO of CPAC Systems. "Our investment in Flying Fish represents a strategic alignment of our technical proficiencies and innovative ambitions. This partnership opens exciting
Kioxia Receives IEEE Corporate Innovation Award9.5.2025 09:00:00 CEST | Press release
Kioxia Corporation, a world leader in memory solutions, today announced that it has received the IEEE Corporate Innovation Award from the Institute of Electrical & Electronics Engineers (IEEE), the world’s largest technical professional organization dedicated to advancing technology for the benefit of humanity. This award recognizes Kioxia's outstanding contribution in the field of electrical and electronics engineering through its BiCS FLASH™ technology, a low-cost, high-capacity 3D flash memory innovation. The award ceremony was held on April 24 in Tokyo. The IEEE Corporate Innovation Award is a globally-recognized honor bestowed upon organizations that have developed innovative technologies, products or services that have made a substantial contribution to the advancement of electrical and electronics engineering. Since its inception in 1985, the award has been presented to leading electronics manufacturers and IT companies worldwide, and Kioxia is proud to be the seventh Japanese c
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