jETI Logo  

FMICS Members

Based on jETI, the core FMICS partners are going to set up a collaborative demonstrator that

  • illustrates the applicability of the jETI technology for lightweight remote integration of tools into the repository
  • shows how to provide tools to the repository, by registration and remote provision,
  • demonstrates how to experiment with local and remote tools to solve cooperative verification tasks
  • shows how to orchestrate different tools (possibly a mix of local and remote ones) which were not originally designed to cooperate, to address more complex case studies.

This may require the availability of mediators, to cover semantic gaps between the tools. The participating partners are so far CCLRC/RAL (UK), CWI (The Netherlands), INRIA Grenoble (France), ISTI Pisa (Italy), Masaryk University in Brno (Czech Republic), VSSTE/ifip Zürich (Switzerland), University of Dortmund (Germany), the University of Malaga (Spain), University of Potsdam (Germany), University of Saarbrücken (Germany). The core effort by the partners concerns the provision of tools and case studies that serve as executable benchmarks of the demonstrator. The coordinators (Univ. of Dortmund and Univ. of Potsdam) are responsible for the jETI platform and technology, and for the development and test of the demonstration between their two locations.

University of Malaga, Spain INRIA Grenoble, France ISTI Pisa, Italy University of Brno, Czech Republic Universität Saarbrücken, Germany University of Potsdam, Germany University of Dortmund, Germany CWI Amsterdam, Netherlands CCLRC London, United Kingdom ERCIM Working Group: FMICS Formal Methods for Industrial Critical Systems java Electronic Tool Integration Platform