Conception de services pour l'IoT : de la spécification logique tournée vers l'utilisateur à la génération dynamique des services. Application à la SmartHome.

par Mingming Qiu

Projet de thèse en Informatique

Sous la direction de Elie Najm, Bruno Traverson et de Rémi Sharrock.

Thèses en préparation à Paris Saclay , dans le cadre de École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) , en partenariat avec LTCI - Laboratoire de Traitement et Communication de l'Information (laboratoire) et de Télécom ParisTech (établissement de préparation de la thèse) depuis le 01-02-2019 .


  • Résumé

    La pénétration des services de l'Internet des Objets (IdO ou IoT en anglais) dans les logements résidentiels va certainement se généraliser dans les prochaines années. Il existe déjà des premières solutions industrielles notamment autour des services de confort et d'économie d'énergie (Nest aux Etats-Unis, Sowee en France ...). Un utilisateur voulant acquérir plusieurs de ces objets ne pourra pas connaître tous les systèmes et services proposés. Il aura besoin d'un outil d'intégration automatique. Il reste néanmoins de nombreux défis à relever dans la perspective d'un déploiement à plus large échelle de ce type de services (services étendus multi-domaines/multi-énergies, intégration de la Smart Home dans des clusters bâtiment intelligent/quartier) et en terme d'évolutivité (ajout dynamique de nouveaux équipements/services, reconfiguration dynamique). L'objectif de cette thèse est de proposer une démarche de conception de services IoT, intégrant une spécification logique de services prenant en compte le choix des occupants de la SmartHome et la génération dynamique de ces services sur une plateforme modulaire d'agents autonomiques. La thèse se déroulant sur 3 ans suivra les étapes suivantes : Année 1 - Etat de l'art sur les méthodes et outils existants. Les formalismes de spécification logiques. Le design des services IoT. Les méthodes de composition et de résolution de conflits entre services. - Analyse des études de cas d'utilisation, notamment à EDF. - Critique de l'existant et raffinement de l'objectif de la thèse. - Première proposition. Elaboration d'une première maquette. Première évaluation. - Publication. Année 2 - Leçons tirées de la première évaluation, approfondissement et extension de l'approche proposée. - Evaluation de l'approche étendue, développement d'un prototype d'outils de mise en œuvre. - Publication. Année 3 - Finalisation du cadre de conception de services pour l'IoT - Publications - Rédaction du mémoire et soutenance

  • Titre traduit

    Design of IoT services : From user-centric logical specification to dynamic generation of services. Application to SmartHome.


  • Résumé

    The penetration of Internet of Things services (IoT) in residential housing will certainly become widespread in the coming years. There are already some industrial solutions especially in comfort and energy saving services (Nest in the United States, Sowee in France ...). A user wanting to acquire several of the connected objects will not be able to handle all the systems and services offered. He will need an automatic integration tool. There are still many challenges to be addressed in view of the wider deployment of this type of service (extended services covering multiple domains, services for the management of multiple energy sources, integration of Smart Home in smart building and neighborhood clusters) and dynamic evolution of smart-homes (dynamic addition of new equipment / services, dynamic reconfiguration). The aim of this thesis is to propose an IoT service design approach, integrating a logical specification of services taking into account the choice of SmartHome owners and the dynamic generation of these services on a modular platform of autonomic agents. The thesis taking place over 3 years will follow the following steps: Year 1 - State of the art on existing methods and tools. Logical specification formalisms. The design of IoT services. Methods for composing and resolving conflicts between services. - Analysis of case studies of use, in particular, in EDF. - Criticism of the existing and refinement of the objective of the thesis. - First proposal. Elaboration of a first model. First evaluation. - Publication. Year 2 - Lessons learned from the first evaluation, deepening and extending the proposed approach. - Evaluation of the extended approach, development of a prototype implementating the tools. - Publication. Year 3 - Finalizing the service design framework for IoT - Publications - Writing of the dissertation and defense