Advancing UK Aerospace, Defence, Security & Space Solutions Worldwide
  • Home
  • /
  • Security
  • /
  • AdaCore broadens its cybersecurity capabilities with Componolit acquisition

Security

AdaCore broadens its cybersecurity capabilities with Componolit acquisition

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.

Advertisement
Teledyne

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

Advertisement
Leonardo RT

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

 

Advertisement
PTC PTC
Serco appoints Keith Williams as Chair

Aerospace Defence Security Space

Serco appoints Keith Williams as Chair

4 July 2025

Serco has appointed Keith Williams to the Board as a Non-Executive Director and Chair designate.

Boeing appoints Stephen Parker as CEO of BDS

Defence Security Space

Boeing appoints Stephen Parker as CEO of BDS

3 July 2025

Boeing has appointed Stephen (Steve) Parker as president and chief executive officer of its Defense, Space & Security (BDS) business, effective immediately.

Lancashire aims at advancing cyber-enabled defence and security

Defence Security Events

Lancashire aims at advancing cyber-enabled defence and security

3 July 2025

Over 200 senior business leaders, investors, policymakers and academics from across the UK gathered this week at the Lancashire Cyber Festival to discuss Lancashire’s opportunity to become a global leader in cyber-enabled defence and security.

Airframe Designs aligns with US NCAMP standards

Aerospace Defence Security

Airframe Designs aligns with US NCAMP standards

3 July 2025

Airframe Designs has aligned its material systems with the US National Centre for Advanced Materials Performance (NCAMP) which works with the Federal Aviation Administration (FAA) and industry partners to support its existing testing processes.

Advertisement
Leonardo RT
Bernd Kögel to spearhead launch of DSEI Germany

Defence Security Events

Bernd Kögel to spearhead launch of DSEI Germany

3 July 2025

Clarion Events Defence and Security has announced the appointment of Colonel (ret) Bernd Kögel as Managing Director of DSEI Germany, effective 1st October 2025.

Siemens and NVIDIA team to drive AI in advanced manufacturing

Aerospace Defence Security

Siemens and NVIDIA team to drive AI in advanced manufacturing

2 July 2025

Siemens and NVIDIA are expanding their partnership to accelerate the next era of industrial AI and digitalisation, towards enabling the factory of the future.

Advertisement
Leonardo RT