Skip to main content

Model-based Engineering Research

Our research in model-based engineering is helping engineers refine systems through rigorous modelling.

Our research

We’re developing the next generation of methods and tools to help engineers specify, verify and refine systems through rigorous modelling. We also integrate them into advanced software design paradigms, such as self-adaptive systems or digital twins.

We apply our methods in domains such as:

  • cyber-physical systems (railway systems)
  • asynchronous circuits
  • autonomous systems
  • self-protecting systems

Our Advanced Model-Based Engineering and Reasoning (AMBER) group leads our research in model-based engineering.

Research projects

  • CPSELabs, Fitzgerald and Pierce, EC, £823k, 2014-2018
  • INTO-CPS, Fitzgerald and Pierce, EC, £532k, 2014-2017