Conception et Implantation de Système Fondé sur les Composants. Vers une Unification des Paradigmes Génie Logiciel et Système.

Abstract : This PhD thesis was co-supervised by the MAPS/AMS laboratory of France Telecom R&D (now MAPS/SHINE) and the VERIMAG laboratory. Software development for embedded systems has many challenges. In this thesis, we address those related to the interactions between the three following phases of the software development process: the design phase (developers build a model of a system based on its specifications, using a design language i.e. a programming language), the implementation phase (the model previously built is compiled into an executable of the system which is then deployed on the target platforms) and the validation phase (a set of techniques are used to verify that the system implementation is correct with respect to the specifications). To achieve this goal, we study the design language characteristics and compilation techniques. In our approach, they allow the creation of both an implementation of the system and a model for this implementation. Provided that this model faithfully corresponds to the implementation, the analysis of the model can validate the implemented system. We propose a process for building a language based on predefined software components for which the dynamic behavior is supposed to be given. We illustrate this process with a prototype language, called Buzz, inspired by the actors programming model. Buzz uses Think components enriched with their operational behavioral model in the form of BIP components. We developed a compiler for Buzz by extending the current Think compiler (Nuptse). It generates both an architecture of Think components for the implementation and a BIP model for the analysis. We evaluate Buzz through two experiments. The first experiment details the end-to-end software development for an academical example on which we show the soundness of our technical choices. In particular, Think provides implementation support (compilation, optimization, deployment) and BIP allows us to verify the system's dynamic properties. The second experiment focuses on porting to Buzz an application conventionally developed for a sensor network radio protocol. This experiment underlines the efficiency of our proposal both in terms of programming language (the result is more structured and simpler than the original code) and in terms of compilation tools and verifications.
Document type :
Theses
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-00514504
Contributor : Marc Poulhiès <>
Submitted on : Thursday, September 2, 2010 - 4:16:31 PM
Last modification on : Friday, July 6, 2018 - 10:08:02 AM
Long-term archiving on : Tuesday, October 23, 2012 - 3:26:00 PM

Identifiers

  • HAL Id : tel-00514504, version 1

Collections

Citation

Marc Poulhiès. Conception et Implantation de Système Fondé sur les Composants. Vers une Unification des Paradigmes Génie Logiciel et Système.. Génie logiciel [cs.SE]. Université de Grenoble, 2010. Français. ⟨tel-00514504⟩

Share

Metrics

Record views

456

Files downloads

1035