Événement / Ingénierie Système
Le Chapitre Régional Rhône Alpes de l’AFIS a le plaisir de vous inviter à une après-midi de réflexions sur la synthèse de système à base de modèle. Le workshop aura lieu le 03 décembre 2024, à partir de 13h15, à l’INSA Lyon.
Les présentations et les discussions seront axées sur la synthèse de système à base de modèles avec
Pierre-Alain Yvars est Professeur des Universités à l’ISAE-Supméca. Après avoir mené des activités de recherche et de développement dans l’entreprise PSA Peugeot Citroën dans les domaines de la robotique, de l’intelligence artificielle, de la programmation par contraintes et de la conception, il rejoint l’ISAE-Supméca. Il se concentre actuellement sur la spécification et le développement de méthodes et d’outils de synthèse de systèmes basés sur des modèles (MBSS) appliqués à la conception et à la certification d’architectures de systèmes complexes, qu’ils soient à dominante technologique (mécanique, génie électrique,…), à dominante logiciel Pierre-Alain Yvars est Professeur des Universités à l’ISAE-Supméca. Après avoir mené des activités de recherche et de développement dans l’entreprise PSA Peugeot Citroën dans les domaines de la robotique, de l’intelligence artificielle, de la programmation par contraintes et de la conception, il rejoint l’ISAE-Supméca. Il se concentre actuellement sur la spécification et le développement de méthodes et d’outils de synthèse de systèmes basés sur des modèles (MBSS) appliqués à la conception et à la certification d’architectures de systèmes complexes, qu’ils soient à dominante technologique (mécanique, génie électrique,…), à dominante logiciel
Laurent Zimmer est actuellement Ingénieur de Recherche Senior à la Direction de la Recherche et des Affaires Futures de Dassault Aviation. En tant qu’expert en raisonnement basé sur des modèles et en résolution de problèmes, il a coordonné ou participé à plusieurs projets de recherche nationaux ou européens, dont certains ont abouti à la conception et au développement de logiciels d’ingénierie assistée par ordinateur, tels que des outils de diagnostic basés sur des modèles, des simulateurs qualitatifs et des solveurs basés sur des contraintes. Plus récemment, il a étudié les questions de représentation des connaissances et de raisonnement soulevées par l’approche de l’ingénierie des systèmes basée sur les modèles (MBSE). Il se concentre actuellement sur la spécification et le développement de méthodes et d’outils de synthèse de systèmes basés sur des modèles (MBSS) appliqués à la conception et à la vérification d’architectures de systèmes complexes, soient à dominante technologique (aéronautique, énergie à bord), à dominante logiciel (systèmes embarqués), ou même cyber-physiques. Il est co-créateur et co-concepteur du langage DEPS et de l’IDE DEPS Studio.
Facebook
Twitter
Linkedin
