Vérification et validation de modèles de systèmes complexes: application à la Modélisation d'Entreprise

<p>[...]Ma recherche s&rsquo;est bâtie sur un constat fait dans divers cadres et dans les domaines scientifiques et techniques liés à l&rsquo;amélioration de l&rsquo;entreprise, à la productique. Bien que nécessaires, et même quelquefois imposées, les étapes de vérification et de validation (V&amp;V), plus rarement de qualification ou de certification (VVQC) de modèles, restent encore méconnues, voire évitées. Elles sont en effet encore considérées comme sans réelle valeur ajoutée, pour la plupart peu conceptualisées, encore trop difficiles à mettre en œuvre dans des cas réels ou dans des cadres industriels et enfin peu ou mal outillées. Les raisons de ce désintérêt, voire même de cette quasi méfiance, en sont diverses et variées, justifiables ou tout au moins compréhensibles. Elles sont évidemment propres à chacun de ces domaines ou aux techniques à mettre en œuvre elles-mêmes. Elles sont aussi liées aux concepts de modélisation qui sont mis à disposition des acteurs de l&rsquo;entreprise. Que faire alors pour améliorer à la fois les concepts de modélisation et la prise en compte de la VVQC en productique alors que ce sont des étapes déjà largement étudiées et reconnues dans des domaines comme l&rsquo;ingénierie système, la microélectronique ou le génie logiciel ? L&rsquo;objectif de la recherche était, bien évidemment, plus intuitivement formulé au début qu&rsquo;il ne l&rsquo;est aujourd&rsquo;hui. Il peut se formuler comme suit : il faut résoudre la contradiction entre intérêt/nécessité/prise de conscience et usage possible/réel de la VVQC dans ce domaine.</p>