AdaCore Broadens its Cybersecurity Capabilities with the Acquisition of Componolit GmbH
This press release features multimedia. View the full release here: https://www.businesswire.com/news/home/20210216005666/en/
Cyrille Comar, Co-founder and President of AdaCore Europe, and Alexander Senier, Founder and CEO of Componolit. (Photo: Business Wire)
The acquisition of Componolit will provide AdaCore with a further foothold to expand its growing market share in Germany where the requirement for high-assurance software is increasing rapidly. New engineering staff will bring extensive, complementary expertise and experience in cybersecurity and formal methods.
Componolit GmbH, founded in 2017, and based in Dresden, Germany, provides software components and formal verification tools for trusted systems to high security, mobile security, and industrial IoT customers. The company's flagship technology, RecordFlux, is a powerful tool used to formally describe, test, and implement binary communication protocols. Componolit technology will also bring new capabilities to AdaCore's suite of automated testing and static analysis tools.
"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."
"In the expanding world of onnected objects, autonomous cars, and unmanned air vehicles, securing the software that controls these devices is one of the biggest challenges of the industry," said Cyrille Comar, Co-founder and President of AdaCore Europe. "Joining forces with Componolit puts us in a position to offer the technology and expertise that will help our customers face this challenge."
"We are delighted to take our longstanding collaboration with AdaCore to a new level and to join their excellent engineering team," said Alexander Senier, Founder and CEO of Componolit. "Software bugs continue to be a main reason for cybersecurity incidents today. Integrating RecordFlux with AdaCore's technologies will enable customers to avoid software bugs in their communication layers, better protecting the boundaries of their network-enabled critical systems against cyberattacks."
Founded in 1994, AdaCore supplies software development and verification tools for mission-critical, safety-critical, and security-critical systems. Four flagship products highlight the company's offerings:
Over the years, customers have used AdaCore products to field and maintain a wide range of critical applications in domains such as commercial and military avionics, automotive, railway, space, defense systems, air traffic management/control, medical devices, and financial services. AdaCore has an extensive and growing worldwide customer base; see www.adacore.com/industries for further information.
AdaCore products are open source and come with expert online support provided by the developers themselves. The company has North American headquarters in New York and European headquarters in Paris. www.adacore.com.