2021 Programme

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

14:45

The Art of Software Testing: Refining the Testing Palette

Dr Mark Hadley

Principal Software Safety Consultant, Atkins

Dr Mike Standish

Senior Scientist, DSTL (Portsdown West)
15:15

Fuzzing for Airworthiness Security

Paul Butcher

Senior Software Engineer, AdaCore
15:45

Virtual Exhibition & Networking

Formal Methods for Trustworthy Systems

16:05

The CyBOK Formal Methods Knowledge Area

Prof Steve Schneider

Director of Surrey Centre for Cyber Security, University of Surrey
16:35

Verified Trustworthy Software Specification

Prof Philippa Gardner

Department of Computing, Imperial College London
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