Modelling and Analysis of Cyber-Physical Systems
Modelling and Analysis of Cyber-Physical Systems

This project aims to develop a novel integrative approach to Cyber-Physical Systems (CPS) specification, analysis and simulation.

This will consist of a three layer method:

  1. a new theoretical basis for modelling and verification CPS applications that act and interact with uncertain and even unknown environment scenarios;
  2. an integrated formal verification and testing approach for these systems;
  3. a toolkit allowing the specification, analysis and simulation.

The theoretical basis (a) of the research proposal envisages: the development of approximate learning techniques for X-machines and P systems that will remove or at least alleviate the well-known state explosion problem associated with testing and verifying complex systems such as CPS; development of appropriate semantics (with spatial capabilities) for X-machines and P systems models; a unifying approach on kP systems and enzymatic P systems.

Level (b) will include the integration of suitable verification methods and testing techniques for CPS, based on state based formalisms (in particular X-machines) and P systems (in particular kP systems and enzymatic numerical P systems).

Furthermore, all modelling, learning, verification and testing methods emerging from the project will be accompanied by powerful simulators and a toolkit that will integrate all these techniques.