User Tools

Site Tools


Sidebar

Manufacturing Networks Wiki

Projects

projects:multiform:start

MULTIFORM

MULTIFORM is a new FP7 European project on networked embedded and control systems - control of large-scale complex distributed systems. It is expected to start 1 September 2008, with a duration of three and a half years. The official web site is http://www.ict-multiform.eu.

Project summary

The focus of the MULTIFORM project is on the integration and the interoperation of tools and methods based on different modelling formalisms in order to make a significant step towards integrated coherent tool support for the design of large complex controlled systems from the first concept to the implementation and further on over their entire life cycle. By addressing the issue of multi-level multi-formalism control systems modelling and design, this project represents a definite advance over the traditional approach pursued by the control community that focuses solely on the design of control algorithms and, to some extent, their interaction with communication protocols. The multi-formalism approach pursued here reflects the heterogeneous nature of the functionality and of the implementation of controlled systems. The key contribution of the project towards the goal of integrated model-based control systems design is the connection of tools that support the design of different layers of the control hierarchy and on different levels of abstraction. Integration of tools is pursued both along the axes of re-use and consistency of models and data generated in the design process and of feedback and feedforward of results between different levels of abstraction addressed by tools that are based on different formalisms. The project MULTIFORM will address the following issues:

  • Integrated specification and synthesis of control algorithms
  • New ways of connecting techniques for analysis and design that are based on different levels of abstraction
  • Integration of the tools into a common framework
  • Application of multi-formalism analysis and design to challenging real-world case studies

Research in MULTIFORM at the TU/e

  • Model exchange based on the CIF
  • Synthesis of supervisory controllers based on Chi and CIF models
  • Transformations, refinements and abstractions of hybrid system models

Groups involved at TU/e

Two groups are involved in MULTIFORM at the TU/e: the Systems Engineering Group (SE) of Mechanical Engineering and the Formal Methods Group (FM) of Mathematics and Computer Science. The staff involved is:

International participants

Name Acronym Country
Technische Universität Dortmund (coordinator) TUDO Germany
Technische Universiteit Eindhoven TUE Netherlands
Universite Joseph Fourier Grenoble UJF France
RWTH Aachen RWTH Germany
Aalborg Universitet AAU Denmark
Embedded Systems Institute ESI Netherlands
VEMAC GmbH & Co. KG VEMAC Germany
KVCA A/S KVCA Denmark

Publications

Below follow the publications that are specific for research carried out in the Multiform project. A large amount of work in Multiform is related to the Compositional Interchange Format (CIF). These publications can be found at: publications on the CIF.

projects/multiform/start.txt · Last modified: Tuesday, 14 April 2009 : 12:38:41 by vanbeek