Rechercher

Vérification et Evaluation de systèmes Parallèles et Asynchrones

date_cessation : 31-08-2017

Description

Les aspects de partage (ou conflit), de concurrence, de coordination (interaction), de reconfiguration (mobilité), de qualité de service (QdS) , de réactivité (contraintes temps réel), de commande, de criticité sont prépondérants dans les systèmes et les réseaux informatiques d'aujourd'hui. 

Une approche naturelle pour maîtriser cette complexité consiste à concevoir ces systèmes en termes d'assemblages de composants communicants (de manière généralement asynchrone). Le terme « composant » étant compris comme une unité de conception (et de réutilisation) et peut recouvrir plusieurs appellations telles que sous-programme, objet, module, agent, capteur, processus, thread, service, etc…...

Par ailleurs, ces systèmes sont généralement amenés à coopérer avec d'autres, ce qui pose également des problèmes de concurrence à haut niveau.

Les objectifs des travaux conduits au sein de notre groupe sont : le développement et l'utilisation de méthodes formelles pour la spécification, la simulation, la vérification (ou correction) et l'évaluation de propriétés comportementales qualitatives (sûreté et vivacité) ou quantitatives (performance, sûreté de fonctionnement) de ces systèmes.

Les modèles mathématiques que nous privilégions pour décrire la structure, la composition et l'évolution de ces systèmes sont : les systèmes à événements discrets (et hybrides), les réseaux de Petri (RdP) et leurs extensions (RdP temporisés et stochastiques), la logique de réécriture et son prolongement la logique des tuiles, les algèbres de processus, les systèmes réactifs bigraphiques (BRS), et les langages de description architectures logicielles (ADL).

Nos domaines d'application sont les suivants :

  • Les réseaux mobiles ad hoc (validation de protocoles);
  • Les systèmes orientés service (composition de services Web);
  • Les architectures logicielles et déploiement (systèmes embarqués temps réel);
  • Les systèmes d'allocation de ressources (synthèse de contrôleur);
  • L'interopérabilité de systèmes complexes (systèmes matériels et logiciels à grande échelle).

Nous avons des projets contractuels et actions de coopération (recherche,formation doctorale) avec :

  • Veriform, École Polytechnique de Montréal,Canada;
  • System Control Group, Xidian University, Chine;
  • NJIT (New Jersey Institute of Technology), USA;
  • TUT (Tshwane University of Technology) Pretoria, Afrique du Sud;
  • Laboratoire LIRE, Université de Constantine 2; Algérie
  • LAMOS, Université de Bejaïa, Algérie;
  • SysCom, ENIT, UTM, Tunisie;
  • Ecole Polytechnqiue de Tunisie & INSAT (Université de Carthage , Tunisie
  • ESC & ENSI ( Universite de la Manouba), Tunisie;
  • Le Groupe Francilien Mefosyloma (Méthodes formelles pour les systèmes logiciels et matériels).