Systems Modelling

The Systems Modelling  research theme is engaged in the theoretical foundations, pragmatics, and use of tools for the analysis and modelling of abstract, conceptual, and real-world systems. The activities of the group may be described under the following headings:

  • algebraic, logical, and stochastic methods for modelling systems, including conceptual, theoretical, and pragmatic work. The use of these methods to give rigorous semantics to practical modelling tools
  • conceptual, economic, and mathematical approaches to modelling (information) systems and security architectures, policies, and operations
  • basic research in logic, semantics, and relationships between economics and logic
  • basic conceptual research in cloud computing and cloud security and stewardship
  • direct interaction with time series and spatial data (signals) in order to describe or model them either quantitatively, qualitatively or linguistically. This includes data visualisation, temporal abstraction, data mining, and statistical modelling
  • the construction and deployment of models (quantitative, qualitative, associational, or procedural) of the mechanisms (systems) responsible for observed data, in order to explain or predict them. The methods employed here include: manual construction, compositional modelling, machine learning, and systems identification. Meta-modelling activities are also included in this activity. We are also concerned with the development of novel simulators (qualitative, interval based, and quantitative) to predict the behaviour of systems

Whilst these activities are generally applicable, the main application domains for our work are in the (Information) Security Management and the Life Sciences:

  • the application of conceptual, economic, mathematical modelling to information risk, information management, and information assurance in complex and critical systems, including cloud ecosystems
  • the application of conceptual, economic, mathematical modelling to hybrid information-physical security problems
  • the application of computational analytical and modelling methods to the Life Sciences, which includes: Medical Informatics, Bio-informatics, Systems Biology, Computational Biology, Structural Biology, and Chemo-informatics


Current Projects

  • Trust Economics (TSB-funded, in collaboration with HP Labs, University of Bath, University of Newcastle, and UCL)
  • Cloud Stewardship Economics (TSB-funded, in collaboration with HP Labs, University of Bath, Aberdeen University Business School, the Institute of Information Security Professionals, Marmalade Box, Sapphire, Validsoft, and Lloyds of London)
  • Trust Domains (RCUK-funded, in collaboration with HP Labs, Perpetuity, University of Birmingham, and University of Oxford)
  • Seconomics (EU FP7-funded, in collaboration with University of Trento, National Grid, and a range of European partners)