Informaticien

11889 mots 48 pages
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

en relation

  • Informatique
    262 mots | 2 pages
  • Informatique
    337 mots | 2 pages
  • Informatique
    4910 mots | 20 pages
  • Informatique
    473 mots | 2 pages
  • Informatique
    4944 mots | 20 pages
  • Informatique
    1352 mots | 6 pages
  • Informatique
    10581 mots | 43 pages
  • Informatique
    1949 mots | 8 pages
  • Informatique
    262 mots | 2 pages
  • Informatique
    11299 mots | 46 pages
  • Informatique
    1701 mots | 7 pages
  • Informaticien
    972 mots | 4 pages
  • Informatique
    16927 mots | 68 pages
  • Informatique
    3303 mots | 14 pages
  • Informatique
    279 mots | 2 pages