Exposé (14h)

• Titre : Elements de langage pour la formalisation de problème de synthèse de système
• Intervenants : Pierre-Alain Yvars (Supmeca) & Laurent Zimmer (Dassault Aviation)

Résumé :

DEPS (Design Problem Specification) est un nouveau langage de modélisation conçu pour poser et résoudre des problèmes de synhèse de systèmes. Ce langage combine des traits de modélisation structurelle propres aux langages orientés objet avec des traits de spécification de problème propres aux langages de programmation mathématique. Il permet d'encapsuler la formulation mathématique des problèmes dans des modèles que l'on peut organiser en fonction de l'architecture du système étudié. La représentation de problème à base de modèles qui est proposée à des fins de résolution ou d'optimisation est plus adaptée à une utilisation en ingénierie de systèmes que celle, purement équationnelle, des optimiseurs habituellement utilisés. Pour présenter les éléments du langage DEPS et illustrer son intérêt en conception de système, nous modélisons un problème complet de conception d'un petit système robotique.