angleTop Created with Sketch.

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

angleBottom Created with Sketch.

Programme

0800

Registration

0900

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

1020

Coffee & Exhibition

1100

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

1200

Lunch & Exhibition

1325

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

1545

Tea & Exhibition

1615

Panel Session: Certification of Autonomous Systems

Panel Chair: Tim Kelly

1700

Networking / Cocktail Hour

Sponsored by

AdaCore Altran Jaguar Land Rover

Supported by

BAE Systems