Photo of Matt Holland

Matt Holland

    Willing to speak to media

    If you made any changes in Pure these will be visible here soon.

    Personal profile

    Biography

    Matt is a PhD student in the field of autonomous vehicle research. He is conducting his doctoral studies in a collaborative research project between Coventry University and HORIBA MIRA. He is a member of the Institute for Future Transport and Cities (FTC) at Coventry University and the Centre for Connected Autonomous Automotive Research (CCAAR) at HORIBA MIRA.

    After completing his BSc in Product Design, Innovation and Marketing, Matt went on to have a successful career in cybersecurity, with senior leadership roles in a number of global organisations. He returned to academia, completing an MBA with Coventry University, concluding with a thesis entitled "Cybersecurity and connected autonomous vehicle adoption - How do we ensure cybersecurity doesn’t stop us all getting autonomous vehicles?"

    PhD Project

    Matt's PhD research relates to model-based security testing for connected autonomous vehicles, to provide a systematic approach to generating test suites from formal models of system designs, where the formal models capture system behaviour in an unambiguous and mathematically precise way.

    The aim of this project is to augment the existing design methodology for automotive embeddedsystems with model-based security testing. This will increase the confidence that automotive systems are secure by design and security properties are realised in the implementation. A prototype toolset will be developed for evaluation and technology transfer readiness.Research Questions would include:

    • How to model reference architectures for typical sub-systems in a selected semi-formal languageand a selected formal language? This includes the transformation from semi-formal models into formal ones
    • How to take into account aspects of the system environment that are relevant to security in these models, such as attack trees and attack-defence trees?
    • How to manage risks and generating test cases from formal models. This includes how to parameterise formal models to quantify and manage potential risks?
    • How to automate the transformation from semi-formal models to formal ones and the generationand execution of test cases?

    Education/Academic qualification

    Business, MBA, Coventry University

    1 Sep 20161 Jul 2019

    Award Date: 1 Sep 2019

    Engineering, Degree, University of Derby

    1 Sep 19941 Jul 1998

    Award Date: 1 Sep 1998

    Your message has successfully been sent.
    Your message was not sent due to an error.
    If you made any changes in Pure these will be visible here soon.