angleTop Created with Sketch.

High Integrity Software 2018 Conference — November 6 — Bristol, UK

angleBottom Created with Sketch.





Making the Case for Safety of Machine Learning applied to Automated Driving

Simon Burton

Chief Expert Safety Reliability and Availability, Bosch

Machine learning technologies such as neural networks show great potential for enabling automated driving functions in an open world context. However, these technologies can only be released for series production if it can be demonstrated to be sufficiently safe. Read More »

Assured Autonomous Systems

Hardware/Software Architectures


Coffee & Exhibition


Virtual Verification and Validation – The Answer to Assurance of Highly Autonomous Vehicles?

Dr Richard Porter

Director Technology and Innovation, Meridian Mobility

Certifying modular PLDs with the Universal Verification Methodology

Richard Harriss

Lead PLD Engineer, BAE Systems


Lunch & Exhibition


Autonomous Systems and IoT – The New Challenge for Computer Forensics

Andrew Blyth

Head of Information Security Research Group, University of South Wales

In this talk we explore the new frontier of computer forensics and how it relates to Autonomous Systems and IoT. As technology runs away with new innovations, regulations and legislation are struggling to keep up. We will explore new techniques and strategies that will enable computer forensics to keep pace with the speed of innovation in these domains.

Read More »

Cyber Security - People & Practice

Languages & Applications


Tea & Exhibition


Panel Session: Certification of Autonomous Systems

Panel Chair: Tim Kelly


Networking / Cocktail Hour

Sponsored by

AdaCore Altran Jaguar Land Rover

Supported by

BAE Systems