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:
- DTE+ - Decarbonising Transport Through Electrification
- IoTGarage
- 5G CoCoRES - Scalable sensing and services using 5G infrastructure.
Meet the team
Lead researcher
Academic staff
Postgraduate students
Events
The group is actively involved in organising and contributing to a number of international events – including:
Schools
Next steps
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.
Postgraduate research
Our research degrees give the opportunity to investigate a specific topic in depth among field-leading researchers.
Our research impact
Our research case studies highlight some of the areas where we deliver positive research impact.