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
DSEI 2025

“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
Babcock LB
QinetiQ US achieves DoD

Security

QinetiQ US achieves DoD's CMMC Level 2 Cybersecurity Certification

16 July 2025

Advanced certification has positioned QinetiQ US among early achievers in a select group of companies meeting the US Department of Defense's enhanced cybersecurity standards, having earned Level 2 certification under the DoD Cybersecurity Maturity Model Certification (CMMC) programme with zero findings.

SkyShark takes flight

Defence Security

SkyShark takes flight

16 July 2025

MGI Engineering, a company forged in the fast-paced world of Formula 1, has officially unveiled SkyShark, a next-generation military drone platform designed to transform battlefield operations with speed, precision and UK-built sovereignty.

Chief Superintendent Fiona Gaffney joins NPAS as COO

Security

Chief Superintendent Fiona Gaffney joins NPAS as COO

15 July 2025

The National Police Air Service (NPAS) has welcomed Chief Superintendent Fiona Gaffney as its new Chief Operating Officer (COO), following the retirement of Chief Superintendent Vicki White after 30 years of service to policing.

Lane Electronics to showcase connectivity solutions at DSEI 2025

Defence Security Events

Lane Electronics to showcase connectivity solutions at DSEI 2025

15 July 2025

Franchised distributor of electrical, electronic and optical connectors, Lane Electronics, will be exhibiting at DSEI 2025 (9th–12th September 2025, Excel London) will have the opportunity to explore the company’s latest connector technologies and its UK-based assembly and services.

Advertisement
DSEI 2025
UK and France agree scheme to address illegal Channel crossings

Security

UK and France agree scheme to address illegal Channel crossings

11 July 2025

The Prime Minister Keir Starmer and French President Emmanuel Macron, have agreed a scheme to address illegal Channel crossings and dismantle the people smuggling networks.

IFS appoints Kriti Sharma as CEO of Nexus Black

Aerospace Security

IFS appoints Kriti Sharma as CEO of Nexus Black

11 July 2025

IFS has appointed Kriti Sharma as CEO of IFS Nexus Black. This strategic move reinforces IFS’s commitment to industrial AI and fast-tracks the development of agentic AI systems designed for the asset- and service-intensive industries it serves.

Advertisement
ODU RT