Approche langage au développement logiciel : application au domaine des systèmes d'informatique ubiquitaire

Julien Mercadal 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]
Abstract : The sheer size and complexity of today's software systems pose challenges for both their programming and verification, making it critical to raise the level of abstraction of software development beyond the code. However, the use of high-level descriptions in the development process still remains rudimentary, improving and guiding this process marginally. This thesis proposes a new approach to making software development simpler and safer. This approach is based on the use of domain-specific languages and a tight coupling between a specification and architecture layer, and an implementation layer. It consists of describing functional and non-functional aspects of a software system at a high level of abstraction, using the specification and architecture layer. These high-level descriptions are then analyzed and used to customize the implementation layer, greatly facilitating the programming and verification of the software system. We have validated our approach in the domain of pervasive computing systems development. From a complete domain analysis, we have introduced two domain-specific languages, Pantaxou and Pantagruel, dedicated to the orchestration of networked smart devices.
Complete list of metadatas

Cited literature [147 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00654268
Contributor : Julien Mercadal <>
Submitted on : Wednesday, December 21, 2011 - 2:34:48 PM
Last modification on : Tuesday, February 5, 2019 - 3:26:04 PM
Long-term archiving on : Monday, December 5, 2016 - 6:48:50 AM

Identifiers

  • HAL Id : tel-00654268, version 1

Citation

Julien Mercadal. Approche langage au développement logiciel : application au domaine des systèmes d'informatique ubiquitaire. Langage de programmation [cs.PL]. Université Sciences et Technologies - Bordeaux I, 2011. Français. ⟨tel-00654268⟩

Share

Metrics

Record views

1144

Files downloads

3469