Notice
Interopérabilité de protocoles pour des systèmes mobiles émergents dans l’Internet du futur
- document 1 document 2 document 3
- niveau 1 niveau 2 niveau 3
Descriptif
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.
Dans la même collection
-
Explorations Mathématiques de l'activité du cerveau
TouboulJonathanExplorations Mathématiques de l'activité du cerveau Le siècle dernier a été une période fascinante durant laquelle les recherches expérimentales ont fait des avancées majeures sur la
-
Logic-based static analysis for the verification of programs with dynamically allocated data struct…
DrăgoiCezaraSoftware development has reached a complexity level that cannot be handled without the aid of computer assisted methods. It is therefore of the highest importance to have rigorous methods and
-
Resolving Entities in the Web of Data
ChristophidesVassilisOver the past decade, numerous knowledge bases (KBs) have been built to power a new generation of Web applications that provide entity-centric search and recommendation services. These KBs offer
-
Wireless In the Woods: Monitoring the Snow Melt Process in the Sierra Nevada
WatteyneThomasHistorically, the study of mountain hydrology and the water cycle has been largely observational, with meteorological forcing and hydrological variables extrapolated from a few infrequent manual
-
Phénomènes Aléatoires dans les Réseaux
RobertPhilippeLes phénomènes aléatoires sont une composante-clé des réseaux de communication, ils interviennent, de façon majeure, dans le trafic que les réseaux traitent, ainsi que dans certains algorithmes
-
Modèles mémoire pour les multiprocesseurs à mémoire partagée
MarangetLucLa plupart des systèmes qui s'apparentent à des ordinateurs un tant soit peu sophistiqués comprennent plusieurs unités de calcul qui communiquent par l'intermédiaire d'une mémoire partagée.
-
Gestion de données personnelles respectueuse de la vie privée
AnciauxNicolasEn très peu de temps, nous sommes entrés dans une ère de génération massive des données personnelles créées par les individus, leurs équipements digitaux ou mises à disposition par certaines
-
Génération de maillages pour la simulation numérique
LoseilleAdrienUne branche importante du calcul scientifique consiste à simuler sur ordinateurs des phénomènes physiques complexes. Son intérêt consiste à mieux appréhender des problèmes fondamentaux : solution
-
Réduction de modèles de voies de signalisation intracellulaire
FeretJérômeLes voies de signalisation intracellulaire sont des cascades d'interaction entre protéines, qui permettent à la cellule de recevoir des signaux, de les propager jusqu'à son noyau, puis de les
-
Transport Optimal et théorème de Brenier
BenamouJean-DavidUne présentation élémentaire de l’idée fondamentale du théorème de Brenier, à l’origine du développement spectaculaire de ce domaine, sera esquissée. Nous finirons avec une application à la
