High Integrity Software Lab

Yesterday, the next generation of high-integrity software engineers connected with the leaders shaping the field.

Real conversations, real connections.

The Lab is dedicated to inspiring the next generation of software engineers, bringing those starting a career in high-integrity software together with senior industry leaders to build meaningful connections and better software.

What happened

• Early-career engineers met peers and senior industry leaders
• Panel and table Q&A with engineering leaders
• Two hands-on workshops:
  • Building Bridges in Borsetshire: requirements engineering for high-integrity systems, with Capgemini
  • Assurance à la Carte: designing a lifecycle and certification plan for a mid-life upgrade, with AdaCore and Rapita

Thank you to everyone who took part, and to our partners at AdaCore, Capgemini and Rapita.

Workshops

Delegates took 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: "Assurance à la Carte" Architecting the Mid-Life Upgrade

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?

Highlights from the Lab

Want to be there next time?

One ticket, two events. HISL includes entry to the High Integrity Software Conference the next day.