Rechercher

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

Evenements

Petri Nets 2014 & ACSD 2014

The 35rd International Conference on Application and Theory of Petri Nets and Concurrency (Petri...
23-06-2014 au 27-06-2014 - Tunis

FM 2012 - 18th International Symposium on Formal Methods

  FM 2012 is the eighteenth in a series of symposia organized by Formal Methods Europe,...
27-08-2012 au 31-08-2012 - Cnam Paris

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).