AdaCore and CodeSecure Merge to Form a Global Leader in Embedded Software Security and Safety
In a landmark move set to redefine the landscape of embedded software development, AdaCore, a provider of software tools for mission-critical systems, and CodeSecure, a leader in embedded software security, have announced a definitive merger agreement. This strategic union brings together two highly complementary organizations, creating a unified company dedicated to advancing software safety, security, and reliability across critical industries. By combining AdaCore’s expertise in high-integrity software development with CodeSecure’s advanced application security testing solutions, the new entity is poised to deliver comprehensive solutions that address both functional safety and cybersecurity challenges.
A Unified Vision for Critical Software Development
The newly formed company will be led by Franco Gasperoni, currently CEO of AdaCore, who will serve as CEO of the combined organization. Under his leadership, the merged entity will focus on accelerating innovation, expanding its global market reach, and providing customers with robust tools to meet the growing demands of regulatory compliance and cyber threats.
“This combination marks a significant milestone in our shared mission to secure the world’s most critical software,” said Gasperoni. “By uniting AdaCore’s commitment to safety with CodeSecure’s leadership in security, we are positioned to help customers navigate growing regulatory demands and cyber threats with confidence and agility.”
The merger strengthens the company’s ability to serve industries where software integrity is paramount, including defense, aerospace, rail, automotive, medical devices, and industrial automation. These sectors face increasingly complex challenges, from ensuring the safety of autonomous vehicles to safeguarding sensitive data in defense systems. The combined expertise of AdaCore and CodeSecure equips the new company to deliver innovative solutions that address these multifaceted needs.
Complementary Strengths Drive Innovation
AdaCore has long been recognized for its proficiency in developing high-integrity software for mission-critical applications. Its tools are widely used in industries such as aerospace, defense, and rail, where reliability and safety are non-negotiable. Meanwhile, CodeSecure has carved out a niche in application security testing, offering advanced static analysis capabilities that identify and mitigate vulnerabilities in embedded systems. Together, these portfolios create a powerful synergy, enabling the new company to offer end-to-end solutions that span the entire software development lifecycle.
“Software security is key to high-integrity, mission-critical applications across several industries, and keeping customers safe,” said Morad Elhafed, a general partner at Battery Ventures, which backs both companies. “This combination of AdaCore and CodeSecure provides companies across critical industries important new tools to manage risks, build mission-critical products, and fuel growth. We look forward to working with Franco and his management team to help scale the combined company.”
The merger not only amplifies the technical capabilities of both organizations but also expands their geographic footprint. With teams now spanning North America, Europe, and Asia, the combined company is well-positioned to serve a diverse and growing customer base. This includes defense contractors, aerospace OEMs, medical device manufacturers, automotive suppliers, and leaders in industrial automation.
Delivering Greater Value to Customers
For CodeSecure’s CEO, Mike Dager, the merger represents an exciting opportunity to bring even greater value to customers. “By joining forces with AdaCore, we are combining our complementary strengths to deliver more robust solutions, accelerate innovation, and grow as a unified company dedicated to advancing high-integrity software development,” said Dager.
The integration of AdaCore’s safety-focused tools with CodeSecure’s cutting-edge security solutions addresses a critical gap in the market. As cyber threats become more sophisticated and regulatory requirements more stringent, organizations need partners that can provide holistic solutions. The new company is committed to empowering customers with the tools and expertise they need to build secure, reliable, and compliant software systems.
Meeting the Challenges of a Dynamic Market
The demand for secure and reliable software has never been higher. Industries such as automotive and aerospace are undergoing rapid digital transformation, driven by innovations like autonomous vehicles and smart manufacturing. At the same time, regulatory bodies are imposing stricter standards to ensure the safety and security of mission-critical systems. The combined expertise of AdaCore and CodeSecure positions the new company to play a pivotal role in helping organizations meet these challenges head-on.
Moreover, the merger comes at a time when cyberattacks on embedded systems are becoming increasingly prevalent. From connected cars to medical devices, vulnerabilities in embedded software can have catastrophic consequences. By leveraging CodeSecure’s advanced static analysis tools alongside AdaCore’s rigorous safety frameworks, the new company offers a proactive approach to identifying and mitigating risks before they can be exploited.
A Future of Growth and Innovation
As the newly merged company looks to the future, its focus will be on driving growth and innovation while maintaining a steadfast commitment to customer success. The expanded team brings together some of the brightest minds in software development, cybersecurity, and functional safety, creating a powerhouse of talent capable of tackling the most complex challenges in the industry.
The merger of AdaCore and CodeSecure represents more than just a business transaction—it is a bold step toward shaping the future of embedded software. By combining their strengths, the two companies are setting a new standard for safety, security, and reliability in mission-critical applications. As industries continue to evolve and face unprecedented challenges, this unified entity is well-equipped to lead the charge in delivering cutting-edge solutions that protect lives, assets, and data.
About AdaCore
AdaCore equips developers to create reliable, safe, and secure software. For over 30 years, the company has delivered open-source toolchains for safety-critical languages including Ada/SPARK, C/C++, and Rust. AdaCore’s tools are built to meet the most rigorous standards and supported by long-term commitments to ensure continuity and certification readiness. Learn more at www.adacore.com
About CodeSecure
CodeSecure provides industry-leading static application security testing (SAST) tools that help organizations identify and remediate vulnerabilities early in the development lifecycle. With deep expertise in software security and compliance, CodeSecure supports the highest assurance requirements across embedded and enterprise software systems. Learn more at www.codesecure.com
