les travaux portent sur la mise en oeuvre d'un système de communication sur une plate-forme SUNDANCE, comportnat DSP et fPGA.<br />Les techniques MIMO, OFDM et CDMA sont combinées afin de profiter de la diversité fréquentielle, spatiale<br />Un nouveau schéma de codage MIMO / OFDM est proposé

SOC, pour Service-Oriented Computing, est un paradigme d’ingénierie qui a attiré beaucoup de travaux de recherche ces dernières années. Ces travaux ont donné lieu à des architectures, protocoles, et standards, afin de permettre à des développeurs d’exposer des services et d’en réutiliser d’autre publiés par des tiers. Cependant, ces technologies sont actuellement limitées aux besoins des développeurs uniquement. L’utilisateur final n’est malheureusement pas considéré comme un acteur potentiel dans le processus de réutilisation de services. Ainsi, contrairement aux principes Web 2.0 qui mettent l’utilisateur final au cœur du processus de génération de contenus et de services, les technologies actuelles de SOC se focalisent plus sur les développeurs. Dans cette thèse, après une étude approfondie de SOC et son paradigme intrinsèque (SOA pour Service-Oriented Architecture), nous proposons un nouveau paradigme basé sur le concept de Widget : WOA (pour Widget-Oriented Architecture). Ce nouveau paradigme vise à permettre la réutilisation de service centrée sur les besoins de chaque utilisateur (user-centric). Basé sur ce nouveau paradigme, nous introduisons de nouveaux mécanismes qui répondent aux limitations des architectures SOA dans les domaines de la composition de services et de la gestion de processus métiers (BPM pour Business Process Management). Ce travail est validé à travers une implémentation et plusieurs démonstrations/expérimentations. / The last decade has attracted lot of research work in service-oriented computing (soc), giving raise to standardized architectures, protocols, and technologies that enable developers to easily expose and reuse services. however, these technologies do not fully consider the users as potential actors in the creation of services based on existing ones, as advocated in web 2.0 paradigm. in this thesis, after a deep investigation of soc and its intrinsic soa paradigm, we propose a new approach based on widgets. we propose the widget-oriented architecture (woa); a new paradigm to enable a user-centric service reuse. in addition, we introduce new innovative mechanisms based on the woa paradigm to overcome current limitations of soa in service composition and business process management fields. this new paradigm, along with the innovative architecture and mechanisms introduced, has been validated through implementation and testing.

Cette thèse a pour objectif de traiter la problématique de conciliation entre stabilité et changement dans le cadre d’un projet d’intégration d’un système d’information. Une grande partie de la production ERP se focalise sur le processus de changement à mettre en place sans pour autant prêter attention à concilier ce changement avec la stabilité des éléments invariants constituant le noyau dur de l’organisation. A travers une étude longitudinale menée en profondeur dans un établissement d’enseignement supérieur sur deux phases de mise en place d’un système ERP (implémentation et post-implémentation) entre octobre 2009 et juillet 2014, nous mettons en évidence sept facteurs de conciliation qui sont l’établissement et le partage d’une vision organisationnelle, le soutien continu de la direction générale, le pilotage du projet de changement, l’instauration de la confiance, la communication bidirectionnelle, la formation et l’apprentissage organisationnel. Ces résultats soulignent l’importance pour les initiateurs du changement de considérer les deux concepts de stabilité et de changement comme étant interdépendants et de trouver un équilibre dynamique entre les opportunités de changement et la nécessité de stabiliser à la fois les facteurs organisationnels et acteurs techniques dans le cadre d’un processus de changement. / This thesis aims to address the issue of conciliation between stability and change as part of an integration project of an information system. Much of the research written on ERP systems focuses on the process of change to develop without paying attention to balance this change with the stability of invariant elements constituting the essence of the organization.Through an in-depth longitudinal study in a higher education institution on two implementation phases of an ERP system (implementation and post-implementation) from October 2009 to July 2014, we highlighted seven conciliation factors, which are the establishment and sharing of an organizational vision, continued support from senior management, steering the project of change, building trust, using a two way communication channels, offering purposeful training, and setting a culture of organizational learning.These findings underscore the importance for change managers to consider the two concepts of stability and change as interrelated and to find a dynamic balance between the opportunities for change and the need to stabilize both organizational and

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal.

Les codes correcteurs d’effacements sont aujourd’hui une solution bien connueutilisée pour fiabiliser les protocoles de communication ou le stockage distribué desdonnées. La plupart de ces codes sont basés sur l’arithmétique des corps finis, définissantl’addition et la multiplication sur un ensemble fini d’éléments, nécessitantsouvent des opérations complexes à réaliser. En raison de besoins en performancetoujours plus importants, ces codes ont fait l’objet de nombreuses recherches dans lebut d’obtenir de meilleures vitesses d’exécution, tout en ayant la meilleure capacitéde correction possible. Nous proposons une méthode permettant de transformer les éléments de certains corps finis en éléments d’un anneau afin d’y effectuer toutes les opérations dans lebut de simplifier à la fois le processus de codage et de décodage des codes correcteursd’effacements, sans aucun compromis sur les capacités de correction. Nous présentonségalement une technique de réordonnancement des opérations, permettant deréduire davantage le nombre d’opérations nécessaires au codage grâce à certainespropriétés propres aux anneaux utilisés. Enfin, nous analysons les performances decette méthode sur plusieurs architectures matérielles, et détaillons une implémentationsimple, basée uniquement sur des instructions xor et s’adaptant beaucoupplus efficacement que les autres implémentations à un environnement d’exécutionmassivement parallèle. / Erasure codes are widely used to cope with failures for nearly all of today’snetworks communications and storage systems. Most of these codes are based onfinite field arithmetic, defining the addition and the multiplication over a set offinite elements. These operations can be very complex to perform. As a matter offact, codes performance improvements are still an up to date topic considering thecurrent data growth explosion. We propose a method to transform the elements of some finite fields into ring elements and perform the operations in this ring to simplify both coding and decoding of erasure codes, without any threshold on the correction capacities.We also present a scheduling technique allowing to reduce the number of operations thanks to some particular properties of the ring structure. Finally, we analyse the performance ofsuch a method considering several hardware architectures and detail a simple implementation, using only xor operations, fully scalable over a multicore environment.

L’implémentation d’intention est une stratégie de planification de l’action qui se révèle être plus efficace que l’intention d’agir pour permettre d’atteindre des buts désirés. À la différence d’une intention qui ne spécifie que les comportements qu’on souhaite réaliser (“j’ai l’intention de faire Y”), la stratégie d’implémentation d’intention consiste à créer un lien entre une situation et un comportement dirigé vers l’atteinte du but dans un format langagier en “si…alors” (“si je rencontre la situation X, alors je réaliserai le comportement Y”). L’efficacité de cette stratégie réside dans sa capacité à créer des habitudes de façon instantanée, habitudes dont la littérature révèle la force à persister dans le temps. Dans ce travail de thèse, nous examinons l’efficacité de cette stratégie pour faire face à deux obstacles à la persistance des comportements que sont les coûts associés à la réalisation du comportement et les changements situationnels. Dans trois études reposant sur un paradigme de décision, nous avons fait varier le coût associé à la réalisation du comportement. Les résultats, bien que ténus, suggèrent que former une implémentation d’intention permet de maintenir la réalisation des comportements plus longtemps que de ne former qu’une intention. Dans trois études reposant sur une tâche de catégorisation, nous avons présenté des situations : similaires versus non-similaires à la situation X spécifiée dans l’implémentation d’intention, et affordant le comportement Y spécifié dans cette stratégie versus un autre comportement. Les résultats suggèrent qu’en comparaison de l’intention, l’implémentation d’intention permet davantage de généraliser la réalisation des comportements, c’est-à-dire que le comportement semble être réalisé dans d’autres situations que celle spécifiée. La généralisation ne s’observe toutefois pas pour tout type de situation, mais uniquement lorsque ces situations sont fortement physiquement similaires à la situation spécifiée et affordent le comportement spécifié. Nous discuterons de l’apport de différentes théories de psychologie sociale permettant de comprendre les effets observés. / Implementation intention is a planning strategy that promotes goal achievement beyond goal intentions. While goal intentions merely specify a desired goal-directed behavior (“I intend to do Y”), implementation intentions link a goal-relevant situation to a goal-directed behavior in an “if, then” format (“If I encounter the situation X, then I’ll perform the behavior Y”). The efficacy of this strategy to promote goal achievement originates from its ability to create instant habits, habits for which the literature reveal the strength to persist over time. In this work, we examine the efficacy of this strategy to shield ongoing goal pursuit from the cost of behaviors and the situational changes. In three studies using a decision paradigm, we varied the cost associated to the realization of the behavior. The results, even weak, suggest that forming an implementation intention leads to maintaining a response for a longer period of time than goal intentions. In three studies using a categorization paradigm, we presented situations: physically similar versus non-similar to the situation X specified in the implementation intention; that afforded the behavior Y specified in the plan versus a different behavior. The results suggest that, compared to forming goal intentions, forming implementation intentions leads to a generalization, meaning that the behavior is realized in other situations than the specified one. However, a generalization does not occur for all kind of situation but only when situations that are strongly physically similar to the specified one and that afford the critical behavior are encountered. We discuss the contribution of some social psychology theories to understand the observed results.

Dans ce mémoire, la conception de systèmes numériques complexes, et notamment de systèmes embarqués critiques, est abordée au travers d'une méthodologie allant de la modélisation formelle à l'implantation sur FPGA : la méthodologie HILECOP. Celle-ci offre au concepteur la possibilité de représenter dans un modèle formel d'une part l'architecture du système selon un assemblage de composants, et d'autre part le comportement de ces composants et leur composition par réseaux de Petri temporels. Le modèle décrit est ensuite transformé automatiquement en un modèle implémentable (en langage VHDL) pour son exécution sur la cible matérielle, mais également en un modèle analysable pour permettre l'analyse formelle des propriétés du système. Les deux objectifs principaux des travaux présentés sont l'étude de la conformité d'un point de vue comportemental entre les différents modèles utilisés dans la méthodologie (modèle conçu, modèle implémentable et modèle analysable), ainsi que l'intégration d'un mécanisme de gestion efficace des exceptions. Ces travaux ont permis de fiabiliser l'implémentation du modèle et d'obtenir un modèle analysable plus pertinent par rapport au modèle conçu, dans le sens où il garantit l'inclusion du comportement du modèle conçu dans celui du modèle analysé et réduit, dans une certaine mesure, le risque d'explosion combinatoire. Les limites de la pertinence des résultats obtenus par analyse formelle sont de plus désormais connues. En ce qui concerne la gestion des exceptions, principalement étudiée au niveau comportemental, le mécanisme de la macro-place a été retenu et adapté aux contraintes fonctionnelles et non-fonctionnelles des systèmes embarqués critiques. L'apport de la macro-place et la conservation de la conformité ont pu être validés sur des modèles industriels relatifs à l'architecture numérique de neuroprothèses. / In this thesis, the conception of digital complex systems, and notably of critical embedded systems, is discussed through a methodology which goes from formal modeling to the implementation on a FPGA: the HILECOP methodology. This methodology offers, to a designer, the possibility of representing in a formal model from one hand the digital architecture thanks to some components' assembly, and on the other hand the behavior of these components and their composition, thanks to time Petri nets. The described model is then automatically transformed in an implementable model (in the VHDL language) for its execution on a hardware target, but also in an analyzable model to allow some formal analysis on system properties to be performed. The two main goals of the presented work are the study of the behavioral conformity between the different models used in the methodology (designed model, implementable model and analyzable model) and the integration of an efficient mechanism for handling exception. These works allow to have a more reliable implementation of the model and to obtain a more relevant analyzable model. It is now possible to guarantee that the behavior of the designed model is included in the analyzed one. The risk of combinatorial explosion has also been reduced to some extent. The limits of the relevance of the obtained results thanks to the formal analysis are henceforth known. As for exception handling, it has been mostly studied on the behavioral level. The mechanism of the macroplace has been chosen and adapted to meet the functional and non-functional constraints of critical embedded systems. The benefits given by the use of the macroplace and the preservation of the conformity between the models have been validated on industrial models relative to the digital architecture of neuroprosthetics.

Les travaux de cette thèse ont porté sur le développement d’une nouvelle loi de comportement hyperélastique, isotrope et incompressible permettant de modéliser les matériaux caoutchouteux en grande déformation et en grand déplacement. Cette nouvelle loi combine une approche moléculaire et une approche phénoménologique, ce qui permet de couvrir un spectre large de sollicitations. Elle est constituée par la superposition de quatre termes :– un terme lié à la contrainte d’entrelacement des chaînes macromoléculaires observée avec le phénomène de cristallisation. Ce terme est modélisé par une fonction logarithmique provenant de l’énergie phénoménologique de Gent-Thomas,– un terme lié à l’hypothèse des déformations affines observées avec le raidissement final de certaines chaînes macromoléculaires des élastomères. Ce terme provient de la probabilité non-Gaussienne de Langevin. Nous l‘avons modélisé par la loi moléculaire 8-chaines d’Arruda-Boyce avec un aménagement qui consiste à utiliser une approximation originale de la fonction de Langevin inverse,– un terme lié à la contrainte des chaînes ayant des déformations non-affines. Ce terme est modélisé par une fonction Gaussienne sous forme intégrale. Il s’agit de l’une des contributions originale de ce travail de thèse,– une partie volumique standard permettant de prendre en compte l’incompressibilité du matériau.Les deux principales originalités de la thèse concernent donc l’élaboration d’une approximation inédite de la fonction de Langevin inverse ainsi que la construction d’une nouvelle densité d’énergie hyperélastique isotrope, incompressible et hybride.Afin d’étudier la pertinence du modèle proposé, des comparaisons ont été réalisées avec plusieurs jeux de données expérimentales disponibles dans la littérature. Ces comparaisons ayant été couronnées de succès, l’implémentation numérique du modèle que nous proposons a été effectuée dans le code universitaire aux éléments finis FER. / This thesis concerns the development of a new incompressible isotropic hyperelastic behavior law allowing the modeling of rubber materials with large strain and large displacement. This new law mixes a molecular approach with a phenomenological one and therefore covers a wide range of loading. It has been built by a sum over four terms:– a term related to the interleaving macromolecular chains observed with the crystallization phenomenon. This term is modeled by a logarithmic function coming from the phenomenological energy of Gent-Thomas,– a term related to the assumption of affine deformations observed with the final stiffening of a part of macromolecular elastomeric chains. This term comes from the non Gaussian probability of Langevin. We have modeled it by the 8-chains molecular law of Arruda-Boyce but with an original approximation of the inverse of the Langevin function,– a term related to the stress occurring with non affine strains. This term has been modeled by a Gaussian function adopting an integral form. This is one of the original contribution of this thesis work,– a classical volumetric term taking into account the incompressibility of the material.The two main originalities of the thesis are therefore the introduction of a new approximation of the inverse of the Langevin function and the development of a new hyperelastic energy density which is isotropic, incompressible and hybrid.In order to study the efficiency of the proposed model, comparisons were made with several experimental data available in the literature. These comparisons have been successful and we have implemented our model in the university finite element software FER.

Les patrons de conception répertorient les bonnes pratiques de la programmation par ob- jets. Les solutions des patrons, appelées motifs, apparaissent avec une densité croissante dans les bibliothèques et cadriciels. Les effets de cette densité sur la modularité, l'adaptation et la réutilisation des programmes sont mal connus. Or la dispersion et le mélange du code lié à l'im- plémentation des motifs rendent difficile l'étude de ces effets. La programmation par aspects est une technique nouvelle dédiée au traitement de ces deux symptômes. En modularisant les motifs dans des aspects, nous pouvons analyser de manière plus fine les problèmes d'implémentation et de composition des motifs liés à leur densité. Cette thèse aborde les problèmes de la densité, de l'implémentation et de la composition des motifs avec AspectJ, une extension de Java pour les aspects. À partir du cas concret du cadri- ciel JHotDraw, nous montrons qu'une forte densité est un facteur de risque sur la modularité et l'adaptation d'un programme objet. Nous présentons la transformation des motifs à l'aide des aspects et nous décrivons les idiomes d'AspectJ supportant leur modularisation. Nous exami- nons la modularité et la réutilisation des compositions de motifs définies avec les aspects. Nous proposons la résolution des interactions entre motifs à l'aide du langage de coupe des aspects. Enfin nous développons une méthode de programmation avec AspectJ basée sur l'usage conjoint des classes et des aspects. Ces travaux nous permettent de conclure sur l'intérêt des aspects comme moyen d'étude et de traitement de la densité des motifs. Ils ouvrent également des pistes pour l'amélioration des langages d'aspects.

L'implémentation, selon des critères de hautes performances, d'un protocole de communication est une tache complexe. De nombreux facteurs tels que l'environnement d'implantation, les techniques d'implémentation, l'efficacité du noyau système et les structures de données sont généralement aussi importants que les spécifications du protocole. Nous avons réalisé une implémentation hautes performances du protocole de transport osi classe 4, dans un environnement a base de transputers (microprocesseur risc d'inmos). Nous avons montre comment le transputer, associe au langage Occam, pouvait fournir un environnement d'implantation performant. L'implémentation a été conçue pour supprimer les transferts de données (en utilisant des structures de données dédiées) et minimiser les accès aux taches systèmes (des primitives systèmes ont ete développées pour optimiser le temps de gestion de la mémoire et des temporisations). L'étude de performances menée sur cette implémentation a montre qu'il était possible d'atteindre des débits voisins de 5000 tsdu par seconde, et nous a permis de définir l'architecture d'une plate-forme configurable pour l'évaluation des protocoles de niveau intermédiaire, et pour l'implantation hautes performances de ces protocoles. Ces travaux se terminent par l'analyse des fonctionnalités du protocole et des techniques d'implémentation mises au point, pour essayer d'apporter des éléments de réponse au probleme de l'avenir des protocoles de transport classiques (osi tp4 et tcp) devant les besoins définis par les domaines d'application nouveaux