angleTop Created with Sketch.

High Integrity Software 2017 Conference — October 17 — Bristol, UK

angleBottom Created with Sketch.

Keynote Address: Assured Software – A Journey and Discussion

Robert Martin

Senior Secure Software & Technology Principal Engineer, The MITRE Corporation

Robert Martin, Senior Secure Software & Technology Principal Engineer at The MITRE Corporation, will discuss the history and future of assuring software.

Read More »

Keynote Address: Unpatchable – Living with a Vulnerable Implanted Device

Dr. Marie Moe

Research Manager at SINTEF, Associate Professor at NTNU

Gradually we are all becoming more and more dependent on connected technology, we will be able to live longer with an increased quality of life due to medical devices and sensors integrated into our body. However, our dependence on technology grows faster than our ability to secure it, and a security failure of a medical device can have fatal consequences. Marie's life depends on the functioning of a medical device, a pacemaker that generates each and every beat of her heart. This talk is about Marie's personal experience with being the host of a vulnerable medical implant, and why she decided to start a hacking project, investigating the security of her own personal critical infrastructure.

Read More »

Technical Sessions

Technical sessions will include presentations on the challenges and solutions for engineering safe & secure software, with a focus on embedded, connected, infrastructure and defence systems. 

Speakers will include:

David Oswald
Lecturer, University of Birmingham
Your car is not a safe box - breaking automotive keyless entry systems

Dewi Daniels
Chief Software Engineer, Callen-Lenz Associates Ltd
Bridging the Gap Between Manned and Unmanned

Dr Fergal Mc Caffery and Ceara Treacy
Director of the Regulated Software Research Centre and Doctoral Researcher, Dundalk Institute of Technology
Safety and Security Processes for Medical Device Software

Louise Harney
Systems Engineering Consultant, PA Consulting
The importance of data in developing safe software 

Mike Bennett
Software Technology Specialist, Research and Technology, Rolls-Royce Control Systems
SECT-AIR: Reducing engineering costs and timescales for aerospace software 

Paul Sherwood
CEO, Codethink Limited
Towards Trustable Software

Peter Ladkin
Director, Causalis Limited
Formal methods for safety-critical software assurance

Robert Oates
Global Software Capability Team Lead, Rolls-Royce Control Systems
Securing Safety Critical Systems

Rod Chapman
Director, Protean Code Ltd
Secure Updates for Embedded Systems

Programme subject to change.

Sponsored by

AdaCore Altran Jaguar Land Rover

Supported by

BAE Systems