High Integrity Software Lab

Registration

How to register: visit our registration website below.

Build the connections behind the future of high-integrity software

Dedicated to inspiring the next generation of software engineers, the Lab brings those embarking on a career in high-integrity software development together with senior industry leaders to build meaningful professional connections and better software.

Who should attend?

This is aimed at those embarking on a career in high-integrity software.

What to expect?

Professional Connections: Meet peers and professionals
Panel & Table Q&A Session with senior industry engineering leaders
Workshops involving interactive problem-solving

Workshops

You'll have the chance to take part in both workshops:

WORKSHOP A: "Building Bridges in Borsetshire" Requirements Engineering for High-Integrity Systems

90 mins — with Capgemini experts

Teams navigate from a high-level statement of user needs to a compliant solution using satisfaction
arguments, aiming to minimise stakeholder interviews. Includes a short presentation followed by
a hands-on exercise, with teams presenting their solutions at the end.

WORKSHOP B: "The High-Integrity Snorkers Board" Assurance Planning for Verification

90 mins — with AdaCore & Rapita experts

Explore the diverse ways to develop and verify high-integrity software. This hands-on session challenges teams to design a lifecycle and certification plan for a system upgrade, proving that even under strict regulatory and corporate constraints, there are multiple paths to success. Which one will you choose?