angleTop Created with Sketch.

High Integrity Software 2019 Conference — November 3 — Bristol, UK

poster2016 angleBottom Created with Sketch.

HIS Virtual Event, November 2020

To maintain the safety of our delegates, exhibitors and everyone involved, we have taken the decision to cancel this year’s physical HIS conference, and to shift to a virtual event. We continue to evaluate the feasibility of organising an HIS in 2021 in its original format.

This year’s virtual event aims to address the challenges we face building high integrity software in this new age of increased digital dependency. The event will take place in November 2020, and we will be announcing further information about the programme and logistics as soon as this is available.

For more complete guidance on the nature of HIS events, we suggest visiting the other pages on this website, such as the complete programme from the HIS 2019 conference and the selection of slides from previous years.

The HIS Organising Committee would like to thank all event supporters and sponsors for their continued support. If you have any questions, please contact us at info@his-conference.co.uk.




The mission of the High Integrity Software conference is to share challenges, best practice and experience between software engineering practitioners. The conference features talks from industrial and academic specialists which disseminate experience and knowledge of important techniques and methods that are applicable across industry sectors.

We are entering an age of digital dependency, where more and more aspects of our everyday lives will rely on the correct function of software-intensive electronic systems.

These systems may be tangible, at-hand, embedded systems, but more frequently are remote and highly distributed, relying on multiple layers of communication and infrastructure for correct operation. We expect these systems to deliver ever-more complex functionality on demand, and need to be able to trust this functionality to be delivered with appropriate levels of safety and security.

The need for trustworthy software – software that does exactly what it is intended to do – is well-established in certain sectors such as defence, aerospace, and transportation, along with a mature approach to its design and assurance. But the increased use of software in more and more domains – embedded, connected, consumer and infrastructure systems – means that similar approaches are needed across a broader range of industries.

In addition there are disruptive technological influences which mean that traditional approaches to verification and assurance in the established industries will no longer remain applicable or sufficient.

The aim of the High Integrity Software conference is to share the experience and know-how that will address these challenges within our industry and help to build the foundations of a trustworthy software ecosystem for the future.

Event Organisers

AdaCore Altran

Corporate Supporters

Jaguar Land Rover BAE Systems

Exhibitors & Sponsors

{ block.exhibitorName }}
{ block.exhibitorName }}
{ block.exhibitorName }}
{ block.exhibitorName }}
Harmonics
{ block.exhibitorName }}
{ block.exhibitorName }}
{ block.exhibitorName }}
{ block.exhibitorName }}
{ block.exhibitorName }}
{ block.exhibitorName }}
{ block.exhibitorName }}
{ block.exhibitorName }}
{ block.exhibitorName }}
{ block.exhibitorName }}
{ block.exhibitorName }}