AdaCore, a provider of mission-critical software tools, is merging with embedded security company CodeSecure. The combined company will focus on advancing safety, security, and reliability in defense, aerospace, automotive, and industrial automation sectors. The merger brings together AdaCore’s expertise in high-integrity software development and CodeSecure’s application security testing tools, including advanced static analysis capabilities. Franco Gasperoni, CEO of AdaCore, will lead the combined organization. He stated, “This combination marks a significant milestone in our shared mission to secure the world’s most critical software. 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 combined company will serve a broader customer base that includes aerospace OEMs, defense contractors, automotive suppliers, and medical device manufacturers. CodeSecure CEO Mike Dager said, “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.” Backed by Battery Ventures, the merger will expand operations across North America, Europe, and Asia, offering tools that meet both safety and cybersecurity needs in high-assurance systems.
