Developing and Testing Pervasive Computing Applications: A Tool-Based Methodology

Julien Bruneau 1
1 Phoenix - Programming Language Technology For Communication Services
LaBRI - Laboratoire Bordelais de Recherche en Informatique, Inria Bordeaux - Sud-Ouest, EA4136 - Handicap et système nerveux :Action, communication, interaction: rétablissement de la fonction et de la participation [Bordeaux]
Résumé : Malgré des progrès récents, développer une application d'informatique ubiquitaire reste un défi à cause d'un manque de canevas conceptuels et d'outils aidant au développement. Ce défi implique de prendre en charge des objets communicants hétérogènes, de surmonter la complexité des technologies de systèmes distribués, de définir l'architecture d'une application, et d'encoder cela dans un programme. De plus, tester des applications d'informatique ubiquitaire est problématique car cela implique d'acquérir, de tester et d'interfacer une variété d'entités logicielles et matérielles. Ce procédé peut rapidement devenir coûteux en argent et en temps lorsque l'environnement ciblé implique de nombreuses entités. Cette thèse propose une méthodologie outillée pour dévelop- per et tester des applications d'informatique ubiquitaire. Notre méthodologie fournit tout d'abord le langage de conception DiaSpec. Ce langage permet de définir une taxonomie d'entités spécifiques à un domaine applicatif, s'abstrayant ainsi de leur hétérogénéité. Ce langage inclut également une couche permettant de définir l'architecture d'une application. Notre suite outillée fournit un compilateur qui, à partir de descriptions DiaSpec, génère un canevas de programmation guidant les phases d'implémentation et de test. Afin d'aider à la phase de test, nous proposons une approche de simulation et un outil intégré dans notre méthodologie outillée : l'outil DiaSim. Notre approche utilise le support de test généré par DiaSpec pour tester les applications de manière transparente dans un environnement physique simulé. La simulation d'une application est rendue graphiquement dans un outil de visualisation 2D. Nous avons combiné DiaSim avec un langage dédié permet- tant de décrire les phénomènes physiques en tant qu'équations différentielles, permettant des simulations réalistes. DiaSim a été utilisé pour simuler des applications dans des domaines applicatifs variés. Notre approche de simulation a également été appliquée à un système avionique, démontrant la généralité de notre approche de simulation.
Type de document :
Thèse
Ubiquitous Computing. Université Sciences et Technologies - Bordeaux I, 2012. English
Liste complète des métadonnées


https://tel.archives-ouvertes.fr/tel-00767395
Contributeur : Julien Bruneau <>
Soumis le : mercredi 19 décembre 2012 - 17:40:55
Dernière modification le : jeudi 10 septembre 2015 - 01:08:30
Document(s) archivé(s) le : dimanche 18 décembre 2016 - 07:06:37

Fichier

Identifiants

  • HAL Id : tel-00767395, version 1

Collections

Citation

Julien Bruneau. Developing and Testing Pervasive Computing Applications: A Tool-Based Methodology. Ubiquitous Computing. Université Sciences et Technologies - Bordeaux I, 2012. English. <tel-00767395>

Partager

Métriques

Consultations de
la notice

320

Téléchargements du document

1007