AdaCore and CodeSecure Merge to Forge Global Leader in Embedded Software Security and Safety
New York, NY – July 1, 2025 – In a significant development for the embedded systems industry, AdaCore and CodeSecure announced today their merger, creating a powerful international entity dedicated to providing comprehensive security and safety solutions for critical software. This strategic union brings together the deep expertise and renowned product portfolios of both companies, promising enhanced capabilities and expanded reach for customers worldwide.
The newly formed company will leverage AdaCore’s established leadership in high-assurance software development, particularly its expertise in the Ada and SPARK programming languages, along with its GNAT Pro development environment. Complementing this, CodeSecure brings its robust offerings in software assurance, including static analysis tools and expertise in vulnerability detection and mitigation. Together, they are poised to address the escalating demands for secure and reliable software in increasingly complex and safety-critical embedded applications.
This merger is particularly timely, as industries such as aerospace, defense, automotive, medical devices, and industrial automation face growing cyber threats and stringent regulatory requirements. The combined entity will be exceptionally well-positioned to assist organizations in building software that not only meets performance and functionality needs but also adheres to the highest standards of security and safety.
“We are thrilled to join forces with CodeSecure,” said [Name and Title of AdaCore CEO, if available], CEO of AdaCore. “This merger represents a significant step forward in our mission to provide the most trustworthy software development tools and services available. CodeSecure’s complementary technologies and deep understanding of software assurance will enable us to offer an unparalleled suite of solutions to our customers, helping them to build the safest and most secure embedded systems imaginable.”
[Name and Title of CodeSecure CEO, if available], CEO of CodeSecure, added, “The synergy between AdaCore’s established reputation for robust and secure development environments and CodeSecure’s advanced assurance capabilities is truly exciting. By combining our strengths, we will empower organizations to navigate the complexities of modern embedded software development with greater confidence, reducing risks and ensuring the integrity of their critical applications.”
The combined company plans to continue investing in research and development, focusing on innovation in areas such as formal verification, automated security testing, and the secure development lifecycle. Customers can anticipate a seamless integration of existing products and services, with a clear roadmap for future advancements designed to meet the evolving needs of the embedded software landscape.
This strategic combination marks a pivotal moment, signaling a commitment to advancing the state-of-the-art in embedded software security and safety, and reinforcing the importance of trust and reliability in the digital age.
AI has delivered the news.
The answer to the following question is obtained from Google Gemini.
Business Wire French Language News published ‘AdaCore et CodeSecure fusionnent pour former une société internationale fournissant des solutions de sécurité et de sûreté pour les logiciels embarqués’ at 2025-07-01 08:17. Please write a detailed article about this news in a polite tone with relevant information. Please reply in English with the article only.