Réunion du cercle Conception et Validation pour la Sûreté de Fonctionnement, "Conception et validation des mécanismes de tolérance aux fautes", 9 mars 1999

• "Le consensus : un problème fondamental des systèmes répartis asynchrones tolérant les défaillances", Michel Raynal, IRISA, Rennes.
  [résumé ps] [transparents pdf]

• "Tolérance aux fautes et placements de tâches : l'expérience de GatoStar", Pierre Sens, LIP6, Université Paris 6.
  [résumé ps] [transparents ps]

• "Un protocole à métaobjets pour applications CORBA tolérantes aux fautes", Marc-Olivier Killijian, LAAS-CNRS, Toulouse.
  [résumé ps] [transparents pdf]

• "Validation et encapsulation de micronoyaux du commerce", Jean Arlat, LIS/LAAS-CNRS, Toulouse.
  [résumé ps] [transparents pdf]

• "Un support d'exécution flexible pour applications distribuées temps-réel dur", Emmanuelle Anceaume, IRISA, Rennes.
  [résumé ps] [article ps]