Thèse soutenue

Une méthodologie fondée sur les modèles pour unifier l'ingénierie logicielle dans l'internet des objets
FR  |  
EN
Accès à la thèse
Auteur / Autrice : Imad Berrouyne
Direction : Jean-Claude Royer
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance le 04/02/2021
Etablissement(s) : Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire en cotutelle avec Université du Québec à Chicoutimi
Ecole(s) doctorale(s) : École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes)
Partenaire(s) de recherche : Laboratoire : NaoMod - Nantes Software Modeling Group - Département Automatique, Productique et Informatique - Laboratoire des Sciences du Numérique de Nantes
Jury : Président / Présidente : Yann-Gaël Guéhéneuc
Examinateurs / Examinatrices : Jean-Claude Royer, Davide Di Ruscio, Abdenour Bouzouane, Mehdi Adda, Luigi Logrippo, Massimo Tisi, Jean-Marie Mottu
Rapporteurs / Rapporteuses : Yann-Gaël Guéhéneuc, Davide Di Ruscio

Résumé

FR  |  
EN

L'Internet des objets (IdO) vise à connecter tout objet, partout, en tout temps (AAA). Cette hypothèse entraîne de nombreux défis en matière de génie logiciel. Ces défis constituent un sérieux obstacle à son adoption à grande échelle. L'une des principales caractéristiques de l'IdO est la généricité, c'est-à-dire permettre aux objets de se connecter de manière transparente, quelles que soient leurs technologies. L'Ingénierie Dirigée par les Modèles (IDM) est un paradigme qui préconise l'utilisation de modèles pour résoudre les problèmes de génie logiciel. L'IDM pourrait aider à répondre au besoin de généricité de l'IdO du point de vue du génie logiciel. Les approches d'IDM existantes se focalisent essentiellement sur la modélisation du comportement des objets. Peu d'attention a été accordée à la modélisation liée au réseau. La présente thèse présente une méthodologie pour l'IdO basée sur l'IDM. Fondamentalement, elle fournit une solution pour créer des réseaux intelligents d'objets. Le principe que nous utilisons consiste à contourner l'hétérogénéité intrinsèque de l'IdO en séparant la spécification du réseau, c'est-à-dire les objets, le schéma de communication et les contraintes, de son implémentation concrète, c'est-à-dire les artefacts logiciels de bas niveau (par exemple, le code source). Techniquement, la méthodologie repose sur un langage dédié basé sur les modèles pour la spécification du réseau et une procédure pour la génération du code des artefacts de bas niveau à partir de cette spécification. L'adoption de cette méthodologie rend l'ingénierie logicielle des applications IdO plus rigoureuse, permet de prévenir les bogues plus tôt et de gagner du temps.