Présentation

Présentation

Le Laboratoire de Modélisation, Vérification et Evaluation des performances des Systèmes (MOVEP) dirigé par Prof M. Boukala-Ioualalen, a été créé en 2013, avec un effectif global de 30 membres répartis en 04 équipes de recherche. Les objectifs de recherche du laboratoire s’articulent principalement autour de la mise en œuvre d'algorithmes et d'outils de spécification, de modélisation, et de validation qualitative et quantitative de systèmes. Parmi les thèmes développés par les chercheurs du laboratoire:

  • Modélisation, Vérification et Evaluation des performances des systèmes basés composants.
  • Modélisation et Evaluation des performances des systèmes, des systèmes avec rappel, ... .
  • Vérification distribuée et Vérification modulaire comme moyen pour pallier au problème de l'explosion combinatoire.

Plusieurs applications sont envisagées dans des domaines importants, tels que les réseaux mobiles micro-cellulaires, les réseaux de capteurs, l'avionique, le transport, les systèmes embarqués, les services web, les systèmes multi-agents, Applications Cloud et les systèmes complexes globalement.

Le Laboratoire est structuré en 04 équipes de recherche: