Thématiques de Recherche


Depuis septembre 2013, je suis maître de conférences à l'université de Nantes/LINA, dans l'équipe AELOS.


Je travaille dans le domaine du design et de la vérification de systèmes complexes. En particulier, mes points d'intérêt principaux sont:

  • Le Model Checking Statistique et ses extensions;
  • Les théories d'asbtraction stochastiques;
  • Les théories d'interfaces pour systèmes temporisés, stochastiques, adaptifs;
  • Les Systèmes de systèmes (SoS);
  • Les systèmes (probabilistes) paramétrés
  • ...

Doctorat



J'ai soutenu ma thèse le 8 octobre 2010 à l'IRISA, Rennes.

Spécification Modulaire et Analyse Compositionnelle
de Systèmes Stochastiques

Benoît DELAHAYE - S4 Team - Université de Rennes 1 / IRISA


Cette thèse présente des contributions originales pour la conception et la vérification de systèmes non-déterministes et stochastiques. Nos résultats sont divisés selon trois lignes directrices. Premièrement, nous généralisons la théorie des interfaces au cas stochastique, en s'appuyant sur le formalisme classique des chaînes de Markov à intervalles pour construire la première théorie de spécification compositionnelle pour systèmes stochastiques : les chaînes de Markov à contraintes. Deuxièmement, nous étendons la notion de contrats hypothèse-garantie et développons une théorie compositionnelle à base de contrats pour systèmes stochastiques, pour laquelle nous proposons des notions quantitatives de raffinement et de satisfaction. Finalement, nous proposons une méthodologie pour la vérification de systèmes complexes, basée sur une abstraction stochastique. Cette méthodologie, combinée avec le model-checking statistique, est appliquée avec succès à un cas d'étude industriel.


Télécharger le document, les slides.