08:00

Registration

09:00

Welcome

09:05

NCSC Software Security Strategy: the approach to realise real-world impact at scale

Ollie Whitehouse

NCSC CTO

Ollie’s career in cyber security has spanned more than 27 years prior to becoming the NCSC's Chief Technology Officer in late 2023. He has held senior science and technology…

Track 1

Track 2

Track 3

9:50

Trusted AI Systems

Challenges and opportunities in integrating multi-agent AI into model-driven engineering of dependable systems

Antonio Garcia-Dominguez

Senior Lecturer in Software Engineering, University of York

Secure and Safe Software

Isolation as a Security Primitive: Building Real-World Critical Systems on a Formally Verified Microkernel

Martin Dehnel-Wild

Chief Scientist, Kry10

Amy Brooks

Technical Programme Manager, Kry10

Next-Generation Engineering

Overcoming the challenges of data coupling and control coupling introduced by modern avionics architectures

Dan Wright

Product Manager, Rapita Systems

Andy Galloway

Senior Research Engineer, Rapita Systems

10:20

Coffee & Exhibition

00:00

Vendor Showcase Talks

11:00

Trusted AI Systems

Using GenAI to secure the delivery of CNI (Critical National Infrastructure)

Greg Sugden

Principal Engineering Manager, BAE Systems Submarines

Andrew Hawthorn

Chief Architect, Capgemini

Secure and Safe Software

The System behind the System: The Twin Assurance Problem in High-Integrity Engineering

Nikita Johnson Needle

Lead Engineer - OT Cyber Security, Rolls Royce SMR

Next-Generation Engineering

Eating Toast: 50 years of MASCOT from single core to diverse, distributed multicore systems

John Price

Technical Expert, MBDA

11:35

Trusted AI Systems

Beyond Plausible Diffs: Assurance Evidence for AI-Assisted Code Changes

Martin Becker

Principal Application Engineer V&V, MathWorks

Secure and Safe Software

Security in Avionics Systems

Gary Gilliland

Vice President - Marketing, DDC-I

Next-Generation Engineering

What is “Controlled” AI and how it supports Software Verification and Validation

Edgar Hernandez

Senior Embedded Software Engineer, Developair Technologies

12:05

Lunch & Exhibition

00:00

Vendor Showcase Talks

13:20

Becoming a Software-Aware Client: Lessons from other projects and the HS2 Approach

Gianpiero Colasante

Lead Software Integration Manager, HS2 Ltd

Gianpiero Colasante is the Lead Software Integration Manager at HS2 Ltd, where he is responsible for defining and overseeing the strategy, planning, and governance for software…

14:05

Trusted AI Systems

Runtime and Behavioural Assurance - Can we make AI behave like a SIL 4 system?

Matt Banham

CTO, SAIF Autonomy

Secure and Safe Software

Integrating Security into Safe Airborne Software Development

Carsten Beck

Partner Management, SYSGO

Partnerships and Programmes

A Modular Open Systems Approach to Complex, High-integrity Systems Development beyond US Defense

Clifford Bilbrey

Senior Solutions Engineer - Global Aerospace and Defense, Qt Group

14:40

Trusted AI Systems

Agentic AI workflows to build high-integrity software backed by formal methods

Mark Hermeling

Head of Technical Marketing, AdaCore

Next-Generation Engineering

Empowering Embedded Software Development with AI-Driven Toolchains

Zachary Cole

Principal Field Application Engineer, TASKING

Partnerships and Programmes

Europe's Rail - Enabling Continuous Evolution of Safety-Critical Railway Systems

Julien Spanneut

Head of Rolling Stock Software, SNCF Voyageurs

Julien Bois

Safety Manager, Ikos Switzerland

15:10

Tea & Exhibition

00:00

Vendor Showcase Talks

15:40

Trusted AI Systems

Physical AI: The Collision of the Deterministic OS and the Non-Deterministic LLM

Sandeep Modhvadia

Chief Product Officer, Wind River

Next-Generation Engineering

From requirements to HIL testing: Building a life-saving medical device in Rust

Alex Senier

Head of Product & Engineering, Ferrous Systems

Partnerships and Programmes

From Standard to Reality: Implementing FACE® and UDDL in Next-Generation Avionics

Alicia Taylor

Program Director - FACE Consortium, The Open Group

Jean-Philippe Amouroux

Embedded Software Architect, Thales

16:15

AI and the Agnogenic Test Engineer

Alec Banks

Senior Principal Scientist, Dstl

Alec works as a Principal Advisor for Autonomous Systems and AI Safety Engineering at the UK Ministry of Defence (MOD) Defence Science and Technology Laboratory (Dstl). In 2026…

16:45

Closing Remarks

17:00 - 18:00