This project aims to develop a modelling approach, focused on multi-scale systems, based on a combination of membrane systems and X-machines. This will strengthen both these formalisms, by using their existing capabilities and their existing tools, and also by addressing (some of) their limitations with regard to modelling complex multi-scale systems and phenomena. By considering several case studies from different areas (biology, economics, engineering), the project will develop domain-specific high-level specification languages, based on membrane systems and X-machines, that will enable complex systems and multi-scale phenomena to be expressed in a natural manner. These languages will also be accompanied by domain-specific logics and test generation techniques for such systems and phenomena, which will provide the necessary means for formally verifying and validating the obtained models. Furthermore, all modelling, verification and testing methods emerging from the project will be accompanied by powerful simulators and a toolkit that will integrate all these techniques. The expressive power of the specification languages, the effectiveness of the verification and testing methods, as well as the efficiency of the simulators will be proven on the aforementioned case studies.
The members of the MuVeT project collaborate with
This research project is financed by CNCS-UEFISCDI (National Council for Scientific Research - Executive Unit for Financing Higher Education, Research, Development and Innovation), project number PN-II-ID-PCE-2011-3-0688 (contract no. 317/24.10.2011).