Projets financés
La disponibilité de moyens de communiquer sans fil a énormément augmenté ces dernières années. Cette évolution apporte de nouveaux usages, et avec elle une multitude de problèmes pratiques et théoriques. Elle oblige à concevoir de nouvelles applications pour permettre aux entités (agents, terminaux
L'omniprésence des objets connectés et les nouvelles habitudes de consommation de services dématérialisés entraînent un besoin toujours croissant en matière de débit. Aujourd'hui, la quasi-totalité des transmissions longues distances et une portion croissante des systèmes d'acheminement des données
Nous pensons qu’une part importante de ces difficultés est imputable au manque d’un langage bien défini, spécifique au domaine. Un tel langage apportera une plus grande flexibilité dans le processus de développement en facilitant les itérations entre ses différentes phases mais également en permett
L'objectif du projet PARDI est la vérification formelle et assistée de systèmes distribués paramétrés. Une spécification de système paramétré est en fait la spécification d'une large classe de systèmes, paramétrés par le nombre d'entités et les propriétés des interactions, comme le modèle de communi
A l'horizon 2020, les prédictions annoncent plusieurs dizaines de milliards d'objets connectés dans le monde. Ceci pourrait entraîner une véritable révolution dans les domaines de l'intelligence ambiante, à condition de formuler des architectures systèmes, efficaces dans le traitement des données pr
Grâce à la croissance exponentielle d’Internet, les citoyens sont devenus de plus en plus exposés à des fuites d’informations personnelles dans leur vie numérique. Cette tendance a commencé avec le traçage sur le web depuis son ordinateur. L’arrivée des smartphones, nos assistants personnels toujour
L'évolution du Big-Data, l'expansion du cloud computing et le succès du model Map-Reduce ont favorisé l'apparition de nouvelles applications de traitement intensif de données. Ces applications sont de plus en plus tournées vers le traitement instantanée des données comme le traitement temps réel d'u
Des systèmes logiciels fiables et conscients des données privées, via les métriques de bisimulation
Les systèmes logiciels sont omniprésents : ils assistent la plupart des activités humaines, et deviennent progressivement l'épine dorsale de nos sociétés. Ils se combinent pour former une structure de plus en plus distribuée et interconnectée, où l'information est échangée, stockée et traitée à une
La proposition RainbowFS développe une nouvelle approche du stockage et de la cohérence, dans le développement d'applications réparties à l'échelle du nuage, sur l'idée « ni trop, ni pas assez ». Les approches existantes forcent le développeur à adapter son application à un modèle de cohérence préd
Modélisation réaliste du canal radio et test en rayonné pour la fiabilité de l' Internet des Objets
Le déploiement à grande échelle et la fiabilité des systèmes sans fils pour l’Internet des Objets (IoT) et des communications Machine à Machine (M2M) sont intrinsèquement limités par les conditions de propagation radioélectrique dans les scénarios applicatifs. Les systèmes radio devront assurer une
La capacité d’associer de manière sans fil de l’information à une position géographique constitue une vertu primordiale pour bon nombre d’applications. Cette caractéristique, connue sous le nom de geocasting, permet aux utilisateurs de recevoir de l’information liée à l’endroit où ils se trouvent. C
Amélioration des formes d'onde des réseaux cellulaires basse puissance pour l'internet des objets
Le projet EPHYL s'inscrit dans le contexte de l'internet des objets et a pour objectif de proposer, évaluer et expérimenter des améliorations des réseaux cellulaires pour ces objets connectés. Partant de la normalisation très active dans le domaine (qui est suivie par le partenaire industriel), les
La croissance exponentielle des objets connectés conduit à l’émergence de nouveaux types de réseaux appelés machine-à-machine (MàM) et internet des objets (IdO). Les futurs scénarios en communication mobile envisagent un nombre important d’objets sans-fil, générant de multiple flux d’information et
Ce projet s'attaque à un défi fondamental de notre époque: la construction de modèles de programmation et de techniques de compilation pour l'exploitation correcte et efficace de très gros volumes de données. Nous proposons de rechercher des spécifications de haut niveau pour la construction de pipe
Imaginons qu'un simple programmeur puisse concevoir et déployer une application distribuée au dessus de milliers, voire, de millions de machines à travers des navigateurs en postant un simple lien twitter ou en achetant un mot sur Google Adwords offrant un environnement d’exécution formidable où il
