2018 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
0950
1020
Coffee & Exhibition
1100
1130
Overcoming Critical Barriers to Assurance and Regulation of Robotics and Autonomous Systems
Dr Ana MacIntosh
Programme Manager, Assuring Autonomy International Programme, University of York
Dr Richard Hawkins
Senior Research Fellow, Assuring Autonomy International Programme, University of York
Multi-core Interference Tuning and Analysis
Dan Iorga
Research Postgraduate, Imperial College Department of Computing
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
1415
1445
1515
Cyber Security Body of Knowledge: documenting foundation knowledge of the domain
Dr. Howard Chivers
Honorary Fellow of the University of York
Secure Embedded Systems Design: Introducing EwoK, an Open Source Ada Microkernel
Arnauld Michelizza
Security Specialist and Researcher, French Network and Information Security Agency (ANSSI)
1545
Tea & Exhibition
1615
Panel Session: Certification of Autonomous Systems
Panel Chair: Tim Kelly, University of York
• Simon Burton, Bosch
• Cyrille Comar, AdaCore
• Richard Hawkins, University of York
• Neil White, Altran
1700