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

Ansys
Core Avionics & Industrial Inc.
Green Hills Software
Harmonics
Lynx
Phaedrus
RTI
Phixos
SDC Systems
Vector
Wind River