2021 Programme

The programme for HIS 2022 will be announced in due course. In the meantime, you can access presentations from last year’s virtual event are available below.

13:30

Exhibition & Networking

14:00

Welcome

14:05

NCSC and High Integrity Systems

Paul Waller

Head of Capability Research, National Cyber Security Centre

Paul Waller will present the work of the National Cyber Security Centre in the domain of high integrity systems.

Read More »

Innovations in Software Testing

15:45

Virtual Exhibition & Networking

Formal Methods for Trustworthy Systems

17:05

Closing Remarks

Sponsored by

AdaCore Capgemini Engineering

Supported by

AdaCore
Capgemini Engineering
Ansys
Harmonics
LDRA
RTI
Phixos
Rapita Systems Ltd
SDC Systems
Sysgo
Vector
Wind River
DDC-I
Harmonic Software Systems
TEKTowr
TrustInSoft
SafeCap