IDL

Ingénierie Du Logiciel

  • Full Screen
  • Wide Screen
  • Narrow Screen
  • Increase font size
  • Default font size
  • Decrease font size

Séminaire MOCS 20/03/2014

Envoyer Imprimer PDF

Intervenant : Loïg Jezequel, Postdoctorant INRIA, ENS de Cachan
Date & Lieu : Mardi 20 Mars 2014, 14h-15h, Bâtiment LC, site AES, UBO.
Titre : Calcul de résumés dans les réseaux d'automates.


Résumé : 

On s'intéresse au problème suivant : étant donné un système constitué d'un ensemble de composants interagissant les uns avec les autres, calculer une nouvelle version de l'un de ces composants (un résumé), qui représente exactement son comportement au sein du système. Lorsque de tels systèmes sont représentés par des ensembles d'automates se synchronisant par leurs actions communes (des réseaux d'automates), résoudre ce problème revient à calculer la projection du produit de ces automates sur l'un d'entre eux. Je présenterai deux techniques (l'une consistant en des raffinements successifs des langages des composants d'un réseau d'automates et l'autre basée sur le dépliage de réseau de Petri) pour résoudre ce problème en utilisant la concurrence entre composants des systèmes afin d'éviter  l'explosion combinatoire de l'espace d'états induite par le calcul d'un grand produit d'automates.     


You are here: