Génie Logiciel et Systèmes Distribués

Chef d'équipe: Belala Faiza

Thématique de recherche:

Cette équipe de recherche intitulée Génie Logiciel et Systèmes Distribués regroupe des chercheurs du laboratoire LIRE, oeuvrant dans le domaine du Génie logiciel et les méthodes formelles. Elle a pour mission la résolution des problèmatiques de recherche d'actualité en vue d'atteindre des résultats scientifiques et technologiques complémentaires et efficaces, une priorité est donnée aux préoccupations nationales.  Afin de mutualiser les compétences et les moyens de l'équipe GLSD et créer dess synergies entre cette structure de recherche et le monde socio-économique, un programme unifié de recherche est lancé, appelé  ProF-GLSD (Projet de recherche Fédéré).

ProF-GLSD est défini comme étant l’ensemble des projets inscrits dans un programme de recherche unifié de l'équipe GLSD du laboratoire LIRE, il permet de confronter les modèles théoriques à partir de nouvelles observations (cas d’étude). Le fédéralisme utilisé ici, n'est pas seulement un mot élégant pour restructurer les projets de recherche de l'équipe GLSD, il repose sur quatre principes énoncés comme suit:

• Subsidiarité (complémentarité),
• Interdépendance (standards);
• Séparation des pouvoirs;
• Double rôle (intra, inter);

La démarche scientifique empruntée par ce projet permet d’encadrer nos observations et nos idées en tant que chercheurs et  aboutir à des résultats qui permettent donc de vérifier des théories déjà existantes. Elle accorde davantage d’importance au cadre théorique plutôt qu'applicatif.

Les compétences des membres de l'équipe GLSD impliqués dans ce projet de recherche et leurs thématiques de recherches sont rassemblées selon le système de classification d'ACM : CCS Computing Classification System (https://dl.acm.org/ccs). Les axes pères qui cadrent nos activités sont le GL, les théories de calcul et les méthodologies informatiques, les modèles de calcul et les logiques. 

ProF-GLSD considère une vision globale du changement, touchant de nombreux acteurs des deux secteurs industriel et universitaire, il concerne à la fois des aspects fondamentaux et appliqués et il pilote plusieurs projets de recherche:

Ingénierie des Systèmes et Modélisation Formelle des SoS (SEFoM-SoS): L’utilisation des modèles représente toujours le moyen idéal pour comprendre, analyser ces systèmes afin de réduire leur complexité, l'objectif principal de ce micro projet est de proposer une méthodologie, c’est-à-dire un ensemble de méthodes et de techniques,  pour aborder l'ingénierie des SoS et leur modélisation formelle 

Démarche de conception et d’analyse des systèmes auto-adaptatifs: Les systèmes logiciels deviennent  de plus en plus complexes et nécessitent souvent des coûts de développement et de maintenance de plus en plus importants. L’auto-adaptation est actuellement est approche établie et prometteuse pour la gestion de la complexité et la prise en charge de la variation dans les contextes d’exécution des systèmes actuels tels que des systèmes d’infrastructure intelligents (cloud, fog,…), les réseaux de capteurs et les systèmes embarqués. Le but de ce miro projet est de proposer une démarche de conception à plusieurs étapes complémentaires pour la conception et l'analyse des systèmes autonomes en général (Auto Computing Systems).

Approche pour la gestion flexible, sûre et Intelligente du déploiement et de  la QoS pour les applications IoT:  Le paradigme de l’Internet des objets a fortement émergé au cours de la dernière décennie, Il s’est imposé comme un acteur important en matière de fourniture de services  adaptés aux préférences et profils des utilisateurs.  La gestion du déploiement de ces services devient plus complexe en raison de l’hétérogénéité des environnements applicatifs, la diversité des fournisseurs, des plateformes, des langages et des attentes des utilisateurs.  L’objectif principal ici est de proposer une approche intégrée permettant la gestion de l’élasticité pour optimiser le déploiement ainsi que la gestion de la qualité de service (QoS) au niveau des systèmes IoT (les applications critiques: maisons, systèmes de surveillance de santé, etc.)

En conclusion, le but principal de ProF-GLSD est de stimuler les liens entre les activités de recherche et d’enseignement, de proposer des perspectives de réflexion originales et de développer des projets interdisciplinaires fédérateurs qui répondent aux enjeux de la société actuelle.

Il s’agit à terme d’aboutir à la mise en place d’activités structurantes en réponse aux défis sociétaux de notre pays, de renforcer les capacités des bénéficiaires dans les domaines du numérique, en ciblant particulièrement les objectifs suivants :

• Proposer une formation spécifique en informatique mais également une préparation à l’embauche.
• Consolider et développer notre politique internationale (cotutelles internationales).
• Renforcer nos liens avec les entreprises.

Mots Clés: Méthodes formelles; Logiques comportementales; Architectures logicielles; Méta modélisation et méta transformation, Systèmes complexes.