Trust can be gained and lost, re-gained and lost again, but trustworthiness should be demonstrable.
Confidence in a system's trustworthiness can be gained in many different ways, including by design, through transparency (systems that allow us an insight into how and why they make certain decisions or use certain resources), and through rigorous verification and validation. Find out more about the laboratory.
TeamPlay, CAPRI, ROBOPILOT and other projects are already addressing various aspects of system trustworthiness. Find out more about our research.
Would you trust a robot surgeon or pilot? Would you trust them if they had the ability to adapt and change how they functioned? What would it take to make them trustworthy? These are some of the questions driving scientists and engineers at the University of Bristol. The Trustworthy Systems Lab are pleased to annouce our participation in this £3m grant UK Research and Innovation. Read more about it here.
How Trustworthy are the Brakes in your Car?
Ongoing collaboration between TSL and Thales e-security has helped to support an MSc project into vehicle cybersecurity. The project involved the demonstration of vehicle braking system vulnerabilities to cyber-attack, particularly focussed on the vehicle braking system. The MSc student was able to show that with limited prior experience and a few lines of code, a modern vehicle braking system could be prevented from operating correctly. The image shows a Test Card that uses automotive grade components to replicate a modern vehicle CAN bus which was used to investigate the susceptibility of the system to cyber attack.
Watch a Video Summary of our Research
Here is a video containing a summary of all the current research activities that are being undertaken at the TSL. An introduction is given by Prof. Kerstin Eder then it is broken out into themes: 1) Simulation based verification, CAV, Cyber-Security and Agent Based Test Generation (6:20) 2) Cyber Physical Systems and Resource Modelling (18:30) 3) Intelligent Test Generation and Mico-Electronic Design (27:05) 4) Verification of Planning and ML-based Systems (31:55). We hope you enjoy it!