Présentation générale et objectifs

Le projet SOR a pour thème central les mécanismes de partage d'information dans les systèmes répartis de grande échelle. Nous nous plaçons dans une perspective «système», c'est-à-dire que nous recherchons des mécanismes généraux, orthogonaux entre eux, et indépendants d'un langage ou d'une classe trop étroite d'applications.

Notre recherche est guidée à la fois par l'innovation technologique (démarche ascendante) et par les besoins des applications réelles (démarche descendante). Elle comprend quatre facettes: (1) Caractérisation de l'application, des environnements d'exécution cibles, ainsi que du schéma d'accès aux données. Ceci nous conduit à préciser les hypothèses et les contraintes à prendre en compte lors de l'élaboration des solutions. (2) Spécification des algorithmes, des modèles ou des protocoles satisfaisant aux contraintes identifiées. Lorsque cela s'y prête bien, les preuves (de correction et/ou de vivacité) des algorithmes et protocoles sont réalisées. (3) Prototypage des mécanismes, algorithmes et protocoles. Le prototypage, qui représente un investissement lourd et ingrat, est néanmoins indispensable pour se convaincre de la viabilité des solutions proposées. (4) Évaluation, qui se fait en deux temps. En amont du prototypage, les simulations permettent de s'assurer que les solutions proposées répondent bien aux attentes des applications: elles permettent d'évaluer et de comparer différents compromis. En aval du prototypage, l'évaluation nous apprend, d'une part si le système satisfait aux attentes des utilisateurs, et d'autre part si le comportement obtenu est conforme aux prédictions.

Précédent : Composition de l'équipe Remonter : Projet SOR, Systèmes Objets Répartis Suivant : Fondements scientifiques