Intitulé du projet: : Modélisation de haut niveau, analyse et vérification des systèmes complexes.
Code du projet: 13 MDU 895
Début du projet: 2013
Durée du projet: 04 ans
Objectifs du projet : «L’objectif du projet est de proposer un cadre de conception, de vérification et d'évaluation des performances pour des systèmes complexes confrontés à des contextes d'exécution pouvant être partiellement défaillants, et devant tout de même assurer une qualité de service.
Notre démarche consiste à partir d’un cahier des charges et des exigences des systèmes, d'effectuer une modélisation en nous basant par exemple sur une approche à composants, en partant d’une spécification telle que SysML, où sont décrites les différentes exigences en dérivant des propriétés qui seront vérifiées sur un modèle formel.
Nous visons en pratique à traiter des problématiques encore insuffisamment explorées, comme la prise en compte de la modularité, la compositionnalité, et la dynamicité des systèmes (reconfigurations dynamiques), les conséquences de la mobilité dans les réseaux cellulaires et le contrôle des systèmes multimédias répartis. Nous nous intéressons particulièrement au domaine du transport où la criticité est un facteur important. Différents aspects non fonctionnels seront abordés, tels que le temps réel et la consommation d’énergie.»
{Partie Algérienne :}
Chef du projet: Professeur IOUALALEN-BOUKALA Malika
Laboratoire: : Logiciels et systèmes informatiques: Modélisation, Vérification et Evaluation des Performances des Systèmes complexes, Département d'Informatique.
Equipe:
{Partie Française} :
Chef du projet: Professeur MOUNTASSIR Hassan
Université: Université de Franche-Comté,Besançon, France
Laboratoire: Institut FEMTO-ST UMR CNRS 6174
Equipe:
