theorie-modelisation-et-ingenierie// [(#|supprimer_tags|texte_backend)] fr SPIP - www.spip.net https://websites.isae-supaero.fr/theorie-modelisation-et-ingenierie/groupe-themis-theorie-modelisation https://websites.isae-supaero.fr/theorie-modelisation-et-ingenierie/groupe-themis-theorie-modelisation 2024-09-16T12:56:33Z text/html fr OBER Iulian <p>Axes scientifiques​​ Théorie : conception préliminaire de systèmes complexes, architecture, exploration de l'espace de conception, analyse des compromis, sémantique de modèles, méthodes formelles de vérification et validation, résilience Modélisation : ingénierie système à base de modèles (MBSE), liens avec l'analyse de sûreté (MBSA) et l'optimisation pluridisciplinaire (MDAO), transformation de modèles, outils de V&V ​ Processus d'ingénierie : connexion MBSE-PLM-LCA​ <br class='autobr' /> ​Coopérations​ Industrielles : ESA, (...)</p> - <a href="https://websites.isae-supaero.fr/theorie-modelisation-et-ingenierie/" rel="directory">Théorie, modélisation et ingénierie des systèmes</a> <div class='rss_texte'><h3 class="spip">Axes scientifiques​​</h3><ul class="spip"><li> <strong>Théorie</strong> : conception préliminaire de systèmes complexes, architecture, exploration de l'espace de conception, analyse des compromis, sémantique de modèles, méthodes formelles de vérification et validation, résilience</li><li> <strong>Modélisation</strong> : ingénierie système à base de modèles (MBSE), liens avec l'analyse de sûreté (MBSA) et l'optimisation pluridisciplinaire (MDAO), transformation de modèles, outils de V&V ​</li><li> <strong>Processus d'ingénierie</strong> : connexion MBSE-PLM-LCA​<br class='autobr' /> ​</li></ul><h3 class="spip">Coopérations​</h3><ul class="spip"><li> Industrielles : ESA, GMV, ONERA, Thales, CNES​</li><li> Académiques : Telecom Paris, Vérimag (Université Grenoble-Alpes), TU Delft, MIT, TUM​<br class='autobr' /> ​</li></ul></div>