Our work aims at the definition of an open and extensible development environment for supporting the design and implementation of component based software. Our proposition takes the form of a component based software architecture compilation toolset, accepting architectures described in different languages, and providing different functionalities such as code generation and deployment. The extensibility of the toolset is achieved thanks to a fine-grained component-based architecture, implementing a set of extensible programming patterns, and to a plug-in support for loading third party extensions. Two evaluation use-cases set up in the context of system-on-chips are presented in order to illustrate the effectiveness of our approach. The fir...
This thesis belongs to the domain of formal methods. We focus their application on a specific method...
Programming methods and environments designed for traditional mono-processor computers are hardly us...
Dans le cycle de vie logiciel nous avons principalement les activités (1) de pré-développement (l’an...
Our work aims at the definition of an open and extensible development environment for supporting the...
Ces travaux de thèse définissent un environnement de développement ouvert et extensible pour la conc...
The software part is becoming more and more important for specific electronic systems. This complex ...
L'ingénierie des logiciels à base de composants, produisant du logiciel en assemblant des composants...
Reuse is considered as one of the most crucial software engineering concerns. It allows for deliveri...
Current embedded applications require complex heterogeneous multiprocessor system on chip (MPSoC). F...
Cette thèse appartient au domaine des méthodes formelles. Nous nous concentrons sur leur application...
The sheer size and complexity of today's software systems pose challenges for both their programming...
Regarding embedded systems software which is open to change, we find (i) the need for a model of the...
This dissertation shows that complex, embedded software applications can effectively operate heterog...
Computing applications are often written using a high level computer language for programming and an...
Face à l'augmentation de la taille et de la complexité des systèmeslogiciels, il convient de les déc...
This thesis belongs to the domain of formal methods. We focus their application on a specific method...
Programming methods and environments designed for traditional mono-processor computers are hardly us...
Dans le cycle de vie logiciel nous avons principalement les activités (1) de pré-développement (l’an...
Our work aims at the definition of an open and extensible development environment for supporting the...
Ces travaux de thèse définissent un environnement de développement ouvert et extensible pour la conc...
The software part is becoming more and more important for specific electronic systems. This complex ...
L'ingénierie des logiciels à base de composants, produisant du logiciel en assemblant des composants...
Reuse is considered as one of the most crucial software engineering concerns. It allows for deliveri...
Current embedded applications require complex heterogeneous multiprocessor system on chip (MPSoC). F...
Cette thèse appartient au domaine des méthodes formelles. Nous nous concentrons sur leur application...
The sheer size and complexity of today's software systems pose challenges for both their programming...
Regarding embedded systems software which is open to change, we find (i) the need for a model of the...
This dissertation shows that complex, embedded software applications can effectively operate heterog...
Computing applications are often written using a high level computer language for programming and an...
Face à l'augmentation de la taille et de la complexité des systèmeslogiciels, il convient de les déc...
This thesis belongs to the domain of formal methods. We focus their application on a specific method...
Programming methods and environments designed for traditional mono-processor computers are hardly us...
Dans le cycle de vie logiciel nous avons principalement les activités (1) de pré-développement (l’an...