D´partement de formation doctorale en informatique e ´
Ecole doctorale EDMI Bordeaux
No d’ordre : 4518

D´veloppement et Test d’Applications e d’Informatique Ubiquitaire :
Une M´thodologie Outill´e e e
`
THESE soutenue le 16 Mai 2012 pour l’obtention du

Doctorat de l’Universit´ de Bordeaux 1 e (sp´cialit´ informatique) e e par Julien Bruneau

Jury
Pr´sident : e Marc Phalippou,

Directeur de l’Enseirb-Matmeca

Rapporteurs :

Michel Banˆtre, a Directeur de Recherche ` Inria Rennes a Julie A McCann,

Professeur ` l’Imperial College de Londres a Emilie Balland,

Charg´e de recherche ` Inria Bordeaux e a

Charles Consel,

Professeur ` l’Institut Polytechnique de Bordeaux a Walid Taha,

Professeur ` l’Universit´ d’Halmstad a e

Examinateurs :

ABSTRACT

developing and testing pervasive computing applications: a tool-based methodology
Despite much progress, developing a pervasive computing application remains a challenge because of a lack of conceptual frameworks and supporting tools. This challenge involves coping with heterogeneous devices, overcoming the intricacies of distributed systems technologies, working out an architecture for the application, and encoding it into a program. Moreover, testing pervasive computing applications is problematic because it requires acquiring, testing and interfacing a variety of software and hardware entities. This process can rapidly become costly and time-consuming when the target environment involves many entities. This thesis proposes a tool-based methodology for developing and testing pervasive computing applications. Our methodology first provides the DiaSpec design language that allows to define a taxonomy of area-specific building-blocks, abstracting over their heterogeneity. This language also includes a layer to define the architecture of an application. Our tool suite includes a compiler that takes DiaSpec design artifacts as input