Year in Review 2025: A Transformative Year for High-Integrity Software at AdaCore
As 2025 comes to a close, it’s clear that this has been one of the most significant years in AdaCore’s history. Our work to help organisations build safe, secure, and reliable software has reached new heights, driven by significant strategic developments, advances in our technology, and deeper engagement with our global community. Below, we take a look back at some of the highlights of our year.
A Landmark Moment: AdaCore and CodeSecure Merge
One of the year’s most defining moments was the merger between AdaCore and CodeSecure. By uniting two organisations with a shared mission to enhance software assurance, we created a stronger, more comprehensive offering that spans static analysis, formal verification, memory-safe languages, and enterprise-grade security tooling.
The integration has expanded our product portfolio, strengthened our research and engineering capabilities, and laid the groundwork for a powerful combined solution.
A New Website and Look for AdaCore
A significant project from multiple team members at AdaCore has culminated in the launch of our new website. With a fresh new look and a comprehensive update of every product and service description, the AdaCore website is now an even more valuable resource for learning, development, and key information.
Ada Rises in Popularity
In 2025, there was a notable increase in interest in the Ada programming language, as evidenced by its rise in the TIOBE and PYPL indices. Not only that, but we saw more articles about Ada than in previous years. This quote is from an article in developer-tech and sums up the general sentiment.
"Perhaps the Ada programming language wasn’t behind the times but so far ahead that it’s taken us almost half a century to realise it."
Featured Projects
NVIDIA ISO 26262 Reference Process
A standout highlight of 2025 was the successful publication of the NVIDIA ISO 26262 Reference Process, developed in close collaboration with NVIDIA. The reference process provides the automotive ecosystem with an off-the-shelf, field-tested approach for using SPARK to build software to the highest automotive safety integrity levels. It reflects NVIDIA’s proven methodology for certifying DriveOS components and offers the wider industry a practical path to replicating this success.
This collaboration reinforces the value of memory-safe programming, formal verification, and rigorous development processes for next-generation AI-powered mobility systems.
Thought Leadership and Publications: Strengthening the Industry’s Assurance Knowledge
Alongside our product and partnership milestones, 2025 was a strong year for thought leadership and technical publication. Our teams produced a wide range of blogs, whitepapers, case studies, and guidance materials designed to support engineers facing growing demands around safety, security, and software assurance.
You can find all our most recent thought leadership and press releases in the Newsroom section on the website.
Some other popular highlights include the videos by our Chief Product and Revenue Officer, Quentin Ochem, in collaboration with elektor and ipXchange.
Ada,Rust, and the Future of Safe Code
AdaCore Is Bringing Ada Back - Why NVIDIA Chose It
AdaCore’s Answer to Safety-Critical Code
Embedded World 2025
Embedded World remained a key moment in our calendar. Our team showcased the latest in high-integrity development tools, demonstrated the benefits of memory-safe languages, and engaged with engineers, researchers, and system architects from across the embedded landscape. The launch of new demos, including the Mars Rover robot running on SPARK, highlighted practical assurance and reliability in action. We enjoyed taking part in several fun interviews at our booth with elektor, ipXchange, and Embedded Computing Design.
Looking Ahead to 2026
This year is a robust foundation for AdaCore’s next chapter. With an expanded team, a strengthened product suite, and deepened partnerships across high-integrity industries, we are well-positioned to support the growing demand for reliable, secure, and certifiable software.
As we enter 2026, our focus remains clear: empowering organisations to build software that matters; software that requires the highest levels of assurance.
Author
Andrea Bristol
Andrea Bristol is the PR and Marketing Campaigns Manager at AdaCore. A marketer for over 18 years, Andrea is a Fellow of the Chartered Institute of Marketing. In her spare time, she can be found at the stables with her dressage horse Nemo or being mum-taxi to her 3 children.
