Réalisations du responsable dans le domaine de l’UE
Création et animation du séminaire BIP, avec J-R Abrial, V. Viguié : activités de veille technologique orientée sûreté (1995-2000)
Création et animation, avec V. Viguié, du DESS "Développement de Logiciels Sûrs", UPMC, CNAM 1999-2003 puis du parcours "Logiciels Sûrs" de ce master
Responsable du Plan Pluri-Formation "Logiciels sûrs" et mise en place d'un séminaire de veille technologique autour de sûreté/sécurité pour les entreprises de ces domaines
Coordinateur ACI Sécurité "Modulogic"
Contrats de recherche passés ou en cours: Sociétés Bertin, Surlog, Oberthur CS. Contrats européens (CONFER, MKMnet)
Acronyme : ar
Spécialité : SAR
6 ECTS
Niveau : 400
Semestre : S2
Titre : Algorithmique Répartie
Responsable : Claude Dutheillet
Répartition hebdomadaire ou semestrielle
(CM: 2h00)(TD: 2h00)(TME: 2h00)
Contenu
Ce module vise à sensibiliser les étudiants aux problèmes particuliers qui se posent lorsque les processus participant à une application s’exécutent sur des sites distants. Le modèle de répartition auquel nous nous intéressons ici est celui contexte d’applications sans mémoire partagée où la communication s’effectue au moyens de messages. Les solutions existantes à différents problèmes classiques dans ce contexte seront présentées : causalité, réalisation de l’exclusion mutuelle, détection de la terminaison de l’application, etc. Des travaux pratiques sont réalisés sur les principales familles d’algorithmes avec la bibliothèque de communication MPI.
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, j’ai continué à m’intéresser aux algorithmes répartis en tant que domaine d’application des méthodes de vérification. Cela m’a permis d’acquérir une bonne connaissance de ce domaine et m’a amené à coordonner l’équipe d’enseignement de ce module dans lequel interviennent des spécialistes reconnus de l’algorithmique répartie : B. Charron-Bost, L. Arantès, O. Marin.
Réalisations du responsable dans le domaine de l’UE
B. Charron-Bost, F. Mattern, G. Tel : "Synchronous, Asynchronous, and Causally Ordered Communication", Distributed Computing, 9(4).
M. Bertier, L. Arantes, P. Sens : "Distributed Mutual Exclusion Algorithms for Grid Applications: a Hierarchical Approach", Parallel & Distributed Computing
M. Bertier, O. Marin, P. Sens : "Performance Analys of Hierarchical Failure Detector", Int. Conference on Dependable Systems and Networks (DSN'03),
B. Charron-Bost : " Agreement Problems in Fault-Tolerant Distributed Systems", Invited lecture at SOFSEM'01
J. Sopena, L. Arantes, M. Bertier, P. Sens : "A Fault-Tolerant Token-Based Mutual Exclusion Algorithm using a Dynamic Tree", EuroPar 2005
Acronyme : ara
Spécialité : SAR
3 ECTS
Niveau : 500
Semestre : S3
Titre : Algorithmique répartie avancée
Responsable : Luciana ARANTES-BEZERRA
Répartition hebdomadaire ou semestrielle
(30h/7 semaines)
Contenu
Cette UE a pour objectif fournir aux étudiants des notions avancées sur les problématiques des algorithmes répartis.
Expérience du responsable dans le domaine de l’UE
Mes travaux de recherches dans le domain des systèmes répartis portent sur les modèles de cohérence et les algorithmes répartis pour des environments à large échelle et/ou hétérogènes tels quels les grilles et systèmes pair-à-pair.
Réalisations du responsable dans le domaine de l’UE
M. Bertier, L. Arantes, P. Sens. Distributed Mutual Exclusion Algorithms for Grid Applications: Hierarchical Approach. To appear in Journal of Parallel and Distributed Computing (JPDC), Elsevier.
J. Sopena, L. Arantes, M. Bertier, P. Sens. A fault-tolerant token-based algorithm usyng a dynamic tree. EuroPar 2005, Lisboa, Portugal, September 2005. LNCS.
M.Bertier, L. Arantes and P. Sens. Hierarchical token based mutual exclusion algorithms. Proceedings of the 4th IEEE/ACM International Symposium on Cluster Computing and the Grid (CCGrid '04), Chicago (USA), April 2004. IEEE Society Press.
L. Arantes, P. Sens, B. Folliot. An Effective Logical Cache for a Clustered LRC-based DSM System. Journal of Cluster Computing, Vol. 5(1):19-31, Janvier 2002.
