Du fait du manque de données et des simplifications nécessaires à la représentation de systèmes dont il est impossible d'isoler les composants, les modèles de systèmes complexes sont généralement sous-contraints. Leur évaluation est ainsi une tâche difficile mais cruciale. Le logiciel OpenMOLE met en œuvre une méthodologie d'évaluation adaptée à ce contexte. Il propose une approche expérimentale sur les modèles. Cette approche, non intrusive, prend le modèle comme objet d'étude. Elle permet de lui appliquer des méthodes d'exploration heuristiques afin de fouiller en profondeur l’espace de ses dynamiques. De plus, OpenMOLE propose de soumettre les nombreuses exécutions du modèle, nécessaires à la convergence des méthodes d’évaluation, à des environnements de calcul distribué et ainsi de réduire le temps de production des résultats d'exploration de plusieurs ordres de grandeur.
- Mathieu Leclaire (CNRS)