- Présentation
- Publications HAL
- Rapports d'activité
Equipe de recherche LOGNET
Réseaux Logiques : Réseaux de Recouvrement Autonomes et Ordinateurs Globaux et Pervasifs
- Responsable : Luigi Liquori
- Type : équipe
- Centre(s) de recherche : Sophia
- Domaine : Réseaux, systèmes et services, calcul distribué
- Thème : Systèmes et services distribués
Présentation de l'équipe
Dans le domaine de l'Internet du futur, l'objectif de LogNet est de formaliser, simuler et implémenter des communautés d'ordinateurs distribués sur réseaux, permettant l'échange et l'organisation de services hétérogènes.Ces communautés sont construites à partir d'un grand nombre d'ordinateurs (nommés agents), organisés en colonies virtuelles et dirigés par un ordinateur leader (nommé courtier) désigné démocratiquement ("vox populi, vox dei") ou imposé par un administrateur système ("primus inter pares"). Les agents demandent au courtier d'intégrer la colonie en déclarant les services qu'ils peuvent offrir avec des contraintes d'utilisation. Une fois enregistré, un agent peut demander des services au courtier.
Récursivement, les colonies peuvent être considérées comme des "agents évolués" qui, à leur tour, peuvent s'enregistrer dans une autre colonie. Les communications et le routage entre les colonies se font au travers d'un protocole de négociation et d'un protocole de découverte de services de courtier à courtier.
Les requêtes/demande de services sont décrites avec des formules de la logique du premier ordre, qu'un programme permettra d'orchestrer et/ou synchroniser, sans aucune autre intervention du courtier et d'une façon purement pair-à-pair.
L'organisation proposée prend en compte les participations intermittentes dans la colonie. Ceci implique que le processus d'acheminement des messages peut aboutir à des échecs, car des agents sont injoignables, ou ont été désenregistrés "manu militari" par le courtier en raison de leurs faibles performances.
Axes de recherche
- Organisations virtuelles et protocole d'enregistrement
- Représentation des services et protocole de découverte
- Modèles d'exécution
Mots Clés
- Internet du Futur
- Réseaux d'"overlay", P2P et Sociaux
- Infrastructure de communication, de calcul et de services autonomes
- Ubiquité, intelligence ambiante et objets intelligents
Logiciels
Relations industrielles et internationales
- ACADEMIC : U. Turin (I), Politech Turin (I), U. Udine (I), U. Gênes (I), TU Dresden (DE), TU Berlin (DE), WPI (USA)
- INDUSTRIAL : Imaging Solutions (F), Centro Supercalcolo Piemonte (I)
- LogNet a obtenu en 2007 le label SCS Pôle SCS - Solutions Communicantes Sécurisées
Mots-clés : Internet du Futur Réseaux de recouvrement Réseaux pair-à-pair Réseaux sociaux Ordinateurs de recouvrement Informatique ubiquitaire
Equipes de recherche du même thème :
- ACES - Informatique diffuse et systèmes embarqués
- ADAM - Adaptive Distributed Applications and Middleware
- ARLES - Architectures logicielles et systèmes distribués
- ASAP - As Scalable As Possible : fondements des systèmes large-échelle dynamiques
- ASCOLA - Langages d'aspects et de composition
- ATLANMOD - Technologies de modélisation pour la production, le fonctionnement et l'évolution du logiciel
- CIDRE - Confidentialité, Intégrité, Disponibilité et Répartition
- FOCUS - Foundations of Component-based Ubiquitous Systems
- INDES - Programmation diffuse et sécurisée
- MYRIADS - Conception et mise en oeuvre de systèmes distribués autonomes
- OASIS - Objets actifs, sémantique, Internet et sécurité
- PHOENIX - Technologie des langages de programmation pour les services de communication
- POPS - Systèmes et réseaux pour Petits Objets Portables et Sécurisés
- REGAL - Répartition et gestion d'applications à large échelle
- RMOD - Analyses et construction de langage pour l'évolution d'applications orientées Objet
- SARDES - Architecture de systèmes réflexifs pour les environnements distribués
- SCORE - Services et coopération
- TRISKELL - Construction fiable et efficace d'applications par assemblage de composants logiciels
Contact
Responsable de l'équipe
Luigi Liquori
(Voir toutes les équipes)
Tél: +33 4 92 38 71 93
Secrétariat
Tél: +33 4 92 38 78 57
En savoir plus
Rechercher une équipe
Par centre de recherche Inria
Inria
Inria.fr
Inria Channel

Voir aussi