in Security

AdaCore broadens its cybersecurity capabilities with Componolit acquisition

Posted 16 February 2021 · Add Comment

Software development and verification tools provider, AdaCore, today announced the acquisition of Componolit GmbH, effective as of 1st February 2021.

Image copyright Shutterstock

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 connected 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.”


Other Stories
Latest News

Satellite data learning tool brings EO to the next generation

A new UK Space Agency-backed online tool for learning satellite Earth Observation (EO) is now available for trial by higher education institutions.

Operational benefits of freeports in England

The establishment of new freeports in England - expected to be operational by the end of 2021 - offer the prospect of a range of unique business benefits, according to law firm DLA Piper.

Air Charter Scotland unveils second Biggin Hill based Citation M2

Air Charter Scotland has introduced a second Cessna Citation 525 M2, from its newest London Biggin Hill Airport base, coinciding with the first lifting of travel restrictions from 17th May.

Heathrow calls for significant expansion of 'green' list countries

As it reported today that it had lost 6.2 million passengers in April, down 92.1%, compared to pre-pandemic 2019 figures - following over a year of restrictions on non-essential travel - Heathrow called for significant expansion of

Guidance issued to prevent use of vehicles as weapons in terror attacks

New guidance designed to prevent commercial vehicles, including vans, lorries, buses, coaches and even cranes, from being used as weapons in acts of terrorism, was published yesterday.

Cobham Mission Systems wins $7.1m NAVSUP UWARS contract

Cobham Mission Systems announced today that it has been awarded a new $7.1 million prime contract from the US Naval Supply Systems Command Weapon Systems Support (NAVSUP) for production and delivery of Universal Water Activated

ODU UK SK0902311221
See us at
Space Comm Expo BTDSEI bt1602170921RAF Museum BT