Enabling Emergent Mobile Systems in the IoT: from Middleware-layer Communication Interoperability to Associated QoS Analysis - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 2017

Enabling Emergent Mobile Systems in the IoT: from Middleware-layer Communication Interoperability to Associated QoS Analysis

Systèmes Mobiles Émergents dans l’IoT: de l’Interopérabilité au niveau Middleware de Communication à l’Analyse de la Qualité de Service Associée

Georgios Bouloukakis

Résumé

Internet of Things (IoT) applications consist of diverse Things including both resource-constrained/rich devices with a considerable portion being mobile. Such devices demand lightweight, loosely coupled interactions in terms of time, space, and synchronization. IoT middleware protocols support one or more interaction types (e.g., asynchronous messaging, streaming) ensuring Thing communication. Additionally, they introduce different Quality of Service (QoS) features for this communication with respect to available device and network resources. Things employing the same middleware protocol interact homogeneously, since they exploit the same functional and QoS features. However, the profusion of developed IoT middleware protocols introduces technology diversity which results in highly heterogeneous Things. Interconnecting heterogeneous Things requires mapping both their functional and QoS features. This calls for advanced interoperability solutions integrated with QoS modeling and evaluation techniques. The main contribution of this thesis is to introduce an approach and provide a supporting platform for the automated synthesis of interoperability software artifacts. Such artifacts enable the interconnection between mobile Things that employ heterogeneous middleware protocols. Our platform further supports evaluating the effectiveness of the interconnection in terms of end-to-end QoS. More specifically, we derive formal conditions for successful interactions, and we enable performance modeling and analysis as well as end-to-end system tuning, while considering several system parameters related to the mobile IoT. Our aim is to enable the design and development of emergent mobile systems, which are dynamically composed from available Things in the environment. Our approach relies on software architecture abstractions, model-driven development, timed automata techniques and queueing networks. We validate our approach through the development of a prototype implementation and experimentation with a case study employing heterogeneous middleware protocols. Furthermore, we statistically analyze through simulations the effect of varying system parameters. The values of such parameters are derived from both probability distributions and actual data from real deployments. Simulation experiments are compared with experiments run on the prototype implementation testbed to evaluate the accuracy of the results. This work can provide system designers with precise design-time modeling, analysis and software synthesis by using our tools, in order to ensure accurate runtime system behavior.
Les applications de l'Internet des objets (IdO/IoT) se composent de divers objets en grande partie mobiles et avec des ressources limitées ou riches. Des tels dispositifs exigent des interactions légères et faiblement couplées en termes de temps, d'espace et de synchronisation. Les protocoles au niveau middleware de l'IoT prennent en charge un ou plusieurs types d'interaction (par exemple, échange de messages synchrone, streaming) assurant la communication entre objets. De plus, ils supportent différents niveaux de Qualité de service (QDS) pour cette communication par rapport aux ressources disponibles sur les dispositifs et les réseaux. Les dispositifs utilisant le même protocole middleware interagissent de manière homogène, car ils exploitent les mêmes caractéristiques fonctionnelles et de QDS. Cependant, la profusion de protocoles middleware pour l'IoT se traduit par des objets très hétérogènes. Cela nécessite des solutions d'interopérabilité avancées intégrées à des techniques de modélisation et d'évaluation de la QDS. La principale contribution de cette thèse est d'introduire une approche et de fournir une plate-forme pour la synthèse automatique des artefacts logiciels permettant l'interopérabilité. De tels artefacts permettent l'interconnexion entre des objets mobiles qui utilisent des protocoles hétérogènes au niveau middleware. Notre plate-forme prend en charge l'évaluation de l'effectivité de l'interconnexion en termes de la QDS de bout en bout. Plus précisément, nous dérivons des conditions formelles pour des interactions réussies, et nous permettons la modélisation et l'analyse des performances ainsi que le réglage du système de bout en bout, tout en considérant plusieurs paramètres système pour l'IoT mobile. Notre objectif est de permettre la conception et le développement de systèmes mobiles émergents, composés de manière dynamique à partir d'objets disponibles dans l'environnement. Notre approche s'appuie sur des abstractions d'architecture logicielle, le développement axé sur les modèles, des techniques des automates temporisés et les réseaux de files d'attente. Nous validons notre approche par l'implémentation d'un prototype et une étude de cas intégrant des protocoles hétérogènes au niveau middleware. De plus, nous analysons statistiquement à travers des simulations l'effet de la variation des paramètres du système. Les valeurs de ces paramètres sont dérivées à la fois des distributions de probabilité et des données provenant de déploiements réels. Les expériences de simulation sont comparées aux expériences effectuées sur le prototype d'essai pour évaluer la précision des résultats. Ce travail peut fournir aux concepteurs de systèmes un environnement de modélisation, d'analyse et de synthèse des logiciels, afin d'assurer un comportement précis de ces systèmes à l’éxécution.
Fichier principal
Vignette du fichier
Manuscript_PhD_GB.pdf (4.32 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

tel-01592623 , version 1 (25-09-2017)
tel-01592623 , version 2 (25-09-2017)
tel-01592623 , version 3 (22-01-2018)
tel-01592623 , version 4 (29-07-2018)

Identifiants

  • HAL Id : tel-01592623 , version 2

Citer

Georgios Bouloukakis. Enabling Emergent Mobile Systems in the IoT: from Middleware-layer Communication Interoperability to Associated QoS Analysis. Software Engineering [cs.SE]. Inria Paris, 2017. English. ⟨NNT : ⟩. ⟨tel-01592623v2⟩
940 Consultations
2319 Téléchargements

Partager

Gmail Facebook X LinkedIn More