AdaCore

• Date: 08/10/2026
• Company: AdaCore

AdaCore co-organises and exhibits at the High Integrity Software Conference 2026 in Birmingham

AdaCore joins Capgemini and Rapita Systems to organize HISC 2026 at The Vox in Birmingham on 13 October, and will present a session on agentic AI workflows backed by formal methods.

AdaCore, a provider of software development and verification tools for safety-critical and high-integrity systems, is looking ahead to the High Integrity Software Conference (HISC) 2026. The conference takes place on Tuesday, 13 October 2026 at The Vox, Birmingham. AdaCore organizes HISC alongside Capgemini and Rapita Systems. HISC brings together software engineering practitioners, decision-…

• Date: 12/08/2026
• Company: AdaCore

AdaCore Appoints Radhika Holowko as Chief Revenue Officer to Drive Next Stage of Growth

AdaCore, a trusted provider of tools and technologies for high-integrity, safety-critical, and secure software development, today announced the appointment of Radhika Holowko as Chief Revenue Officer.

The appointment marks the next stage in AdaCore's growth strategy, following the company's 2025 expansion through its merger with CodeSecure. Building on that expansion, AdaCore is investing in future development and broader market reach with a strengthened commercial leadership team. As Chief Revenue Officer, Holowko will lead the company's revenue strategy across its global markets, aligning…

• Date: 30/07/2026
• Company: AdaCore

AdaCore Reports Growth in Memory-Safe Language Design Wins Across US Aerospace and Defense Programs

Rust, Ada, and SPARK adoption accelerates as new independent VDC Strategy research quantifies the safety, schedule, and cost advantages of memory-safe languages

AdaCore, the provider of software development and verification tools for safety- and security-critical systems, today reported a significant increase in design wins across US Aerospace and Defense (A&D) programs that rely on memory-safe programming languages. The growth spans AdaCore's Ada and SPARK toolchain, long a gold standard for certified avionics and defense software, and Rust, an…

• Date: 23/03/2026
• Company: AdaCore

Building High-Integrity Multi-Language Systems for Defence:

Integrating C/C++, Ada/SPARK, and Rust

Integrating C/C++, Ada/SPARK, and Rust Modern military platforms are increasingly software-defined. From mission systems and avionics to autonomous vehicles, secure communications, radar processing, and electronic warfare, defence capability now depends on complex, interconnected software stacks operating under strict safety, security, and certification constraints. However, few defence…

• Date: 08/12/2025
• Company: AdaCore

Strengthening Security and Cyber Resilience

in Mission Systems with Static Analysis

Introduction Modern defence systems are built from complex, interdependent software components: avionics and flight controls, mission computers, C4ISR platforms, autonomous and semi-autonomous systems, secure communications, and ground support tooling. These systems must operate correctly first time and every time, often in degraded or contested environments, and they must resist sophisticated…

• Date: 18/06/2025
• Company: AdaCore

AdaCore and CodeSecure Merge

to Form a Global Company Providing Embedded Software Security and Safety Solutions

AdaCore, which provides software development tools for mission-critical systems, and embedded software security company CodeSecure, today announced a definitive merger agreement. The merger creates a unified company committed to advancing software safety, security, and reliability across critical industries. The merger combines two highly complementary portfolios: AdaCore’s expertise in high-…

• Date: 10/06/2025
• Company: AdaCore

Assuring Trust in Autonomy:

The Role of High-Integrity Software in Military Unmanned Systems.

Introduction In an era where autonomy is reshaping the modern battlespace, unmanned systems and drones are becoming indispensable assets for defence forces worldwide. Whether conducting surveillance, supporting logistics, or executing precision missions, these platforms rely fundamentally on software to operate safely, securely, and reliably. As autonomy increases, so does the criticality of…

• Date: 19/05/2025
• Company: AdaCore

Rapita embraces Rust via AdaCore partnership

AdaCore is well-known for its support of high-integrity embedded development.

AdaCore is well-known for its support of high-integrity embedded development. When a new language, Rust, emerged and started making claims about memory safety and minimal footprint, it was only a matter of time before it found its way into the AdaCore family. Rapita Systems is focused on providing ‘safety through quality’ and ensuring that software used in critical systems is of the highest…

• Date: 14/05/2025
• Company: AdaCore

AdaCore and Lynx Software Technologies Reaffirm Longstanding Partnership to Support DO-178C DAL A-Certified Ada Applications

AdaCore and Lynx Software Technologies have reaffirmed their longstanding technology partnership to support avionics and defense customers developing safety-critical applications with Ada.

AdaCore and Lynx Software Technologies have reaffirmed their longstanding technology partnership to support avionics and defense customers developing safety-critical applications with Ada. Both companies will showcase their software solutions at the Army Aviation Mission Solutions Summit (“QuadA”) conference and exposition in Nashville, Tennessee, May 14-16. AdaCore and Lynx solutions are used in…

• Date: 10/01/2025
• Company: AdaCore

AdaCore-led effort brings a practical approach to verifying FACE® conformance for Ada Software.

A major milestone for Ada and the FACE community was reached this past Autumn when the FACE Consortium formally approved a proposed approach to FACE conformance verification for Ada software.

A major milestone for Ada and the FACE community was reached this past Autumn when the FACE Consortium formally approved a proposed approach to FACE conformance verification for Ada software. Performed under the auspices of the Operating Systems Subcommittee of the FACE Consortium’s Technical Working Group, this effort was led by AdaCore’s FACE team comprising Ben Brosgol, Dudrey Smith, Michael…

• Date: 16/07/2024
• Company: AdaCore

Celebrating 30 years of AdaCore

For 30 years, AdaCore has provided the essential tools for building reliable, safe, and secure software. Throughout these decades, the Ada programming language and freely licensed open-source software have been integral to AdaCore's mission. CEO and AdaCore co-founder Franco Gasperoni takes pride in the company's association with Ada and its Ada 95 pioneers, such as Tucker Taft and the late…

• Date: 11/06/2024
• Company: AdaCore

AdaCore Research Proves Novel Solution for "Security by Default."

In an age of increasing security breaches and cyberattacks, the need for robust and comprehensive security mechanisms within embedded real-time systems is paramount. Through its research, AdaCore (https://www.adacore.com/) has demonstrated how combining memory-safe hardware with memory-safe software results in a mutualistic layered approach to security and increases the assurance of embedded…

• Date: 28/03/2024
• Company: AdaCore

Battery Ventures Announces Strategic Investment in AdaCore to Propel the Future of High Integrity Software Development

Battery Ventures, a global, technology-focused investment firm, today announced a significant investment in AdaCore, a leader in providing software development tools for safety- and security-critical systems. This strategic partnership will catalyze AdaCore's expansion, positioning the company as the go-to source for high-integrity, software-development tooling. Founded three decades ago,…

• Date: 15/09/2023
• Company: AdaCore

Digital Security by Design driving investment in the automotive sector and embedded systems

The Digital Security by Design (DSbD) programme from UK Research and Innovation (UKRI) is transforming digital technology and creating a more resilient, and secure foundation for a safer future. DSbD announces £1.2m funding for a Thales UK led consortium demonstrator project called RESAuto which is investigating the potential impacts of new technology on safety and privacy. A further £993k…