Highlights from the High Integrity Software Conference 2025

The High Integrity Software Conference (HISC) returned to the International Convention Centre Wales (ICC Wales) on 13 November 2025. Sponsored and organised jointly by AdaCore and Capgemini Engineering, HISC once again provided a unique platform for software engineering practitioners to exchange knowledge, discuss challenges, and explore solutions for developing high-integrity, safety-critical, and security-critical systems.

The event brought together a broad ecosystem of OS vendors, including Wind River, Green Hills, Sysgo, and DDC-I, as well as a wide range of tool suppliers, partners, and competitors such as Rapita, LDRA, Ansys, RTI, PTC, Vector, Ferrous, and Parasoft. Major UK customers were also strongly represented, with attendees from BAE, MBDA, GE Aerospace, General Dynamics, Leonardo, Volant, Curtiss Wright, AWE, QinetiQ, Thales, and Rolls-Royce.

This year's highlights included keynotes from Dave Kleidermacher, VP Engineering, Security and Privacy for Android and Made-by-Google Products and Services, and Alex Hall, Head of Product Security, Rolls-Royce. Several key themes emerged. Google and AWS both highlighted the increasing importance of reliability, with AWS showing how formal verification of C can enable significant code optimizations. Rolls-Royce emphasized its focus on security. Capgemini presented an interesting workflow that uses the Alloy modeling language to automatically generate SPARK code and supporting tests via their Crucible tool.

AdaCore was excited to present the first joint solution for debugging and profiling Ada source code when developing safety-critical software for avionics, space, medical, automotive, and other industries.  Developed in collaboration with Lauterbach, the global market leader in debug and profiling solutions, it was showcased at HISC for the first time.

Media partners Aerospace Innovations enjoyed the breadth of content at this year's event.

Simon Barker said,

“High-integrity software and embedded systems are becoming increasingly important across all industries, including aerospace and defence (A&D). We had a great time exhibiting at the 2025 HISC and found the event to be extremely well-attended. There were lots of high-level speeches and thought-provoking presentations from industry stakeholders across the IT, rail, automotive, industrial, and A&D sectors. Aerospace Innovations is proud to be an official media partner for this valuable event, and we look forward to participating in the HISC 2026 event taking place in Birmingham in October 2026. We also look forward to hosting the Avionics & Testing Innovations Conference, scheduled to take place in June 2026 in London.”

The 2026 High Integrity Software Conference is excited to be moving to a new venue in Birmingham. Please register interest here