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
Nebex Raises $30M Seed Round Led by GV to Build Market Infrastructure for the Global Space Economy29.6.2026 17:38:00 CEST | Press release
The new funding and banking relationship allow Nebex to scale the market and unlock the commercial space economy. Nebex, the market infrastructure platform for the global space economy, announced a $30M seed investment led by GV (Google Ventures), with participation from other top-tier venture funds. The company also announced a banking relationship with J.P. Morgan. The capital raise and new banking relationship will help Nebex scale its platform and connect sovereign space programs with the founders and companies building new technologies to serve the space industry. "We built Nebex because we've seen firsthand that ambitious space founders struggle to deliver complex sovereign programs due to the lack of capital markets infrastructure that supports revenue and cashflow. This is something that exists in nearly every other industry," said Tejpaul Bhatia, CEO of Nebex. "Support from these organizations gives Nebex the additional leverage and financial infrastructure to build the global
Medisca Enters Its Next Chapter Under Founder Antonio Dos Santos29.6.2026 16:19:00 CEST | Press release
Medisca today announced that Founder and Chairman Antonio Dos Santos has returned to the role of Chief Executive Officer as the company enters its next chapter of growth. For more than 35 years, Dos Santos has helped shape Medisca into a global leader in pharmaceutical compounding. As Chief Executive Officer, he will lead the company's long-term strategy, with a focus on expanding Medisca's global reach, investing in new areas of growth, strengthening strategic partnerships, and continuing to advance the products, services, education, and expertise that healthcare professionals rely on every day. "When I founded Medisca, my vision was to raise the standard of pharmaceutical compounding by bringing pharmaceutical-grade quality to the industry and giving healthcare professionals access to the products, knowledge, and innovation they needed to deliver better patient care," said Antonio Dos Santos, Founder and Chief Executive Officer of Medisca. "That purpose continues to guide us. As we b
The Premier Jumping League (PJL) & McCarthy Jumping Team Announce Landmark Purchase29.6.2026 15:10:00 CEST | Press release
With $50 Million Team Acquisition, McCarthy Jumping Team Becomes First PJL Ownership Group Acquisition illustrates strong investor confidence in the future of professional showjumping as highly anticipated 2027 inaugural season to feature 16 teams competing across 14 international events The Premier Jumping League (PJL) today announced that seasoned trader, investor, and competitive race car driver Jason McCarthy and McCarthy Jumping League LLC acquired the first PJL team in a landmark $50 million acquisition, building on rising momentum for the highly acclaimed professional jumping league. This press release features multimedia. View the full release here: https://www.businesswire.com/news/home/20260629512997/en/ The Premier Jumping League (PJL), photographed by Daniel Benson. The milestone investment represents an unprecedented valuation for a team in a newly established sports competition and underscores the confidence that sophisticated investors are placing in the PJL. The inaugur
InvestEco Sustainable Food Fund IV Holds a Final Close With Total Commitments of C$106M29.6.2026 15:00:00 CEST | Press release
InvestEco Capital is pleased to announce the final close of the InvestEco Sustainable Food Fund IV. This fund will continue InvestEco’s work of investing in high-growth food companies that promote health and sustainability in the food sector. The Fund closed with total commitments of C$106M, the largest InvestEco fund to date. Investors include Farm Credit Canada, Export Development Canada, Business Development Bank of Canada, Fonds de solidarité FTQ, and two Government of Canada Social Finance Fund wholesalers: Boann and Realize Capital Partners. In addition, the Fund received commitments from a number of private investors and family offices. The Fund's investments to date include Humble Snacks, Little Sesame, Mid-Day Squares and Algae Cooking Club. The Fund expects to make a further 6 - 10 investments over the next few years. InvestEco Capital, founded in 2002, is a Toronto-based venture capital firm and impact investor focused on the sustainable food sector. For more information, em
Geoswift and SKUx Announce Strategic Partnership to Develop a First-of-Its-Kind Programmable Stablecoin Commerce Network29.6.2026 14:00:00 CEST | Press release
Bridging digital assets, traditional finance, enterprise treasury, and agentic commerce through global programmable money infrastructure Geoswift and SKUx announced a groundbreaking partnership to develop a next-generation programmable stablecoin commerce network. This strategic collaboration bridges digital assets, traditional finance, and real-world commerce at a global scale, representing a "one-of-one" opportunity by combining Geoswift's global infrastructure with SKUx's specialized item-level controls directly within point-of-sale (POS) systems. While enterprise stablecoin usage continues to accelerate globally, governments, enterprises, payment networks, and AI-driven commerce platforms are increasingly seeking programmable payment infrastructure that can bridge digital assets with real-world commerce. The innovation goes far beyond treasury management or even enabling consumers to spend stablecoins at retail locations. Instead, it unlocks true "programmable money" with embedded
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