HIS 2022 Programme

Please find below the programme for the High Integrity Software Conference 2022. Note that this may be subject to change.

08:00

Registration & Welcome

09:00

Product Lines and Ecosystems: from customization to configuration

Jan Bosch

Professor of Software Engineering, Chalmers University Technology

Abstract coming soon

Read More »

Morning Track A

Morning Track B

09:50

An introduction to PYRAMID

Simon Apperley

Analyst (seconded), UK MOD Defence Science & Technology Laboratory

Challenges of software at scale

Jiani Zhang

Chief Software Officer, Capgemini Engineering

10:20

Coffee & Exhibition

12:00

Lunch & Exhibition

13:30

Have we a Human Ecosystem?

James Davenport

Professor, Department of Computer Science, University of Bath

Abstract coming soon

Read More »

Afternoon Track A

Afternoon Track B

14:15

Developing Future High Integrity Processing Solutions

Dave Sanders

Associate Fellow - Complex Electronic Hardware, Rolls-Royce

Rust and the coming age of high integrity languages

Florian Gilcher

Managing Director, Ferrous Systems GmbH

14:45

Digital Security by Design (DSbD)

John Goodacre

Challenge Director - Digital Security by Design, UK Research and Innovation

Floating point calculations: traps and pitfalls

Martin Brain

Lecturer in Computer Science, City University of London

15:45

Tea & Exhibition

16:15

Panel Session: theme to be announced

17:00

Networking & Drinks Reception

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