Canal-U

Mon compte
Inria

Interopérabilité de protocoles pour des systèmes mobiles émergents dans l’Internet du futur


Copier le code pour partager la vidéo :
<div style="position:relative;padding-bottom:56.25%;padding-top:10px;height:0;overflow:hidden;"><iframe src="https://www.canal-u.tv/video/inria/embed.1/interoperabilite_de_protocoles_pour_des_systemes_mobiles_emergents_dans_l_internet_du_futur.17330?width=100%&amp;height=100%" style="position:absolute;top:0;left:0;width:100%;height: 100%;" width="550" height="306" frameborder="0" allowfullscreen scrolling="no"></iframe></div> Si vous souhaitez partager une séquence, indiquez le début de celle-ci , et copiez le code : h m s
Auteur(s) :
GEORGANTAS Nikolaos

Producteur Canal-U :
Inria
Contacter le contributeur
J’aime
Imprimer
partager facebook twitter Google +

Les chapitres


Interopérabilité de protocoles pour des systèmes mobiles émergents dans l’Internet du futur

Avec la prolifération des réseaux et systèmes mobiles, réseaux de capteurs et actionneurs, et des systèmes d’information hébergés sur des infrastructures globales comme Internet et le Cloud, les possibilités de systèmes mobiles émergents sont sans limite. De tels systèmes sont composés dynamiquement à partir de systèmes et de ressources locales ou à l’échelle mondiale. Cette perspective fait partie de la vision de l’Internet du futur et de l’un de ses constituants grandissants, l’Internet des objets. Les systèmes mobiles émergents composent des systèmes qui varient extrêmement en termes de protocoles d’interaction et modèles de données, typiquement fournis par leur plateforme middleware. Le grand nombre de technologies middleware existantes et à venir ainsi que la dynamicité de l’intégration complexifient le problème. Par conséquent, les systèmes mobiles émergents nécessitent des solutions d’interopérabilité systématiques et vérifiables qui pourront être automatisées.

L’équipe-projet ARLES étudie différents aspects de systèmes mobiles émergents. Dans cet exposé, je présenterai notre travail actuel sur la modélisation et l’analyse de la sémantique de middleware. Nous modélisons la sémantique d’interaction en nous appuyant sur l’abstraction de connecteurs architecturaux et les algèbres de processus, et nous proposons une solution à la conversion de protocoles basée sur la projection. Nous étudions la compositionnalité de la sémantique d’interaction des systèmes individuels et la sémantique de bout en bout du système composé. Ainsi, l’exactitude de la conversion peut être évaluée. Nous implémentons notre solution d’interopérabilité en tant que bus de services extensible ; notre bus supporte un ensemble de plateformes middleware réelles et offre des outils qui facilitent considérablement l’intégration de nouvelles technologies middleware.

  •  
    Label UNT : Unisciel
  •  
    Date de réalisation : 7 Mars 2013
    Durée du programme : 38 min
    Classification Dewey : Informatique - Traitement des données informatiques
  •  
    Catégorie : Conférences
    Niveau : niveau Master (LMD), niveau Doctorat (LMD), Recherche
    Disciplines : Informatique, Informatique
    Collections : La demi-heure de science : pourquoi mène t-on des recherches dans ce domaine là ? Inria Paris - Rocquencourt
    ficheLom : Voir la fiche LOM
  •  
    Auteur(s) : GEORGANTAS Nikolaos
    Editeur : INRIA (Institut national de recherche en informatique et automatique)
  •  
    Langue : FRA
    Mots-clés : internet des objets, système mobile émergent, internet du futur
    Conditions d’utilisation / Copyright : © Inria Paris - Rocquencourt
 

commentaires


Ajouter un commentaire Lire les commentaires
*Les champs suivis d’un astérisque sont obligatoires.
Aucun commentaire sur cette vidéo pour le moment (les commentaires font l’objet d’une modération)
 

Dans la même collection

 Explorations Mathématiques de l'activité du cerveau
 Logic-based static analysis for the verification of programs with dynamically allocated data structures
 Resolving Entities in the Web of Data
 Wireless In the Woods: Monitoring the Snow Melt Process in the Sierra Nevada
 Phénomènes Aléatoires dans les Réseaux
 Modèles mémoire pour les multiprocesseurs à mémoire partagée
 Gestion de données personnelles respectueuse de la vie privée
 Génération de maillages pour la simulation numérique
 Transport Optimal et théorème de Brenier
 Réseau optiques, algorithmes et probabilités
 Réduction de modèles de voies de signalisation intracellulaire
 Apprentissage automatique et Big Data
 Quelques questions biomathématiques soulevées par les axes neuro-endocriniens
 Codes correcteurs quantiques
 Quelques modèles solubles pour le trafic routier
 Preuve automatique de la sûreté de logiciels critiques
 Cryptanalyse : le fondement de la sécurité
 Transitions de phase : entre physique, mathématiques et informatique
 OCamlPro : promouvoir dans l’industrie un langage de programmation issu de la recherche
 Mesure de la qualité d'expérience Internet depuis le réseau domestique
 Langages de programmation et concurrence, une relation toujours épineuse
 Test et vérification automatique pour systèmes musicaux interactifs
 Aspects temporels dans les systèmes embarqués critiques
 Utilisation d’algorithmes de calcul scientifique en topologie et vice-versa
 Futurs véhicules terrestres : autonomie ou automatisation ?
FMSH
 
Facebook Twitter Google+
Mon Compte