Ce mémoire traite de stratégies d'assemblage et de désassemblage dans un contexte de maintenance et de valorisation de produits en fin de cycle de vie. L'objectif visé est de proposer une stratégie de désassemblage permettant d'effectuer rapidement et économiquement les actions de maintenance ou de récupérer efficacement des composants d'un produit. Le mémoire analyse les principales stratégies de désassemblage proposées dans la littérature. Les méthodes de résolution du désassemblage sont étudiées en considérant, les besoins, les types de produits et le niveau de désassemblage. Parmi les méthodes examinées, on retrouve les réseaux de pétri, les algorithmes génétiques et des algorithmes basés sur la géométrie des composants. Ces démarches se traduisent en outils d'aide à décision pour le développement et la mise en œuvre de stratégies de désassemblage. Finalement, ces différentes stratégies étudiées sont classées et comparées en fonction de leurs capacités, de leurs limites, et des différents objectifs.

L’intérêt envers le développement durable s’est accru dans les dernières décennies avec la découverte de sérieux défis environnementaux. D’autre part, des recherches récentes dans le domaine du béton projeté ont contribué à la transition vers des mélanges permettant de répondre à ces nouveaux défis. Dans ce contexte, ce projet de recherche vise à développer et étudier plusieurs mélanges de béton projeté à valeurs environnementales ajoutées afin d’offrir à l’industrie des alternatives aux mélanges conventionnels. D’abord, des mélanges à haute efficience contenant des agents rhéologiques ont été évalués afin de réduire les pertes liées au rebond en béton projeté. L’aluminosilicate de magnésium (ASM) a réduit le rebond d’environ 10%, mais a généré des problèmes de résistance et de durabilité liés aux rapports E/L élevés. L’ajout de superplastifiant a augmenté le rebond de plus de 20% puisqu’il ne permettait pas d’augmenter la teneur en eau du béton sans affecter sa stabilité. La gomme de diutane n’a pas semblé être activée dans la projection par voie sèche. Des mélanges préhumidifiés ont été testés afin d’améliorer l’effet des agents, mais le rebond a été augmenté avec cette technique. Par ailleurs, des mélanges contenant des matériaux de postconsommation difficilement recyclables ont été évalués dans le but de minimiser les besoins en ressources naturelles. L’utilisation de granulats de plastique et de caoutchouc en remplacement de 20% du volume granulaire a diminué la résistance en compression du béton de 40% et 60%, respectivement, mais leur utilisation dans l’industrie est possible. L’élasticité et l’électricité statique des particules de caoutchouc a entraîné une diminution significative de la génération de poussière de projection. Le module d’élasticité faible et le caractère ductile du plastique et du caoutchouc donne au béton projeté un potentiel d’absorption d’énergie élevé qui pourrait être multiplié en présence de fibres. Finalement, le potentiel des mélanges développés a été évalué à l’aide d’une analyse économique et environnementale développée à partir de paramètres d’influence en béton projeté, des propriétés des mélanges et des coûts unitaires. Le mélange avec ASM s’est particulièrement démarqué avec une réduction des coûts conventionnels de 7% et une réduction des émissions de CO₂ de 26%. / Interest in sustainable development has increased in recent decades with the discovery of serious environmental challenges. On the other hand, recent research in the field of shotcrete has contributed to the transition to mixtures that better meet these new challenges. In this context, this research project aims to develop and study several mixtures of shotcrete with environmental value added in order to offer alternatives to conventional mixtures to the industry. First, high efficiency mixtures containing rheological agents were evaluated to reduce the losses associated with the rebound of shotcrete. Magnesium aluminosilicate (ASM) reduced the rebound by about 10%, but resulted in problems of strength and durability related to high W/B ratios. The superplasticizer increased the rebound by more than 20% because it was impossible to increase the concrete’s water content without affecting its stability. Diutan gum did not seem to be activated in the dry-mix shotcrete process. The mixtures were then tested with predampening to improve the effect of the agents, but the rebound was increased with this technique. In addition, mixtures containing post-consumer materials hardly recycled have been evaluated in order to minimize the need for natural resources. The use of 20% plastic and rubber aggregates in substitution of the aggregate volume resulted in a loss of the concrete’s compressive strength of 40% and 60%, respectively, but their use in industry is possible. The elasticity and static electricity of the rubber particles resulted in a significant decrease in dust emission. The low modulus of elasticity and the ductile properties of the plastic and the rubber give shotcrete a high energy absorption potential which could be multiplied in the presence of fibers. Finally, the potential of the mixtures was evaluated with an economic and environmental analysis based on shotcrete influence parameters, mixtures properties and unit costs. The performance of the mixture containing ASM was particularly good with a reduction in conventional costs of 7% and a reduction of CO₂ emissions of 26%.

Alors que l'informatique est résolument tournée vers l'avenir, cette thèse se concentre sur le passé ; non pas par nostalgie mais plutôt parce que le futur des logiciels âgés est une question d'actualité. Plus particulièrement trois thèmes sont abordés : la maintenance, la ré-ingénierie et la programmation globale. L'objectif de cette étude est d'explorer l'intersection entre la ré-ingénierie et la programmation globale, domaine que nous avons baptisé ré-ingénierie globale. L'idée principale est de réutiliser des concepts et des techniques de programmation détaillée. En fait nous proposons de définir la programmation globale en distinguant 4 aspects du logiciel : l'architecture, la manufacture, la variation et l'évolution. Un modèle abstrait basé sur des concepts ensemblistes est proposé pour modéliser les différentes entités de programmation globale. La technologie relative à ce domaine est ensuite décrite en considérant aussi bien l'état de l'art que l'état de la pratique. La différence entre ces deux aspects souligne l'intérêt de la ré-ingénierie globale. A titre d'illustration, nous étudions le cas des préprocesseurs en tant qu'outils de programmation globale. Ces outils de bas niveau provenant des années 70 sont traditionnellement utilisés pour décrire des familles de programmes. Pour faciliter la compréhension de tels artefacts nous proposons d'utiliser des techniques comme l'évaluation partielle, l'analyse inter-procédurale de flot de données ou encore le découpage. Ces techniques, définies de manière rigoureuse, s'appuient sur la sémantique dénotationnelle du préprocesseur utilisé. Un prototype montrant leur utilité a été réalisé. Il prouve qu'une approche basée sur des fondements théoriques issus de la programmation détaillée est applicable pour résoudre des problèmes pratiques de programmation globale.

Le monde des affaires d’aujourd’hui est très dynamique, donc les organisations doivent rapidement adapter leurs politiques commerciales afin de suivre les évolutions du marché. Ces ajustements doivent être propagés à la logique métier présente dans les systèmes d’informations des organisations, qui sont souvent des applications héritées non conçues pour représenter et opérationnaliser la logique métier indépendamment des aspects techniques du langage de programmation utilisé. Par conséquent, la logique métier intégrée au sein du système doit être identifiée et comprise avant d’être modifiée. Malheureusement, ces activités ralentissent la mise à jour du système vers de nouvelles exigences établies dans les politiques de l’organisation et menacent la cohérence des activités commerciales de celle-ci. Afin de simplifier ces activités, nous offrons une approche basée sur les modèles pour extraire et représenter la logique métier, exprimée comme un ensemble de règles de gestion, à partir des parties comportementales et structurelles des systèmes d’information. Nous mettons en œuvre cette approche pour les systèmes écrits en Java et COBOL ainsi que pour les systèmes de gestion de bases de données relationnelles. L’approche proposée est basée sur l’Ingénierie Dirigée par les Modèles, qui fournit une solution générique et modulaire adaptable à différents langages en offrant une représentation abstraite et homogène du système. / Today’s business world is very dynamic and organizations have to quickly adjust their internal policies to follow the market changes. Such adjustments must be propagated to the business logic embedded in the organization’s information systems, that are often legacy applications not designed to represent and operationalize the business logic independently from the technical aspects of the programming language employed. Consequently, the business logic buried in the system must be discovered and understood before being modified. Unfortunately, such activities slow down the modification of the system to new requirements settled in the organization policies and threaten the consistency and coherency of the organization business. In order to simplify these activities, we provide amodel-based approach to extract and represent the business logic, expressed as a set of business rules, from the behavioral and structural parts of information systems. We implement such approach for Java, COBOL and relational database management systems. The proposed approach is based on Model Driven Engineering,that provides a generic and modular solution adaptable to different languages by offering an abstract and homogeneous representation of the system.

L’incidence des maladies cardiovasculaires d’origine athéromateuse demeure un problème majeur en santé publique et malgré le développement de techniques curatives endovasculaires, la chirurgie demeure nécessaire chez de nombreux patients. Le remplacement vasculaire se fait par une veine autologue qui reste le « gold standard » ou, lorsque les patients n’ont pas le capital vasculaire suffisant, par une prothèse. Actuellement, si les techniques utilisant des prothèses synthétiques sont satisfaisantes pour le remplacement d’artères de gros calibre, celui des artères de petit calibre demeure toujours un défi du fait du caractère thrombogène des biomatériaux utilisés et de leurs mauvaises propriétés mécaniques. Depuis quelques années, le concept d’ingénierie tissulaire a émergé et évolué. Il pourrait permettre de proposer de nouveaux types de substituts vasculaires hybrides et/ou biologiques, grâce en particulier à l’utilisation de cellules souches et de leurs progéniteurs, ouvrant d’intéressantes perspectives dans le domaine de l’ingénierie vasculaire. Le but de ce travail a été d’obtenir de manière fiable et reproductible des cellules à phénotype endothélial mature à partir de progéniteurs endothéliaux issus de moelle osseuse et sang périphérique humains et de définir leurs réponses dans des conditions proches de celles observées dans un vaisseau natif. Des cellules (PDECs : Progenitor Derived Endothelial Cells) ont pu être amplifiées à partir de progéniteurs, elles présentent les marqueurs membranaires classiquement utilisés pour définir des cellules endothéliales matures. Elles sont capables, sur différents revêtements utilisés cliniquement tels le collagène de type I et la colle de fibrine ainsi que sur un revêtement plus expérimental (Multicouches de PolyElectrolytes), de former une monocouche confluente. Ces PDECs résistent à des contraintes mécaniques de cisaillement de type artériel et l’analyse de gènes et protéines impliqués dans la biologie de l’endothélium a montré qu’elles répondent à ces stimulations par l’expression d’un phénotype en lien avec une activité antithrombogène. De plus, les travaux préliminaires réalisés sur ces PDECs cocultivés avec des progéniteurs ostéoblastiques, ouvrent d’intéressantes perspectives concernant leur utilisation dans le cadre de l’ingénierie du tissu osseux vascularisé. / The incidence of atherosclerotic arterial disease is still a major public health problem and despite endovascular surgery therapies, surgical treatment is necessary for many patients. Vascular bypass is performed with an autologous vein which remains the gold standard, or when patients do not have appropriate blood vessels to be used as replacement, with a synthetic prosthesis. Nowadays, synthetic vascular grafts have been successfully used in the treatment of the pathology of large arteries, but the replacement of the smaller sized arteries is still a challenge because synthetic vascular grafts are known to be highly thrombogenic and have poor mechanical properties. Recently, the tissue engineering concept has emerged and advances. It can allow to propose development of new hybrid or biologic vascular substitutes, using stem cells and progenitor cells, holding great promise for vascular tissue engineering. The aim of the present study was to obtain reliably and reproducibly, cells with mature endothelial phenotype from endothelial progenitor cells isolated from human bone marrow and peripheral blood and investigate cell response in conditions similar to those observed in a native vessel. We were able to expand cells (PDECs: Progenitor Derived Endothelial Cells) from progenitors which exhibit markers conventionally used to define mature endothelial cells. They were able, on scaffolds currently used in clinic like collagen type I and fibrin glue or on more experimental scaffold (Polyelectrolytes multilayers films), to form a confluent monolayer. These PDECs are able to withstand arterial shear stress and analysis of genes and proteins implicated in endothelium biology shows that these cells respond to shear stress stimulation with a phenotype connected to an anti-thrombogenic activity. Moreover, preliminary studies using co-cultures of PDECs and osteoblastic progenitors, open interesting perspectives concerning PDECs to be used in the field of vascularized bone tissue engineering.

De nombreux outils existent afin de faire face à la complexité des logiciels et des projets de développement logiciel. Leur utilisation est cependant à l'origine de tâches manuelles répétitives, sources d'erreurs et coûteuses en temps. L'automatisation de ces tâches permet de gagner en productivité. Mais la difficulté est de déterminer quand une automatisation de tâche manuelle répétitive doit être réutilisée, ainsi que de créer des automatisations réutilisables à travers leurs différents cas d'utilisation. Nous proposons donc une approche outillée pilotant la réutilisation des automatisations de tâches manuelles répétitives par les processus de développement logiciel, où un processus de développement logiciel décrit les étapes à réaliser pour mener à bien un projet de développement logiciel. Cette approche consiste à capitaliser sur un ensemble de processus et à réutiliser des processus de cet ensemble en fonction des exigences des projets, indépendamment du formalisme utilisé pour définir les processus. Des automatisations de tâches manuelles répétitives sont liées aux étapes des processus qu'elles automatisent. Ce lien permet de savoir quelles automatisations utiliser pour un projet donné et quand. Il permet également d'expliciter les différents cas d'utilisation de chaque automatisation. Cette information est utilisée afin de créer des automatisations réutilisables à travers leurs différents cas d'utilisation. L'approche ainsi que l'outillage associé ont été appliqués sur une famille de processus industriels de développement Java ainsi que sur une famille de processus consistant à définir et outiller un langage de modélisation. / Many tools have been developped in order to manage the complexity of the software and of the software development projects. However, using these tools is the source of manual recurrent tasks that are error prone and time consuming. Automating these tasks enables to improve the productivity. But the difficulties are i) to determine when the automation of a manual recurrent task must be used, and ii) to create automations that are reusable across their different use cases. We propose a tool-supported approach that drives the reuse of the automations of the manual recurrent tasks by software processes. A software process defines the sequence of steps to perform in order to realize a software engineering project. This approche consists of capitalizing on a set of software processes and of reusing processes from this set according to projects' requirements and independently of the formalism used to define the processes. The automations of the manual recurrent tasks are bound to the processes' steps they automate. This binding enables to know which automations to reuse for a specific project and when to reuse these automations during the project. This binding also enables to explicit the different use cases of each automation. We use this information to create automations that are reusable across their different use cases. We applied this tool-supported approach on a family of Java development processes coming from the industry as well as on a family of processes consisting of designing and implementing a modeling language.

La sécurité est une préoccupation essentielle pour tout système d’information. Propriétés de sécurité telles que la confidentialité, l’intégrité et la disponibilité doivent être appliquées afin de rendre les systèmes sures. Dans les environnements complexes, où les systèmes d’information sont composés par un certain nombre de sous-systèmes hétérogènes, chaque sous-système joue un rôle clé dans la sécurité globale du système. Dans le cas spécifique du contrôle d’accès, politiques de contrôle d’accès peuvent être trouvées dans différents composants (bases de données, réseaux, etc.), ces derniers étant sensés travailler ensemble. Néanmoins , puisque la plupart de ces politiques ont été mises en œuvre manuellement et / ou évolué séparément ils deviennent facilement incompatibles. Dans ce contexte, la découverte et compréhension des politiques de sécurité appliquées par le système d’information devient une nécessité critique. Le principal défi à résoudre est de combler le fossé entre les caractéristiques de sécurité dépendant du fournisseur et une représentation de plus haut niveau que exprime ces politiques d’une manière faisant abstraction des spécificités de composants concrètes, et donc, plus facile à comprendre et à raisonner avec. Cette représentation de haut niveau nous permettrait également de mettre en œuvre tous les opérations de évolution / refactoring / manipulation sur les politiques de sécurité d’une manière réutilisable. Dans ce travail, nous proposons un tel mécanisme de rétro-ingénierie et d’intégration des politiques de contrôle d’accès. Nous comptons sur les technologies de l’ingénierie dirigée par les modèles pour atteindre cet objectif . / Security is a critical concern for any information system. Security properties such as confidentiality, integrity and availability need to be enforced in order to make systems safe. In complex environments, where information systems are composed by a number of heterogeneous subsystems, each subsystem plays a key role in the global system security. For the specific case of access-control, access-control policies may be found in several components (databases, networksand applications) all, supposedly, working together. Nevertheless since most times these policies have been manually implemented and/or evolved separately they easily become inconsistent. In this context, discovering and understanding which security policies are actually being enforced by the information system comes out as a critical necessity. The main challenge to solve is bridging the gap between the vendor-dependent security features and a higher-level representation that express these policies in a way that abstracts from the specificities of concrete system components, and thus, it´s easier to understand and reason with. This high-level representation would also allow us to implement all evolution/refactoring/manipulation operations on the security policies in a reusable way. In this work we propose such a reverse engineering and integration mechanism for access-control policies. We rely on model-driven technologies to achieve this goal.

Dans cette thèse, nous nous intéressons au problème de l'interaction des processus multiples nécessaires à la réalisation d'un projet d'ingénierie.<br />L'approche retenue repose sur l'idée qu'il existe une solution générique aux problèmes d'ingénierie. Notre proposition est de formaliser cette solution pour permettre de l'adapter ensuite à des domaines d'activités et à des projets précis par des opérations de transformation de modèles. Pour cela, nous nous reposons sur les concepts de l'IDM et les appliquons dans le cadre de l'ingénierie système. Les étapes de notre proposition sont :<br />• la formalisation d'un processus générique à partir d'un standard de l'ingénierie système (EIA-632) sous la forme d'un modèle SPEM/UML,<br />• sa spécialisation pour l'adapter au contexte d'application d'un projet,<br />• son enrichissement pour en préparer l'exploitation et la conduite. La formalisation des processus est la base d'une démarche nouvelle d'application de l'ingénierie système.<br />Cette démarche assure une cohérence globale et locale dans l'organisation et le déroulement des projets. En se reposant sur des règles de bonnes pratiques issues des standards internationaux elle s'assure d'un comportement global cohérent du projet. En laissant les acteurs du projet libres d'adapter leurs pratiques à leur environnement de travail elle permet à chacun de travailler de manière optimale avec l'assurance que les processus spécifiques qu'il emploie s'insèrent au mieux dans le projet.<br />La démarche que nous proposons répond à la problématique d'application concrète des processus d'ingénierie système posée par l'industrie et, plus généralement, à celle de l'amélioration continue des méthodes et des produits.

De nombreux outils existent afin de faire face à la complexité des logiciels et des projets de développement logiciel. Leur utilisation est cependant à l'origine de tâches manuelles répétitives, sources d'erreurs et coûteuses en temps. L'automatisation de ces tâches permet de gagner en productivité. Mais la difficulté est de déterminer quand une automatisation de tâche manuelle répétitive doit être réutilisée, ainsi que de créer des automatisations réutilisables à travers leurs différents cas d'utilisation. Nous proposons donc une approche outillée pilotant la réutilisation des automatisations de tâches manuelles répétitives par les processus de développement logiciel, où un processus de développement logiciel décrit les étapes à réaliser pour mener à bien un projet de développement logiciel. Cette approche consiste à capitaliser sur un ensemble de processus et à réutiliser des processus de cet ensemble en fonction des exigences des projets, indépendamment du formalisme utilisé pour définir les processus. Des automatisations de tâches manuelles répétitives sont liées aux étapes des processus qu'elles automatisent. Ce lien permet de savoir quelles automatisations utiliser pour un projet donné et quand. Il permet également d'expliciter les différents cas d'utilisation de chaque automatisation. Cette information est utilisée afin de créer des automatisations réutilisables à travers leurs différents cas d'utilisation. L'approche ainsi que l'outillage associé ont été appliqués sur une famille de processus industriels de développement Java ainsi que sur une famille de processus consistant à définir et outiller un langage de modélisation.

Le travail présenté dans ce mémoire s'inscrit dans le domaine des Environnements Informatiques pour l'Apprentissage Humain (EIAH), plus précisément celui de l'ingénierie des EIAH dans le cadre d'une approche de type " Learning Design ". Cette approche propose de construire des EIAH à partir de la description formelle d'une activité d'apprentissage. Elle suppose l'existence d'un langage de modélisation communément appelé EML (Educational Modelling Language) et d'un moteur capable d'interpréter ce langage. LDL est le langage sur lequel nous avons travaillé, en relation avec l'infrastructure LDI intégrant un moteur d'interprétation de LDL. L'EML est utilisé pour produire un scénario, modèle formel d'une activité d'apprentissage. L'EIAH servant de support au déroulement de l'activité décrite dans le scénario est alors construit de manière semi-automatique au sein de l'infrastructure associée au langage selon le processus suivant : le scénario est créé lors d'une phase de conception ; il est instancié et déployé sur une plate-forme de services lors d'une phase d'opérationnalisation (choix des participants à l'activité, affectation des rôles, choix des ressources et services) ; le scénario instancié et déployé est pris en charge par le moteur qui va l'interpréter pour en assurer l'exécution. Dans ce cadre, l'activité se déroule conformément à ce qui a été spécifié dans le scénario. Or il est impossible de prévoir par avance tout ce qui peut se produire dans une activité, les activités étant par nature imprévisibles. Des situations non prévues peuvent survenir et conduire à des perturbations dans l'activité, voire à des blocages. Il devient alors primordial de fournir les moyens de débloquer la situation. L'enseignant peut par ailleurs vouloir exploiter une situation ou une opportunité en modifiant l'activité en cours d'exécution. C'est le problème qui est traité dans cette thèse : il s'agit de fournir les moyens d'adapter une activité " à la volée ", c'est-à-dire pendant son exécution, de manière à pouvoir gérer une situation non prévue et poursuivre l'activité. La proposition que nous formulons s'appuie sur la différentiation entre les données convoquées dans chacune des trois phases du processus de construction de l'EIAH : la conception, l'opérationnalisation et l'exécution. Nous exhibons un modèle pour chacune de ces phases, qui organise ces données et les positionne les unes par rapport aux autres. Adapter une activité " à la volée " revient alors à modifier ces modèles en fonction des situations à traiter. Certaines nécessitent la modification d'un seul de ses modèles, d'autres conduisent à propager les modifications d'un modèle vers un autre. Nous considérons l'adaptation " à la volée " comme une activité à part entière menée, en parallèle de l'activité d'apprentissage, par un superviseur humain qui dispose d'un environnement adéquat pour observer l'activité, détecter les éventuels problèmes et y remédier par intervention dans l'activité d'apprentissage en modifiant les modèles qui la spécifient. Pour développer les outils support à la modification et les intégrer dans l'infrastructure LDI, nous avons eu recours à des techniques de l'Ingénierie Dirigée par les Modèles. Les modèles manipulés dans ces outils en sont ainsi des données à part entière : les outils réalisés n'en offrent ainsi que plus de flexibilité et d'abstraction. Les modèles sont alors exploités comme des leviers pour atteindre et modifier les données ciblées par l'adaptation.