Programme

Un des problèmes fondamentaux de la tolérance aux défaillances dans les systèmes distribués est le Consensus : les processus non défaillants doivent arriver à prendre la même décision irrévocable en présence de défaillances. Dès que le système est asynchrone, c'est-à-dire dès qu'on ne suppose pas de borne sur les délais de communication, le Consensus devient impossible. Cette introduction a pour but de présenter ce résultat d'impossibilité et de montrer comment on peut arriver à le contourner.

On présentera aussi les mécanismes de communication, l'architecture d'un système CORBA, le paradigme objet et le paradigme composant. On etudiera CORBA et l'Internet ainsi que la sécurisation d'environnements CORBA.