Intitulé du projet: : Modélisation, vérification et évaluation des performances des réseaux mobiles.
Code du projet: 12 MDU 866
Début du projet: 2012
Durée du projet: 04 ans
Durée du projet: «L’objectif du projet est de proposer un cadre de conception, permettant une modélisation de haut niveau, une analyse qualitative et quantitative des propriétés temps réels ainsi qu’une évaluation des performances, de la qualité de service et de la fiabilité des réseaux mobiles cellulaires et ad-hoc. Ainsi, nous proposons une méthodologie pour la modélisation de ces systèmes, en choisissant le formalisme adéquat tenant compte du contexte analysé. Il s’agit d’explorer des modèles à base d’UML, d’automates, de réseaux de Petri voire stochastiques, comme cadre de formalisation pour la modélisation de tels systèmes et l’utilisation de techniques analytiques existantes, ou à développer, pour la détermination de leurs propriétés générales et l’évaluation de leur performances.»
{Partie Algérienne :}
Chef du projet: ABDELLI Abdelkrim, Maitre de Conférences
Laboratoire: Logiciels et systèmes informatiques
Equipe:
{Partie Française} :
Chef du projet: Professeur MOKDAD Nadia Lynda
Université: Université de Paris-Est, Marne-la-Vallée France
Laboratoire: LACL,
Equipe:
