Skip to main content

Systems and scalability

This group focuses on research in systems, performance and scalability. The group investigates how scale can be used as a key aspect for the design, implementation and validation of computer and information systems.

The group focuses on both theoretical foundations and application of systems and scalability – these include:

  • Systems and Performance Modelling: Petri nets, Markov Models and Process Algebra
  • Representation: Graph-based models of scalable systems
  • Implementation: Cloud/Edge systems, Internet of Things and high performance computing
  • Applications: Scientific Computing, Scalable sensing in smart cities, scalable machine learning
  • Testbeds: for evaluating systems research.

Aims

We aim to bring together theoretical foundations and practical aspects of systems and scale.

Research

Research topics currently of interest to group members include:

  • Use of tools for representing scalable systems: Petri nets (Reference net) Modelling, Using Process Algebras and stochastic representations for modelling systems (Reinecke, Pereira, Theodorakopoulos)
  • Performance Analysis and Monitoring: Monitoring container frameworks (Kubernetes, Docker) and IoT environments (Pereira, Rana, Theodorakopoulos)
  • System of systems and scalable cyber-physical simulation (Saxena).

Projects

Current resarch projects include:

Events

The group is actively involved in organising and contributing to a number of international events – including:

Next steps

academic-school

Research that matters

Our research makes a difference to people’s lives as we work across disciplines to tackle major challenges facing society, the economy and our environment.

microchip

Postgraduate research

Our research degrees give the opportunity to investigate a specific topic in depth among field-leading researchers.

icon-chat

Our research impact

Our research case studies highlight some of the areas where we deliver positive research impact.