Laboratoire Mixte d’Excellence Scientifique Tuniso-Algérien

MeFoGL: Méthodes Formelles pour le Génie Logiciel

Vérification et Développement des systèmes-de-systèmes

Laboratoire mixte entre

  • ReDCAD, Université de Sfax, Tunisie
  • LIRE, Université Abdelhamid Mehri Constantine 2, Algérie

La technologie Système de Systèmes (SoS) constitue l’évolution la plus importante pour mieux implémenter et analyser des systèmes larges, complexes, indépendants et hétérogènes travaillant en coopération. En fait, le Système de Systèmes consiste en un système constitué d'un groupe de composants (sous-systèmes) interdépendants en interaction et qui forment un ensemble complexe et unifié.

Nos contribuons sont dans les différentes phases de développement des systèmes de systèmes. Cela implique de définir des procédés utilisant des méthodes formelles afin d'élaborer des schémas de contrôle, de commande, de surveillance, de supervision et de maintenance. Les contributions seront concrétisés pas la définition de d'un schéma conceptuel du processus logiciel hybride de développement des SoS.

Notre travail permettra l’obtention d’une architecture dédiée pour le développement et la gestion du déploiement de SoS comme les systèmes basé Cloud, les systèmes IoT et les systèmes cyberphysique.

3

Durée du projet (2021-2023)

12

Chercheurs algériens

10

Chercheurs tunisiens

2

Thèses à encadrer

Laboratoire ReDCAD

Laboratoire de Recherche en Développement et Contrôle d'Applications Distribuées

  • Date de création: 2005
  • Directeur: Prof. Mohamed Jmaiel
  • Institution: Ecole National d'Ingénieurs de Sfax, Tunisie
  • Université: Université de Sfax, Tunisie
  • Nombre de chercheurs (2020): 74
  • Nombre de doctorants (2020): 17
  • Domaine de recherche:
    • Approches formelles pour la conception d'applications distribuées adaptatives
    • Déploiement et gestion d'applications distribuées adaptatives
    • Applications basées sur les agents mobiles distribués
    • Modélisation et évaluation de la qualité de service des réseaux adhoc
  • Locaux:
    • ENIS, Route de Soukra km 3, Sfax
    • FSEGS, Route de l'aéreport km 4, Sfax
    • CRNS, Route de tunis km 10, Sfax

Laboratoire LIRE

Laboratoire d’Informatique REpartie


  • Date de création: 2000
  • Directeur: Prof. Mohamed Boufaida
  • Institution: Faculté des Nouvelles Technologies de l'Information et de la Communication, Constantine
  • Université: Université Abdelhamid Mehri Constantine 2, Algérie
  • Nombre de chercheurs (2020): 80
  • Nombre de doctorants (2020): 50
  • Domaine de recherche:
    • Systèmes d’Information et Bases de Connaissances Interopérabilité et intégration des systèmes, systèmes d’information coopératifs, web sémantique et ontologies, Big Data et Data mining.
    • Génie Logiciel et Systèmes Distribués : Techniques formelles pour l’analyse des systèmes distribués et concurrents, Techniques formelles pour la spécification et l’analyse des architectures logicielles dynamiques, Modélisation des systèmes émergents.
    • Génie Logiciel et Intelligence Artificielle : Systèmes Multi-Agents, Vérification et validation, Raisonnement qualitatif, Intelligence ambiante, Techniques pour Machine learning.
    • Architecture des Systèmes : Systèmes embarqués, Spécification et vérification des protocoles de communications pour les réseaux sans fil.
  • Local: Faculté des Nouvelles Technologies de l'Information et de la Communication

Prochains évènements

Tunisian-Algerian Joint Conference on Applied Computing

TACC 2021

Workshop tuniso-algérien sur les systèmes-de-systèmes

SoSAA 2021

Activités

Les activités de notre laboratoire consiste à :

Recherche

Proposer des solutions inovantes aux différents problématiques autours de la vérification et implémentation des systèmes de systèmes

Développement

Développer de prototypes pour la modélisation, la vérification et le développement des SdS

Encadrement

Encadrer en collaboration/en cotutelle des étudiants en thèse et en mastère de recherche

Formation

Renforcer la formation doctorale et post-doctorale: Soutenances des travaux de thèse en cotutelle et des habilitation universitaire

Organisation d'évènements

Organiser des réunion et des workshops internes ainsi que des conférences internationales de spécialités

Publication

Publier des travaux de recherche dans des journaux et des conférences internationales spécialisées

Partenaires

Université de Constantine2

Faculté des Nouvelles Technologies de l’Information et de la Communication

Laboratoire d'Informatique REpartie

University of Sfax

Faculté des Sciences Economiques et de Gestion de Sfax

Laboratoire de Recherche en Développement et contrle d'applications distribues

DOXSO

Glinse

CRNS

ACM-TUNISIA

Publications

La liste des publications dans le cadre du projet tuniso-algérien.

  • Fairouz Fakhfakh, Slim Kallel, Saoussen Cheikhrouhou. Formal Verification of Cloud and Fog Systems: A Review and Research Challenges, Journal of Universal Computer Science, 2021.
    Doi: 10.3897/jucs.66455
  • Khouloud Zaafouri,Mariam Chaabane, Ismael Bouassida Rodriguez. Systematic Literature Review on Service Oriented Architecture modeling, JInternational Conference on Computational Science and Its Applications (ICCSA), Cagliari, Italy, Sept 1-4, 2021.

Responsables

Comité de direction

Ahmed Hadj kacem

Professeur en informatique à la FSEG, Sfax, Tunisie

Responsable de l'équipe tunisienne

Faiza Belala

Professeur en informatique à la NTIC, Constantine, Algérie

Responsable de l'équipe algérienne

Mohamed Jmaiel

Professeur

ReDCAD, Université de Sfax, Tunisia

Meriem Belguidoum

Professeur

Lire, Université Constantine2, Algérie

Ismail Bouassida

Maitre assistant

ReDCAD, Université de Sfax, Tunisia

Boukhelfa Kamel

Maitre de conférences

Lire, Université Constantine2, Algérie

Slim Kallel

Maitre assistant

ReDCAD, Université de Sfax, Tunisie

Zakaria Lakhdara

Maitre de conférences

Lire, Université Constantine2, Algérie

Nesrine Khabou

Maitre assistante

ReDCAD, Université de Sfax, Tunisie

Sahar Smaali

Maitre de conférences

Lire, Université Constantine2, Algérie

Zakaria Benzadri

Maitre de conférences

Lire, Université Constantine2, Algérie

Contact

Vous êtes le bienvenu dans un des locaux du laboratoire ReDCAD à Sfax (ENIS, FSEGS, CRNS) et du laboratoire LIRE à Constantine.

Location:

Ahmed Hadj Kacem, FSEGS, Route de l'Aéroport Km 4, Sfax 3018, Tunisie

Faiza Belala, Université Constantine 2, Nouvelle ville Ali Mendjeli BP 7A, Constantine, Algérie

Email:

labex-ta@redcad.org

labex-ta@univ-constantine2.dz

Fax:

(+216) 74 863 041

(+213) 31 783 170