Ewch i’r prif gynnwys

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:

Camau nesaf

Ymchwil sy’n gwneud gwahaniaeth

Mae ein hymchwil yn gwneud gwahaniaeth i fywydau pobl wrth i ni gweithio ar draws disgyblaethau er mwyn ymgodymu â phrif heriau sy’n wynebu’r gymdeithas, yr economi ac ein hamgylchedd.

Ymchwil ôl-raddedig

Mae ein graddau ymchwil yn rhoi'r rhyddid i chi i archwilio pwnc arbennig mewn dyfnder ymhlith ymchwilwyr blaenllaw.

Ein heffaith ymchwil

Mae'r astudiaethau achos hyn yn rhoi sylw i rai o'r meysydd lle rydym yn cael effaith ymchwil gadarnhaol.