Le but des travaux de cet axe est de produire un ensemble d’outils permettant d’aider à la conception préliminaire et à l’optimisation globale de systèmes complexes multi-physiques par le biais d’une approche de synthèse dite « correcte par construction ». Ils portent sur la modélisation et la résolution de problèmes liés au dimensionnement, à la configuration, à l’allocation et à la synthèse d’architecture de systèmes techniques ou de production. Ces recherches s’appuient notamment sur le développement du formalisme de modélisation de problème DEPS (www.depslink.com) et de l’outil de modélisation et de résolution DEPS Studio. Les techniques de résolution utilisées sont celles de la programmation par contraintes sur domaines mixtes. L’ensemble de ces travaux s’applique à divers types de systèmes (matériels, logiciels, mécaniques, électriques ou cyber-physiques) et contribue à promouvoir des approches orientées modèles pour la représentation et la résolution de problème de conception de systèmes complexes.