Publications
J'ai débuté ma thèse début octobre 2004 que j'ai soutenue le 10 décembre 2007. Mes travaux se portent sur les grilles informatiques et l'intégration de solutions basées sur les marches aléatoires.
Revue avec comité de rédaction international
|
C. Rabat Dasor, a Discret Events Simulation Library for Grid and Peer-to-peer Simulators Studia Informatica Universalis Volume 7, n°1, 2009 |
| Liens : |
|
Résumé :
La simulation est un point clef pour la création d'applications destinées aux systèmes déployés à grande échelle tels que les grilles ou les réseaux pair-à-pair. Pour être pertinentes, les simulations doivent être réalisées avec des modèles appropriés : des modèles de communication, de fautes ou de réseau. Cet article propose une description complète de la bibliothèque Dasor de simulation à événements discrets basée sur le modèle théorique proposé dans [RaBF05].
Actes de conférences avec comité de sélection international
|
O. Flauzac, F. Nolot, C. Rabat, L. A. Steffenel Grid of security: a new approach of the network security Proceedings of the 3rd International Conference on Network & System Security NSS 2009, Octobre 19-21, 2009, Australia IEEE Computer Society Press |
| Liens : |
|
|
T. Bernard, A. Bui, C. Rabat Construction et gestion de partitions distribuées dans des environnements dynamiques 9ème Conférence Internationale sur Les NOuvelles TEchnologies de la REpartition Notere 2009 Juin 29, 2009, Montréal, Canada ACM Digital Library, à paraître... |
| Liens : |
|
|
A. Bui, O. Flauzac, C. Rabat Fully Distributed and Fault Tolerant Task Management Based on Diffusions 17th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing PDP 2009 February 18-20, 2009, Weimar, Allemagne IEEE Computer Society Press |
| Liens : |
|
Résumé :
Nous avons proposé dans un article précédent deux méthodes pour gérer les tâches dans une grille de manière complètement distribuée et tolérante aux pannes. Nous avons vu notamment, que le calcul de certaines tâches pouvait être répliqué. Nous proposons dans cet article une méthode basée sur des diffusions régulières, pour réduire le nombre de tâches répliquées et ainsi améliorer l'efficacité du système.
|
A. Bui, O. Flauzac, C. Rabat Dasor, a grid model based simulation library 8th International Conference on Innovative Internet Community Systems I2CS 2008 June 16-18, 2008, Schoelcher, Martinique IEEE Computer Society Press |
| Liens : |
|
Résumé :
Nous avons développé une bibliothèque de simulation à événements discrets appelée Dasor. Cette bibliothèque permet de développer des simulateurs dont le modèle d'exécution (i.e. la combinaison de l'ensemble des modèles de simulation) est basé sur le modèle théorique que nous avons proposé dans [RaBF05]. Nous détaillons dans cet article l'intérêt d'une telle conception et les avantages que cela apporte dans la conception d'applications pour les grilles.
|
A. Bui, O. Flauzac, C. Rabat Fully Distributed Active and Passive Scheduling for Grid Computing 6th International Symposium on Parallel and Distributed Computing ISPDC'07, Hagenberg, Autriche IEEE Computer Society Press |
| Liens : |
|
Résumé :
Nous nous sommes intéressés à une gestion de tâches indépendantes totalement distribuée et tolérante aux pannes à l'aide d'une marche aléatoire. Les paramètres des tâches sont distribués à tous les noeuds du réseau et un jeton, circulant aléatoirement dans le réseau, met à jour l'ensemble des états des tâches. La sélection d'une tâche est donc à l'initiative des noeuds.
Pour sélectionner les tâches, nous avons étudié deux méthodes : la méthode passive qui consiste à attendre le jeton avant de sélectionner une tâche ou bien la méthode active qui consiste à choisir une tâche aléatoirement parmis les tâches non-calculées sans attendre le jeton. Nous avons étudié les différentes éfficacités en fonction de différents paramètres jouant sur le temps de couverture du jeton et nous avons proposé une méthode hybride qui permet d'augmenter l'efficacité de ces deux méthodes.
|
T. Bernard, A. Bui, O. Flauzac, C. Rabat Decentralized Resources Management for Grid International Workshop on Realiability in Decentralized Distributed Systems RDDS'06, 2006, Montpellier, France Lecture Notes in Computer Science, Volume 4278 / 2006, Springer |
| Liens : |
|
Résumé :
Parmis tous les composants des applications de grille ou pair-à-pair, la gestion des ressources est inévitable. En effet, les nouvelles ressources comme la puissance de calcul ou la capacité de stockage doivent être rapidement et efficacement intégrées. Cette gestion peut être réalisée de manière complètement centralisée (BOINC) ou bien de manière hiérarchique (Globus, DIET). Dans le dernier cas, il y a une plus grande flexibilité et une meilleure mise à l'échelle possible. Mais la contre-partie est la difficulté à développer et à déployer de telles solutions, particulièrement si les ressources sont volatiles. Dans cet article, nous combinons les marches aléatoires et le mot circulant pour créer une solution de gestion de ressources complètement decentralisé. Les marches aléatoires ont déjà montré leur efficacité dans le calcul distribué et sont bien adaptées aux réseaux dynamiques comme les réseaux pair-à-pair ou les grilles de calcul. Il n'y a aucune condition sur la durée de vie des noeuds et nous avons besoin que d'une seule application pour chaque noeud.
|
C. Rabat, A. Bui and O. Flauzac A random walk topology management solution for Grid Innovative Internet Community Systems I2CS'05, 2005, Paris, France Lecture Notes in Computer Science, Volume 3908 / 2006, Springer |
| Liens : |
|
Résumé :
Les desktop GRID sont des grilles de calcul très volatiles. Elles sont constituées de beaucoup de noeuds et le nombre de connexions et déconnexions est très important. Afin de s'assurer du maintient de la grille, il est nécessaire de proposer une gestion de sa topologie. Il existe plusieurs degrés de centralisation pour cette gestion : centralisé, semi-distribué et distribué. L'avantage des solutions complètement distribuées est d'avoir une plus grande tolérance aux pannes : il n'y a pas de centralisation donc pas de point critique. L'intergiciel CONFIIT, par exemple, propose une gestion de la topologie complètement distribuée. Cependant, il doit maintenir constamment un anneau virtuel. La gestion de celui-ci fait perdre de la puissance de calcul. Les marches aléatoires ont depuis longtemps prouvé leur efficacité dans des environnements instables. Elles permettent en particulier, d'être plus tolérantes aux pannes et d'éviter d'avoir à maintenir une structure virtuelle. C'est pourquoi l'adaptation des marches aléatoires pour la gestion de la topologie d'une grille de calcul parait judicieuse. Afin de représenter un réseau et les applications GRID, on propose dans cet article un modèle en plusieurs couches permettant de gérer plus facilement les pannes pouvant intervenir dans la grille. Basée sur ce modèle, on propose un algorithme constitué de deux étapes : la connexion d'un noeud à la grille et le maintient de la topologie de la grille. Afin de montrer le fonctionnement de l'algorithme, nous avons exécuté des simulations (avec et sans panne) sur le calculateur Roméo 2.
|
H. Fouchal, S. Gruson, L. Pierre, C. Rabat, A. Rollet Integrated Tool for Testing Timed Systems 3rd International Symposium on Advences Distributed Systems ISSADS, 2004, Guadalajara, Mexico Lecture Notes of Computer Science, Volume 3563 / 2005, Springer |
| Liens : |
|
Résumé :
Les automates temporisés d’entrées/sorties sont des outils qui permettent de modéliser, entre autre, des systèmes temps réels. Ils fonctionnent sur le même principe que les automates simples avec, en plus, des contraintes temporelles sur les transitions grâce à des horloges, ainsi que la possibilité de modéliser l’interaction avec le monde extérieur par des transitions d’entrées/sorties. Avant toute implantation d’un système temps réel, il est nécessaire de s’assurer qu’il ne possède pas de faille ou de problème de conception. En le modélisant sous forme d’automate, il est possible de le tester en générant des séquences de tests qui vont permettre de caractériser chaque état et de prouver ainsi leur bonne réaction. La méthode systématique pour la génération de séquences est très coûteuse en temps, d’où l’intérêt d’utiliser un algorithme permettant d’accélérer la recherche. Celui utilisé est composé de trois étapes. La première consiste à fixer la profondeur de recherche et ainsi à limiter le temps de génération. Pour les états que l’on n’arrive pas à caractériser, on conserve leur meilleure séquence (c’est à dire reconnue pas le moins d’état possible) et on tente de les séparer dans la seconde étape. Enfin, pour les derniers états, on est obligé d’utiliser la méthode systématique.
|
H. Fouchal, C. Rabat, A. Rollet, A. Tarhini Experimental test generation for real-time systems 13th Int. Conf. on Intelligent and Adaptative Systems and Software Engineering ISCA - IASSE - 2004, July 2004, Nice, France |
| Liens : |
|
Résumé :
Comme dit précédemment, les automates temporisés permettent de modéliser des systèmes temps réels. Il est très difficile d’avoir des exemples concrets vu que la plupart des systèmes modélisés ne sont pas dans le domaine publique. Il a donc fallu développer un générateur d’automates temporisés d’entrées/sorties aléatoires dans le but d’analyser la performance du générateur de séquences de test. Les automates sont générés aléatoirement en utilisant la bibliothèque G.S.L. fournissant des générateurs de nombres aléatoires de grande période. Le résultat des différentes simulations a permis de montrer l’importance de la limitation de la profondeur de la première étape de l’algorithme ainsi que les bonnes performances de l’algorithme en général. Les statistiques obtenues ont permis de montrer la légitimité de l’algorithme.
Communications
|
T. Bernard, A. Bui, C. Rabat Scalabilité pour le contrôle réparti : un problème d'agrégation d'informations Journée de la ROADEF groupe SCDD, Nancy, février 2009 |
Résumé :
Nous avons introduit et utilisé la combinaison des concepts de mot circulant (jeton collecteur et diffuseur d'informations) et de marche aléatoire comme outil de circulation des mots circulants. Par ce biais, nous avons pu proposer des solutions pour construire des arbres couvrants adaptatifs pour des systèmes dynamiques, même avec l'occurrence de pannes transitoires dans le système. Nous proposons ici une solution pour le passage à l'échelle de tels systèmes.
|
T. Bernard, A. Bui, O. Flauzac, C. Rabat Gestion de la mobilité dans un réseau orienté à l'aide d'un mot circulant Journée de la ROADEF groupe SCDD, Lille, février 2006 |
Résumé :
Une marche aléatoire est un processus sans mémoire qui peut être vu comme le déplacement aléatoire d'un jeton dans un graphe. Elle a été utilisée notamment en algorithmique distribuée pour la diffusion d'informations. Elle ne nécessite en effet aucune structure à maintenir globalement dans le réseau, car elle n'utilise que des informations locales. Elle a donc montré son efficacité dans les réseaux mobiles car son comportement s'adapte naturellement aux reconfigurations topologiques. Nous avons déjà proposé dans des travaux précédents une méthode qui construit des tables de routage à partir de l'exploitation des informations topologiques collectées par une marche aléatoire. Nous avons dérivé cette méthode pour la maintenance d'une structure arborescente tolérante aux pannes. Nous avons utilisé de telles structures pour l'écriture d'un protocole tolérant aux pannes de circulation de jeton dans un réseau dynamique. Nous proposons ici une méthode permettant la gestion de l'ensemble des noeuds du réseau à travers la maintenance d'une image partielle de la topologie. Elle est basée sur l'utilisation des marches aléatoires pour pallier le dynamisme des réseaux. Nous nous intéressons ici plus particulièrement aux communications orientées dues aux stratégies de sécurité ou dans le cadre des réseaux sans fils à la différence de portée des émetteurs.
Autres
|
C. Rabat Etude et simulation de solutions pour les grilles et systèmes pair-à-pair : application à la gestion des ressources et des tâches Thèse de doctorat Soutenue le 10 décembre 2007 à Reims |
| Liens : |
|