A Design-Driven Methodology for the Development of Large-Scale Orchestrating Applications

Résumé : Notre environnement est de plus en plus peuplé de grandes quantités d’objets intelligents. Certains surveillent des places de stationnement disponibles, d’autres analysent les conditions matérielles dans les bâtiments ou détectent des niveaux de pollution dangereux dans les villes. Les quantités massives de capteurs et d’actionneurs constituent des infrastructures de grande envergure qui s’étendent sur des terrains de stationnement entiers, des campus comprenant plusieurs bâtiments ou des champs agricoles. Le développement d’applications pour de telles infrastructures reste difficile, malgré des déploiement réussis dans un certain nombre de domaines. Une connaissance considérable des spécificités matériel / réseau de l’infrastructure de capteurs est requise de la part du développeur. Pour remédier à ce problème, des méthodologies et des outils de développement logiciel permettant de relever le niveau d’abstraction doivent être introduits pour que des développeurs non spécialisés puissent programmer les applications. Cette thèse présente une méthodologie dirigée par la conception pour le développement d’applications orchestrant des quantités massives d’objets communicants. La méthodologie est basée sur un langage de conception dédié, nommé DiaSwarm qui fournit des constructions déclaratives de haut niveau permettant aux développeurs de traiter des masses d’objets en phase de conception, avant de programmer l’application. La programmation générative est utilisée pour produire des cadres de programmation spécifiques à la conception pour guider et soutenir le développement d’applications dans ce domaine. La méthodologie intègre le traitement parallèle de grandes quantités de données collectées à partir de masses de capteurs. Nous introduisons un langage de déclarations permettant de générer des cadres de programmation basés sur le modèle de programmation MapReduce. En outre, nous étudions comment la conception peut être utilisée pour rendre explicites les ressources requises par les applications ainsi que leur utilisation. Pour faire correspondre les exigences de l’application à une infrastructure de capteurs cible, nous considérons les déclarations de conception à différents stades du cycle de vie des applications. Le passage à l’échelle de cette approche est évaluée dans une expérience qui montre comment les cadres de programmation générés s’appuyant sur le modèle de programmation MapReduce sont utilisés pour le traitement efficace de grands ensembles de données de relevés des capteurs. Nous examinons l’efficacité de l’approche proposée pour relever les principaux défis du génie logiciel dans ce domaine en mettant en oeuvre des scénarios d’application qui nous sont fournis par des partenaires industriels. Nous avons sollicité des programmeurs professionnels pour évaluer l’utilisabilité de notre approche et présenter des données quantitatives et qualitatives de l’expérience.
Type de document :
Thèse
Other [cs.OH]. Université de Bordeaux, 2016. English. 〈NNT : 2016BORD0133〉
Liste complète des métadonnées

Littérature citée [141 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/tel-01412705
Contributeur : Abes Star <>
Soumis le : mercredi 14 décembre 2016 - 10:25:09
Dernière modification le : samedi 8 juillet 2017 - 01:06:43
Document(s) archivé(s) le : lundi 27 mars 2017 - 22:01:09

Fichier

KABAC_MILAN_2016.pdf
Version validée par le jury (STAR)

Identifiants

  • HAL Id : tel-01412705, version 2

Collections

Citation

Milan Kabac. A Design-Driven Methodology for the Development of Large-Scale Orchestrating Applications. Other [cs.OH]. Université de Bordeaux, 2016. English. 〈NNT : 2016BORD0133〉. 〈tel-01412705v2〉

Partager

Métriques

Consultations de
la notice

626

Téléchargements du document

462