Présentation de la mention

Вид материалаДокументы

Содержание


Responsable : Claude DUTHEILLET
Подобный материал:
1   ...   84   85   86   87   88   89   90   91   ...   133




Acronyme : msr

Spécialité : SAR

3 ECTS

Niveau : 500

Semestre : S3

Titre : Modélisation formelle de systèmes répartis

Responsable : Claude DUTHEILLET

Répartition hebdomadaire ou semestrielle


(CM: 20h00/5 semaines)(TD/TME: 10h00/5 semaines)

Contenu



La vérification d'un système se fait par la mise en oeuvre de méthodes utilisant une représentation formelle du fonctionnement de ce système. Le but de ce module est de montrer comment formaliser les caractéristiques du système nécessaires à la vérification des propriétés que l'on souhaite établir. Nous y présentons des outils adaptés aux différentes phases de la modélisation.

Expérience du responsable dans le domaine de l’UE



Après une thèse sur la modélisation d’applications réparties au moyen de réseaux de Petri colorés, ma recherche s’est poursuivie dans ce domaine, notamment en exploitant les symétries intrinséques du système pour réduire la représentation du graphe des états accessibles. Je m’intéresse aussi à la prise en compte de caractéristiques temporelles dans la représentation du système, dans le but d’obtenir des résultats en moyenne sur le comportement quantitatif du système.

Réalisations du responsable dans le domaine de l’UE




  • S. Baarir, C. Dutheillet, S. Haddad, J.-M. Ilié : "On the Use of Exact Lumpability in Partially Symmetrical Well-Formed Nets", QEST05.
  • Y. Thierry-Mieg, C. Dutheillet, I. Mounier : "Automatic Symmetry Detection in Well-Formed Nets", ICATPN 2003
  • L. Capra, C. Dutheillet, G. Franceschinis, J.-M. Ilié : "Towards Performance Analysis with Partially Symmetrical SWN", MASCOT'99
  • C. Dutheillet, J.-M. Ilié, D. Poitrenaud, I. Vernier-Mounier : "State-Space-Based Methods and Model Checking", in Petri nets for Systems Engineering
  • L. Capra, C. Dutheillet, G. Franceschinis, J.-M. Ilié : "Exploiting Partial Symmetries for Markov Chain Aggregation", ENTCS, vol. 39







Acronyme : msv

Spécialité : SAR

3 ECTS

Niveau : 500

Semestre : S3

Titre : Musique et science au XXème siècle

Responsable : Georges Bloch

Répartition hebdomadaire ou semestrielle


(30h/7 semaines)

Contenu



Ce cours expose les mouvements d'idées dans la musique au XXème siècle et leurs relations avec les sciences et les technologies.

Expérience du responsable dans le domaine de l’UE



Maître de conférences à l'Université de Strasbourg et compositeur.

Réalisations du responsable dans le domaine de l’UE