Project Objectives

The main aim of the project is to develop a coherent modelling approach for complex, multi-scale systems, based on two already successful modelling paradigms, by extending them with suitable features such as to strengthen their modelling, verification and simulation capabilities. In order to achieve this aim, the following research objectives have been identified:

  • Definition of a formal specification language and operational semantics for multi-scale system modelling, based on membrane systems and X-machines.
  • Extensive case studies involving different classes of problems taken for various areas.
  • Definition of a modal logic for the proposed language.
  • Development of test generation techniques for models constructed using the proposed language.
  • Development of an integrated modelling, simulation, verification and testing toolkit for multi-scale systems.