Search

The Internet of Things, whose underlying vision and technologies aim at bridging the physical and digital worlds together, lead to the creation of new types of applications coupling Web services with everyday products. Such product-oriented applications, which enable the functional exposition, control or enhancement of artifacts that embed information processing capabilities, question the established design principles and conventions. They open up the possibility for Internet-enabled products, whose functions can be “augmented” and adapted to better support users' changing needs, to be designed. This research, which is at the intersection of Design Science, Ubiquitous Computing and Human-Computer Interactions, aims at studying the impact brought about by applications on product design. It highlights the need to build an application model that facilitates their representation by users, and to explore the pragmatic issues rose by their integration into products. It leads to the definition and evaluation, through practice, of principles for the design of augmented products' form and interactions. It describes the ductility of future products, the novel coupling between functions, behavior and structure they implement and their potential evolutions. This work contributes to the Internet of Things research by reframing the discussion and by providing researchers and practitioners with tools that can be leveraged during the design process.; L'Internet des Objets, dont la vision et les technologies provoquent la rencontre des mondes physique et numérique, amène aujourd'hui à la création de nouveaux types d'applications permettant d'interopérer les services du World Wide Web avec les produits du quotidien. Ces applications « orientées produit », capables de représenter, contrôler ou de compléter les fonctions d'artéfacts intégrant des capacités de traitement de l'information, remettent en cause les principes et conventions établies par les métiers de la conception. Elles préfigurent l'émergence de produits connectés à Internet, dont l'offre fonctionnelle peut être « augmentée » et modifiée au cours du temps, de manière à répondre aux besoins changeants des utilisateurs. Cette recherche, menée à l'intersection des sciences de la conception, de l'informatique ubiquitaire et des interactions homme-machine, vise à étudier les enjeux que suscitent ces applications lors la conception de produits. Elle met en exergue la nécessité d'établir un modèle descriptif des applications orientées produit facilitant leur figuration par les utilisateurs, ainsi que d'explorer les problèmes pragmatiques résultant de leur intégration dans les produits. Elle conduit également à l'élaboration et l'évaluation, par la pratique, de principes pour le design de la forme et des interactions des produits augmentés. Elle décrit plus particulièrement la ductilité de futurs produits, le nouveau rapport entre fonction, comportement et structure qu'ils établissent, et leurs possibles évolutions. Cette recherche contribue aux travaux sur l'Internet des Objets en proposant un nouveau cadre de discussion, et en offrant aux chercheurs et aux praticiens des outils qui peuvent être employés durant le processus de conception.

[Departement_IRSTEA]Ecotechnologies [TR1_IRSTEA]MOTIVE; International audience; The article present an adaptation of the RPL protocol to the specification of Agricultural LLN networks.

Over the last decade, communities involved with intelligent-manufacturing systems (IMS - Intelligent Manufacturing Systems, HMS - Holonic Manufacturing System) have demonstrated that systems that integrate intelligent products can be more efficient, flexible and adaptable. Intelligent products may prove to be beneficial economically, to deal with product traceability and information sharing along the product lifecycle. Nevertheless, there are still some open questions such as the specification of what information should be gathered, stored and distributed and how it should be managed during the lifecycle of the product. The contribution of this thesis is to define a process for disseminating information related to the product over the its lifecycle. This process is combined with a new paradigm, which changes drastically the way we view the material. This concept aims to give the ability for the material to be intrinsically and wholly communicating. The data dissemination process allow users to store context-sensitive information on communicating product. In addition to the data dissemination process, this thesis gives insight into the technological and scientific research fields inherent to the concept of communicating material, which remain to be explored.; Depuis de nombreuses années, plusieurs communautés telles que IMS (Intelligent Manufacturing Systems), HMS (Holonic Manufacturing System) ont suggéré l'utilisation de produits intelligents pour rendre les systèmes adaptables et adaptatifs et ont montré les bénéfices pouvant être réalisés, tant au niveau économique, qu'au niveau de la traçabilité des produits, qu'au niveau du partage des informations ou encore de l'optimisation des procédés de fabrication. Cependant, un grand nombre de questions restent ouvertes comme la collecte des informations liées au produit, leur stockage à travers la chaîne logistique, ou encore la dissémination et la gestion de ces informations tout au long de leur cycle de vie. La contribution de cette thèse est la définition d'un cadre de dissémination des informations relatives au produit durant l'ensemble de son cycle de vie. Ce cadre de dissémination est associé à un nouveau paradigme qui change radicalement la manière de voir le produit et la matière. Ce nouveau concept consiste à donner la faculté au produit d'être intrinsèquement et intégralement communicant. Le cadre de dissémination des informations offre la possibilité à l'utilisateur d'embarquer des informations sensibles au contexte d'utilisation du produit communicant. Outre la définition du processus de dissémination des informations, cette thèse offre un aperçu des champs de recherche, tant scientifiques que technologiques, à investiguer par l'avenir concernant le concept de matière communicante.

La prolifération des réseaux ad hoc mobiles, pair-à-pair et de capteurs ont encouragé le développement des concepts d'une informatique autonome avec potentiellement un large éventail d'applications. Or, la vulnérabilité inhérente de ces réseaux autonomes introduit de nouveaux challenges de sécurité, telles que des attaques internes menées par des entités malveillantes. Plusieurs de ces attaques sont difficiles à détecter et à contrarier en raison de leur comportement asymptotique au comportement de processus légitimes des systèmes en interaction. Par ailleurs, la limitation des ressources de certains réseaux autonomes (réseaux de capteurs sans fil, réseaux mobiles ad hoc) constitue un autre grand challenge pour leur robustesse qui englobe à la fois la tolérance aux défaillances et la sécurité. Dans ce contexte, nos travaux se sont articulés autour de deux axes de recherche qui se situent à deux limites de la connaissance contemporaine sur la sécurité des systèmes : la sécurité collaborative des systèmes complexes en interaction et la sécurité des systèmes à fortes contraintes de ressources. Nous nous sommes fixés comme objectif le développement de solutions algorithmiques aptes à satisfaire les besoins des utilisateurs en termes de performance et de robustesse tout en leur permettant de faire abstraction de la complexité sous-jacente. Nous avons démontré à travers nos travaux que l'interaction robuste et sécurisée entre ces systèmes atypiques est possible. Elle est possible grâce à une nouvelle appréhension de la sécurité basée sur la collaboration de processus de confiance, et la prévention à base de mécanismes proactifs de tolérance aux disfonctionnements. Nous avons mené une recherche à la fois scientifique, technologique et intégrative dans le cadre de projets pluridisciplinaires, qui s'inscrivent dans des domaines aussi variés que la santé, l'agriculture, la gestion du trafic urbain, les systèmes embarqués, les réseaux et la sécurité des échanges. L'évolution de nos axes de recherche est principalement motivée par la prise en compte de nouvelles évolutions technologiques et de leur usage, pour lesquelles nous proposerons des solutions algorithmiques de sécurité tout en optimisant les coûts inhérents. En l'occurrence, une évolution majeure qui s'inscrit dans la continuité des développements récents des technologies de l'information et de la communication et des systèmes embarqués, est " l'internet des objets (IdO)". Cette évolution technologique sera accompagnée d'une évolution des usages et de l'écosystème technologique environnant dans toute sa complexité. Nous allons montrer que cette nouvelle " technologie de rupture " à enjeux socioéconomiques importants suscite ses propres challenges de sécurité et de " privacy ". Nous présenterons une évolution de la thématique de sécurité de l'IdO en trois phases : la sécurité efficace pour une informatique embarquée miniaturisée, la sécurité et " privacy " centrée sur l'utilisateur selon le contexte, et une approche cognitive et systémique de la sécurité de l'IdO. En effet, nous montrerons que l'évolution des objets vers plus d'autonomie à percevoir et à agir sur l'environnement, accentuera les enjeux de la sécurité et de la " privacy ". En conséquence, la sécurité de l'Internet des objets devrait aussi évoluer vers plus d'autonomie perceptive et actionnelle en se basant sur une approche cognitive et systémique centrée sur les objets intelligents.

National audience; Les applications sensibles au contexte à destination d'utilisateurs mobiles représentent un marché important pour les applications de demain. Ces applications sont consommatrices d'informations de contexte de haut niveau d'abstraction, obtenues après traitement et filtrage de nombreuses informations de contexte brutes issues directement de l'environnement de l'utilisateur. L'entité logicielle responsable de la collecte, de la gestion (traitement et filtrage) et de la présentation des informations de contexte aux applications s'appelle communément un gestionnaire de contexte. C'est une entité essentielle pour le développement des applications sensibles au contexte grand public. La gestion de contexte est un problème traité généralement dans le cadre de réseaux ambiants. Dans le cadre de réseaux multi-échelles (ambiant, Internet, nuages) et au-dessus de l'Internet des objets, la gestion de contexte devient autrement plus complexe. Elle doit prendre en compte l'hétérogénéité des données, répartir les traitements et les flux d'informations, assurer le passage à l'échelle, gérer des informations de qualité de contexte pour permettre des prises de décision appropriées, respecter la vie privée lors de la transmission des informations de contexte, s'adapter à des environnements dynamiques, ou encore identifier des situations en mixant des données issues de l'Internet des objets et de bases de connaissances. INCOME a pour ambition de fournir des méthodes et des outils pour la gestion de contexte multi-échelle et de répondre aux verrous associés.

The Internet of Things paradigm establishes interaction and communication with a huge amount of actors. The concept is not a new-from-scratch one; actually, it combines a vast number of technologies and protocols and surely adaptations of pre-existing elements to offer new services and applications. One of the key technologies of the Internet of Things is the Radio Frequency Identification just abbreviated RFID. This technology proposes a set of solutions that allow tracking and tracing persons, animals and practically any item wirelessly. Considering the Internet of Things concept, multiple technologies need to be linked in order to provide interactions that lead to the implementation of services and applications. The challenge is that these technologies are not necessarily compatible and designed to work with other technologies. Within this context, the main objective of this thesis is to design a heterogeneous framework that will permit the interaction of diverse devices such as RFID, sensors and actuators in order to provide new applications and services. For this purpose in this work, our first contribution is the design and analysis of an integration architecture for heterogeneous devices. In the second contribution, we propose an evaluation model for RFID topologies and an optimization tool that assists in the RFID network planning process. Finally, in our last contribution, we implemented a simplified version of the framework by using embedded hardware and performance metrics are provided as well as the detailed configuration of the test platform, Le paradigme de l'Internet des choses établit l'interaction et la communication avec une énorme quantité d'acteurs. Le concept combine un grand nombre de technologies et de protocoles et des adaptations des éléments préexistants pour offrir de nouveaux services et applications. Une des technologies clés de l'Internet des objets est l'identification par radiofréquence abrégée en anglais RFID («Radio Frequency Identification»). Elle propose un ensemble de solutions qui permettent le suivi et la traçabilité des personnes, des animaux et pratiquement n'importe quel objet en utilisant des liaisons sans fil. En considérant le concept de l'Internet des choses, plusieurs technologies doivent être liées afin de fournir des interactions qui conduisent à la mise en œuvre de services et d'applications. Le défi est que ces technologies ne sont pas nécessairement compatibles et conçues pour fonctionner ensemble. Dans ce contexte, l'objectif principal de cette thèse est de concevoir un « framework » hétérogène qui permettra l'interaction de divers dispositifs tels que la RFID, des capteurs et des actionneurs afin de fournir de nouvelles applications et de services. À cet effet, notre première contribution est la conception et l'analyse d'une architecture d'intégration pour les dispositifs hétérogènes. Dans la seconde contribution, nous proposons un modèle d'évaluation de la topologie RFID et un outil d'optimisation pour la planification de réseaux de cette technologie. Enfin, nous avons implémenté une version simplifiée du framework en utilisant du matériel embarqué et indicateurs de performance sont fournis ainsi que la configuration détaillée de la plateforme de test

La prolifération des réseaux ad hoc mobiles, pair-à-pair et de capteurs ont encouragé le développement des concepts d'une informatique autonome avec potentiellement un large éventail d'applications. Or, la vulnérabilité inhérente de ces réseaux autonomes introduit de nouveaux challenges de sécurité, telles que des attaques internes menées par des entités malveillantes. Plusieurs de ces attaques sont difficiles à détecter et à contrarier en raison de leur comportement asymptotique au comportement de processus légitimes des systèmes en interaction. Par ailleurs, la limitation des ressources de certains réseaux autonomes (réseaux de capteurs sans fil, réseaux mobiles ad hoc) constitue un autre grand challenge pour leur robustesse qui englobe à la fois la tolérance aux défaillances et la sécurité. Dans ce contexte, nos travaux se sont articulés autour de deux axes de recherche qui se situent à deux limites de la connaissance contemporaine sur la sécurité des systèmes : la sécurité collaborative des systèmes complexes en interaction et la sécurité des systèmes à fortes contraintes de ressources. Nous nous sommes fixés comme objectif le développement de solutions algorithmiques aptes à satisfaire les besoins des utilisateurs en termes de performance et de robustesse tout en leur permettant de faire abstraction de la complexité sous-jacente. Nous avons démontré à travers nos travaux que l'interaction robuste et sécurisée entre ces systèmes atypiques est possible. Elle est possible grâce à une nouvelle appréhension de la sécurité basée sur la collaboration de processus de confiance, et la prévention à base de mécanismes proactifs de tolérance aux disfonctionnements. Nous avons mené une recherche à la fois scientifique, technologique et intégrative dans le cadre de projets pluridisciplinaires, qui s'inscrivent dans des domaines aussi variés que la santé, l'agriculture, la gestion du trafic urbain, les systèmes embarqués, les réseaux et la sécurité des échanges. L'évolution de nos axes de recherche est principalement motivée par la prise en compte de nouvelles évolutions technologiques et de leur usage, pour lesquelles nous proposerons des solutions algorithmiques de sécurité tout en optimisant les coûts inhérents. En l'occurrence, une évolution majeure qui s'inscrit dans la continuité des développements récents des technologies de l'information et de la communication et des systèmes embarqués, est " l'internet des objets (IdO)". Cette évolution technologique sera accompagnée d'une évolution des usages et de l'écosystème technologique environnant dans toute sa complexité. Nous allons montrer que cette nouvelle " technologie de rupture " à enjeux socioéconomiques importants suscite ses propres challenges de sécurité et de " privacy ". Nous présenterons une évolution de la thématique de sécurité de l'IdO en trois phases : la sécurité efficace pour une informatique embarquée miniaturisée, la sécurité et " privacy " centrée sur l'utilisateur selon le contexte, et une approche cognitive et systémique de la sécurité de l'IdO. En effet, nous montrerons que l'évolution des objets vers plus d'autonomie à percevoir et à agir sur l'environnement, accentuera les enjeux de la sécurité et de la " privacy ". En conséquence, la sécurité de l'Internet des objets devrait aussi évoluer vers plus d'autonomie perceptive et actionnelle en se basant sur une approche cognitive et systémique centrée sur les objets intelligents.

L'Internet accueille aujourd'hui des milliards de connexions et d'échanges qui en font l'outil le plus puissant jamais inventé pour le partage de l'information. En quelques décennies, il est devenu le moteur de profondes transformations dans la vie des entreprises, des individus et des institutions. Cet élan n'est pas près de cesser et dans tous les pays ingénieurs et techniciens, industriels et sociétés de services, chercheurs de toutes disciplines et responsables politiques sont déjà en train de dessiner l'Internet du Futur1. La perspective est celle d'un monde de connexion encore plus dense, entre les hommes mais aussi avec les objets - une connexion permanente et de plus en plus invisible, qui engendre autant de craintes qu'elle est porteuse de promesses. Elle pose sous de nouvelles formes la question des relations entre innovation et marché, entre ressources techniques et applications de services, mais aussi entre sécurité et liberté. Elle perpétue et renforce le besoin d'une gouvernance « transparente, multilatérale et démocratique » qui a irrigué les débats du Sommet mondial sur la société de l'information2. L'enjeu est de répondre aux incertitudes tant industrielles que réglementaires et aux préoccupations éthiques d'accessibilité, de diversité culturelle et de protection des libertés. Entre avancées technologiques et méconnaissance des usages, entre harmonisation des standards et aléas de la compétition économique, l'Union européenne est confrontée à trois défis majeurs : - Comment articuler de manière partagée, durable et à moindre coût, des réseaux et des applications diversifiés ? - Comment guider l'innovation et favoriser la croissance économique ? Comment faire en sorte qu'un réseau de réseaux conçu comme « ubiquitaire » ne soit pas excessivement intrusif ? Le 7ème programme-cadre européen de recherche sur les technologies de l'information et de la communication marque une étape importante. Il est largement consacré aux réseaux et services du futur3. Quatre aspects essentiels y sont abordés : - les nouvelles infrastructures de réseaux (très haut débit, sans fil, mobile), - le développement des logiciels et des plateformes de services, - l'exploration des technologies 3D Media, l'intégration des puces RFID (Radio Frequency Identification systems) et des adresses IP conduisant à ce qu'on appelle « l'Internet des Objets4 ». En fonction des acteurs, et de leurs intérêts parfois divergents, il est difficile de trancher entre « révolution » ou « évolution » technique. Le web sémantique, les nanotechnologies, les Next. Generation Networks vont renouveler dans un proche avenir la physionomie de l'Internet. Mais la présente étude a choisi de partir des usages, avérés ou émergents, pour questionner ces mutations. C'est pourquoi elle est consacrée à l'Internet des Objets qui a largement entamé son déploiement, qui focalise un très grand nombre de recherches en cours, aussi bien en sciences et techniques qu'en sciences sociales et, surtout, qui suscite les interrogations les plus pressantes dans le débat public. La manière dont l'IdO est appréhendé aujourd'hui est très largement structurée par les infrastructures disponibles (réseaux et protocoles Internet), les processus de suivi déjà existants (en particulier les codes-barres) ainsi que les acteurs en place (développeurs, tiers de confiance). Mais son développement ne saurait se limiter aux seules questions techniques de la RFID5. Il soulève des enjeux économiques et sociaux, mais aussi politiques, philosophiques, cognitifs, juridiques et éthiques dont la perception, par le grand public comme par les autorités, n'est pas exempte d'ignorance et d'amalgames. Le panorama que nous proposons s'inscrit de plain-pied dans une perspective pluridisciplinaire, pour permettre de porter en parallèle l'ensemble de ces questionnements. Il se situe également dans une perspective d'action, pour concevoir et promouvoir une gouvernance équilibrée et ainsi réussir le développement de l'IdO en Europe. Après avoir défini l'Internet des Objets (chapitre 1), nous tenterons de comprendre en quoi ses enjeux sont cruciaux (chapitre 2), puis d'évaluer son stade de développement (chapitre 3), en insistant sur la construction de la standardisation. Nous nous interrogerons sur les conditions d'émergence et de succès du marché de l'IdO (chapitre 4) et nous analyserons les représentations qui conditionnent sa mise en oeuvre, à la fois pour les industriels, les citoyens et les gouvernements, en mettant en relief la problématique de la protection de la vie privée « privacy » (chapitre 5). Le dernier chapitre (6) s'attachera aux principales questions qui doivent être gérées politiquement, en Europe et au delà, pour construire un Internet des Objets profitable, acceptable et « gouvernable ».

Notre contribution présente brièvement ce qu'on décrit actuellement comme de nouvelles ruptures techniques en cours dans les TIC. Il s'agira d'une part de repérer les « effets de mode » contenus dans ces descriptions, qui reprennent des appréhensions ou des enthousiasmes récurrents dès que l'on est confronté à des ruptures techniques, d'autre part de s'interroger sur la pertinence de nos outils d'analyse des innovations face à ces éventuelles ruptures. En effet, indépendamment de l'opinion optimiste ou inquiète qui se forme à leur propos, s'il y a bien des ruptures techniques celles-ci peuvent nous amener à revoir un des principaux outils dont nous disposons pour comprendre les TIC dans la société : l'approche en terme d'usages et d'appropriation.

Since decades, the power grid is Under going a tremendous evolution, toward what is called the Smart Grid. The grid is actually evolving from a centralized architecture to a decentralized one, taking into account all the unpredictable sources and consumption. The Advanced Metering Infrastructure is the network dedicated to the Smart Grid that allows two-ways communications between the consumers and the energy providers. Smart Meters networks, that are part of this architecture, rely on powerline communications, a technology that is highly sensitive to interference. Despite dedicated layer 2 protocols, the employed technologies cannot fulfill most of smart grid applications requirements. The majority of smart meter network technology candidates are short range, each meter cannot reach the concentrator in one hop. Nodes need to collaborate, using a routing protocol like RPL to reach the destination. The goal of this thesis is to modify RPL to a multi interfaces environment, and study how interface heterogeneity could increase the reliability and the performance of a smart meter network.; Le réseau électrique a subi d’importantes évolutions ces dernières décennies, pour devenir ce qu’on appelle le Smart Grid. Le réseau électrique évolue actuellement d’une architecture centralisée vers une architecture décentralisée, tenant compte des consommations et sources d’énergies à caractère imprédictible et irrégulier. L’Advanced Metering Infrastructure est une architecture clé du Smart Grid qui permet des communications bidirectionnelles entre le consommateur et le fournisseur d’énergie. Les réseaux de compteurs intelligents qui constituent notamment cette architecture reposent communément sur des communications à courant porteur, une technologie qui est hautement sensible aux interférences. Malgré l’utilisation de protocoles de niveau 2 spécifiques, les technologies employées ne permettent pas de respecter les exigences de toutes les applications Smart grid. La plupart des technologies considérées pour les réseaux de compteurs intelligents sont de courte portée, chaque compteur ne peut communiquer directement avec le concentrateur. Les noeuds doivent collaborer entre eux, utilisant un protocole de routage tel que RPL pour atteindre la destination. Le but de cette thèse est d’adapter RPL à un environnement multi interfaces, et étudier comment l’hétérogénéité des interfaces peut améliorer la fiabilité et les performances d’un réseau de compteurs intelligents.

International audience; L'Internet des objets (IoT) va compter pour une part importante du trafic de l'Internet et son impact est encore largement méconnu. Il est ainsi important d'enétudier les caractéristiques. Dans cet article, en se basant sur nos expériences de mesures d'une maison connectée, nous modélisons le trafic IoT et nous proposons un nouveau générateur de trafic IoT appelé IoTTGen. Les propriétés du trafic IoT sont étudiées en calculant l'entropie réseau des paramètres du trafic. Notre générateur permet de générer efficacement de grandes quantités de trafic et parvient à capturer les caractéristiques du trafic IoT.

International audience

The study and production of programming language semantics is a computer science field aiming to represent these objects' behavior formally. The State-of-the-art presents different styles and technologies for working on semantics. Technologies have progressed a lot during the last four decades by proposing more and more frameworks adapted to carry out these studies. On the one hand, semantic styles have well-known positive characteristics and limitations. On the other hand, semantic tools are an active research topic. The thesis proposes a methodology for encoding semantics in a tiny functional meta-language called Skel. This language has a suite of tools for generating different artefacts for performing different types of studies. The methodology proposed in this thesis shows how to write concise semantics visually close to a programming language specification. To do so, we combined different algebraic constructs for writing precise, concise, readable, and easily maintainable formalizations. We have applied this technique to two case studies, the modeling of the JavaScript specification, ECMAScript, and the representation of a formal model to describe orchestration semantics representing the behavior of Internet of Things applications. These works give a clear idea of the potential and expressiveness of our formal framework---Skeletal Semantics. This manuscript is an introduction to Skeletal Semantics, showing how to produce usable and human-readable formalizations of different types of specifications---inference-rule based and in prose. In essence, the aim is to turn a mathematical representation of a language addressed to a specific category of researchers into valuable support for programmers to build real implementations.; L’étude de la sémantique des langages de programmation est un domaine de l’informatique visant à représenter formellement le comportement de programmes. L’état de l’art a beaucoup progressé au cours des quatre dernières décennies en proposant de plus en plus de cadres adaptés à la réalisation de ces études. S’il existe de nombreux styles, dont on connaît les caractéristiques positives et les limites, il reste encore beaucoup à faire en termes d’outils adaptés à la description et à l’étude de la sémantique des langages de programmation. Cette thèse s’inscrit dans ce contexte, en proposant une méthodologie pour pouvoir produire un objet représentant le comportement d’un langage de programmation, en fournissant tout ce qui est nécessaire pour pouvoir les étudier. La contribution de la thèse consiste à fournir une méthodologie pour écrire une sémantique concise et visuellement proche d’une spécification. Pour ce faire, nous utilisons un certain nombre de constructions algébriques qui, associées à notre approche purement fonctionnelle, conduisent à une formalisation claire, concise et facile à maintenir. Nous avons appliqué cette technique à deux études de cas, la modélisation de la spécification JavaScript, ECMAScript, et la représentation d’un modèle formel pour décrire la sémantique d’orchestration représentant le comportement des applications de l’internet des Objets. Ces travaux donnent une idée claire du potentiel et de l’expressivité de notre cadre formel, appelé sémantique squelettique. Ce manuscrit est à la fois une introduction à l’utilisation de la sémantique squelettique et son application aux langages de programmation, même quand ceux-ci ont une spécification complexe et de taille conséquente. C’est également une étude de la manière d’exploiter les caractéristiques d’un tel outil pour produire des formalisations qui peuvent étre claires et lisibles par l’homme. En substance, il s’agit de faire d’une représentation mathématique d’un langage, qui s’adresse à une catégorie spécifique de chercheurs, un support précieux pour les programmeurs en vue d’implémentations réelles.

Connected devices and artificial intelligence systems transform the way we stay informed, work and interact with objects. Learning is linked to these changes: to create intelligent systems and for individuals adaptability. This article describes the relationship between connected devices, human learning and machine learning, to identify the challenges for the mediation of knowledge. Connected devices, with their sensors, facilitate observation and exploration of the world. The coupling with machine learning leads to the emergence of intelligent environments where objects adapt to the collected data. Intelligent environments enable smart campuses and social robots, and extends automation and assistance. These opportunities accentuate the need for education “to” and “by” technologies and question human development in an environment of connected devices., Les objets connectés et l’intelligence artificielle transforment nos modes d’information de travail et d’interaction avec les objets. L’apprentissage est lié à ces changements, tant en ce qui concerne la création de systèmes intelligents que l’adaptation des individus aux technologies. Cet article décrit la relation entre les objets connectés et l’apprentissage, humain et automatique, afin d’identifier les enjeux pour la médiation des savoirs. Les objets connectés facilitent l’observation et l’exploration du monde par l’humain, et leur couplage avec l’apprentissage automatique conduit à l’émergence d’un environnement intelligent. L’environnement intelligent étend les logiques d’automatisation et d’assistance, ouvrant ainsi la voie au campus connecté et aux robots sociaux. Ces effets accentuent les besoins de formation « aux » et « par » les technologies et interrogent le développement humain dans un milieu d’objets connectés.

L’essor récent de l’apprentissage automatique et l’intérêt grandissant porté à l’intelligence artificielle a généré une demande de données de plus en plus importante. Le mouvement de la science ouverte, et plus particulièrement les données ouvertes, apportent une réponse à cette demande en offrant à tous un accès et un usage libre à des jeux de données. Dans cet article, nous proposons une méthodologie pour générer des traces correspondant à différentes applications IoT. Pour cela, nous caractérisons les différents types de trafic, comme leur fréquence de communication et la taille des paquets échangés. Puis, nous simulons ces applications sur la plateforme FIT IoT-LAB pour générer les traces. Les paramètres des simulations, tels que le nombre de noeuds employés, sont choisis selon les caractéristiques de l’application simulée. Les traces ainsi générées sont enrichies de plusieurs données qui permettent de déduire des métriques utiles, telles que le taux de livraison des paquets et le délai de bout en bout. Nous partageons en accès ouvert les traces obtenues ainsi qu’une base de code pour générer, manipuler et analyser les données obtenues de FIT IoT-LAB.