AdaCore Broadens its Cybersecurity Capabilities with the Acquisition of Componolit GmbH
February 18, 2021
News
AdaCore announced the acquisition of Componolit GmbH, effective as of February 1, 2021
Per the company, the acquisition of Componolit will allow AdaCore to expand its market share in Germany where the requirement for high-assurance software is increasing. New engineering staff will bring 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 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.”
“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.”
For more information, visit: www.adacore.com/industries
Tiera Oliver is the assistant managing editor at Embedded Computing Design. She is responsible for web content editing, product news, and story development. She also manages, edits, and develops content for ECD podcasts, including Embedded Insiders.
She utilizes her expertise in journalism and content management to oversee editorial content, coordinate with editors, and ensure high-quality output across web, print, and multimedia platforms. She manages diverse projects, assists in the production of digital magazines, and hosts company podcasts by conducting in-depth interviews with industry leaders to deliver engaging and insightful discussions.
Tiera attended Northern Arizona University, where she received her bachelor's in journalism and political science. She was also a news reporter for the student-led newspaper, The Lumberjack.
