Adacore acquires Componolit in move to broaden cybersecurity rangeNews
February 17, 2021
NEW YORK. Software development and verification-tool maker AdaCore announced that it acquired Componolit (Dresden, Germany), effective February 1, 2021.
AdaCore officials assert that the acquisition will enable the company to gain a further foothold to expand its growing market share in Germany, where the requirement for high-assurance software is mounting. Componolit is a provider of software components and formal verification tools for trusted systems in the high-security, mobile-security, and industrial IoT arenas. The company’s flagship technology -- dubbed RecordFlux -- is a tool used to formally describe, test, and implement binary communication protocols.
“Our acquisition of Componolit enables us to address one of the most important security concerns for the designers of military 'Systems of Systems,' which are highly dependent on secure communications,” said Romain Berrendonner, Security Offering Architect, AdaCore. “RecordFlux enables us to bring the benefits of our formal methods technologies to communication systems developers so that they can develop highly secure network layers for their most critical applications.”
Cyrille Comar, cofounder and president of AdaCore Europe, said of the acquisition: "In the expanding world of connected objects, autonomous cars, and unmanned air vehicles, securing the software that controls these devices is one of the biggest challenges of the industry. Joining forces with Componolit puts us in a position to offer the technology and expertise that will help our customers face this challenge.”