La conception d'un système complexe est une étape cruciale. Ce constat est particulièrement vrai dans le cadre de la conception de systèmes mécatroniques, multi technologies et nécessitant une approche pluridisciplinaire et collaborative. Nous nous plaçons ici dans le cadre de l'Ingénierie Système (IS) qui se focalise sur la définition des besoins et des exigences, la recherche de concepts, puis la définition d'architectures fonctionnelles et organiques d'un système. L'IS promeut pour cela un certain nombre de concepts, de processus et une démarche maintenant éprouvés en industrie, souvent normalisés tout en faisant l'objet de nombreux travaux de recherche. En particulier, nous nous intéressons ici à un processus dit support de l'IS, le processus d'évaluation. Nous nous focalisons particulièrement sur l'évaluation de l'efficacité puis la comparaison des différentes solutions d'architectures fonctionnelles et organiques d'un système mécatronique qui émergent invariablement de la conception. Le but de ce processus est de guider et d'aider au choix, parmi ces architectures candidates mais souvent incomplètes ou à tout le moins immatures en début de conception, d'une solution permettant de maximiser la satisfaction des besoins de toutes les parties prenantes du système. La mise en œuvre de cette évaluation se heurte à plusieurs difficultés. Tout d'abord, la vision consensuelle et unifiée de données, informations et connaissances mais aussi des activités proprement dites d'évaluation, ‘au-dessus' des métiers impliqués dans la conception, reste limitée. C'est un premier verrou traité dans ces travaux car son absence est ainsi un frein à l'évaluation objective et partagée d'une solution. Pour contribuer à cette vision consensuelle, il est proposé un modèle conceptuel des données de l'évaluation en ingénierie système. Ensuite, l'estimation des conséquences des choix tout au long d'une conception résolument itérative et qui procède donc à petits pas, le traitement d'objectifs multiples voire contradictoires et la prise en compte de l'incertitude propre à la conception sont autant de problèmes classiques en conception. C'est le verrou central sur lequel ce travail a porté. L'estimation des choix de conception est traitée d'abord par une formalisation des liens de traçabilité entre les exigences, fonctions et composants de la conception. Cette formalisation est un préalable à la détection et correction des incohérences des liens de traçabilité en vue de l'identification automatisée des impacts potentiels des choix d'élément d'architecture sur les différents critères de satisfaction du système à faire. Une articulation entre les modèles de comportement du système à faire et les modèles de décision est ensuite proposée pour agréger le degré de satisfaction des objectifs de la conception, et ainsi assurer la gestion des objectifs multiples voire opposés des parties prenantes. Des techniques d'évaluation qualitative sont enfin proposées afin de trier les alternatives de solution de conception selon leur degré de satisfaction en tenant compte du niveau de maturité croissant mais incertain de la solution. Enfin, on peut regretter le manque d'un environnement de travail permettant de modéliser le système et de procéder aux analyses et évaluations de la solution. Les deux contributions synthétisées ci-dessus ont donc fait l'objet d'une intégration dans un atelier d'IS existant, offrant ainsi un continuum entre activités de conception et activités d'évaluation. Le résultat est ainsi un guide méthodologie outillé pour l'évaluation de systèmes mécatroniques en conception. Mots clés : Ingénierie Système, conception, évaluation, système complexe, système mécatronique, solution d'architecture, traçabilité, analyse qualitative. / The design step of a complex system is crucial. This observation is particularly true, when considering mechatronic, multi-technological systems, which require a multidisciplinary and collaborative approach. Our work is based on the System Engineering (SE) framework, which focuses on the needs and requirements definition, the conceptual design, and the definition of functional and organic architectures of a system. For this purpose, SE promotes some concepts, processes, and an approach currently widely practiced in the Industry, and even standardized while being a much studied research topic. More precisely, we are interested in a so-called support process of SE, the evaluation process. We are focusing on the effectiveness evaluation and then on the comparison of different functional and organic architecture solutions of a mechatronic system, which emerge invariably from the design. The goal of this process in guiding and helping to choose a solution among candidate architectures, often incomplete or immature in preliminary design, allows maximizing the satisfaction of the systems' stakeholders needs. However, the implementation of this evaluation faces to many difficulties. The consensual and unified vision of data, information, knowledge, and evaluation activities, above specialized engineering teams involved in the design, is still limited. Indeed, the lack of this common vision limits the objective and shared evaluation of a given solution. This is a first problem that we are addressing in our work. To contribute to this common vision, a conceptual model of evaluation data in SE is proposed.Subsequently, the estimation of the choices made all along such an iterative design, and which therefore proceeds by small steps, the management of multiple objectives sometimes contradictory and the consideration of the uncertainty inherent to design are classic problems in design. This constitutes the main problem which our work is answering. The estimation of the consequences of design choices on the system performance is first addressed by a formalization of traceability links between the requirements, functions, and components of the design. This formalization is prior to the detection and correction of inconsistencies of traceability links, in order to automatically identify potential impacts of the architectures' elements choices on different satisfaction criteria of the System Of Interest (SOI). An articulation between the SOI behavioral models and decision models is afterwards proposed for aggregating the satisfaction level of the design objectives, and then ensure the management of multiple and even contradictory objectives of the designers. Qualitative evaluation techniques are finally proposed for sorting the alternative design solutions according to their satisfaction level while considering the increasing maturity level but uncertain of the solution.Lastly, we often denote the lack of integrated environment for modeling the system and proceeding to the analyses and evaluations. The two above synthesized contributions have been integrated into a SE framework, offering a continuum between design activities and evaluation ones. The result is thereby a methodological and tooled guide for mechatronic systems evaluation during design. Keywords: System Engineering, design, evaluation, complex systems, mechatronics, architecture solution, traceability, qualitative analysis.

L’impact des technologies d'information et de communication est essentiel sur lesdroits de la personne, et en particulier la liberté d'expression et la protection de la vie privée. Les tensions relatives à l’établissement de la frontière entre l’espace public et l’espace privé en ligne se sont exacerbées avec la diffusion de l'informatique et la démocratisation des usages d'Internet, de la téléphonie mobile et, plus récemment, d'autres objets communicants et services numériques. De même, les libertés de s’exprimer, de communiquer et de s’informer sont mises en danger dans la mesure où, sous prétexte de la lutte contre la cybercriminalité et le cyberterrorisme, et dans un but général de maintien de l’ordre public, les autorités publiques interviennent dans les contenus publiés pour les contrôler, surveiller, restreindre ou interdire. Ceci d’autant plus que les capacités - tant des Etats que des acteurs privés - à constituer les bases de données extrêmement précises répertoriant les informations sur les habitudes de consommation, les itinéraires de déplacements ou encore sur les opinions ou pensées des personnes, augmentent progressivement. Ainsi, le besoin de la redéfinition de la manière dont est pris en compte le volet relatif au respect des droits fondamentaux des personnes face à l’environnement numérique devient pressant. / The impact of today’s information and communication technologies is essential forthe exercice of human rights, particularly concerning freedom of expression and privacyprotection. With the massive use of Internet, mobile phones and – more recently – other smart objects and digital services, the tension mounts with respect to establishing the limit between public and private space online. Likewise, the freedom of expression, communication and information are at risk as - under the pretext of fighting cybercrime and cyber terrorism, as well as maintaining public order - public authorities interfere with online contents by controlling, monitoring, restraining or prohibiting it. Especially as both States’ and private companies’ capacities in creating extremely precise databases identifying information on persons’ consumption habits, itineraries, thoughts and opinions gradually increase. Therefore, the need to redefine the way in which the respect of fundamental freedoms is taken into consideration in the context of digital environment becomes urgent.

La production de tilapias et surtout celle du tilapia du Nil Oreochromis niloticus (Linnaeus, 1758) connaît depuis 30 ans, une impressionnante croissance liée à ses nombreux atouts pour l'aquaculture. Toutefois, le contrôle du sexe conditionne la rentabilité de cette filière. En effet chez le tilapia du Nil le mâle présente une meilleure croissance que la femelle. Depuis les années 70, la production de populations monosexes mâles de tilapia du Nil est pratiquée dans la quasi-totalité des fermes aquacoles afin de bénéficier de la meilleure croissance des mâles par rapport aux femelles et de contrôler la reproduction précoce et continue chez cette espèce. Actuellement, l'inversion hormonale du sexe par la 17α-methyltestosterone (17MT) constitue la technique la plus utilisée pour produire les cohortes monosexes mâles. Toutefois, l'utilisation des hormones pour la production de poissons marchands soulève de nombreuses questions relevant de la sécurité alimentaire comme de la protection des travailleurs piscicoles et de l'environnement. D'autres approches sont donc recherchées. Elles reposent sur des approches génétiques, ou sur les effets masculinisants des fortes températures ou enfin sur l'utilisation d'anti-aromatase. Dans cette thèse, nous avons comparé les effets de trois traitements, utilisant respectivement la 17MT, le fadrozole (un inhibiteur de l'aromatase) et les fortes températures, sur des caractères d'intérêt zootechniques (survie, croissance) et sur l'expression de gènes clés de la différenciation du sexe dans les gonades et dans le cerveau des mâles induits (mâles 17MT, mâles anti-aromatase et thermo-néomâles). Parallèlement les mêmes analyses ont été menées sur des mâles et des femelles génétiques. Les fortes températures produisent des mâles dont la croissance est similaire à celle des mâles génétiques, confortant l'idée que les traitements thermiques pourraient constituer une alternative écologique aux utilisations des hormones pour la production de populations monosexes mâles chez le tilapia, sous réserve de sélectionner des souches à forte thermosensibilité. Le rôle positif des androgènes et/ou l'effet inhibiteur des œstrogènes sur la croissance est discuté. L'analyse des profils d'expression de gènes clés de la différenciation sexuelle suggère des régulations différentes dans le cerveau et dans les gonades. En particulier, l'amh et cyp19a1b sont très fortement stimulées dans le cerveau des mâles traités par la température ; inversement l'amh est inhibée dans le cerveau des individus traités par le fadrozole, suggérant une régulation directe ou indirecte de l'amh par l'aromatase. Dans les gonades des mâles induits, les niveaux de dmrt1 et amh sont surexprimés par rapport à ce qui est observé chez les mâles génétiques. Ce travail mériterait d'être complété par a) des études sur la fertilité des mâles induits b) des dosages des taux circulants de stéroïdes et de protéines dans le plasma c) des analyses histologiques ou immunohistochimiques du cerveau et des gonades et d) l'étude de l'expression d'autres gènes.Mots-clés : Tilapia du Nil / Masculinisation / Température / Hormones / Croissance / Gènes / Due to the genuine advantages of this species (fast growth, spontaneous breeding in captivity), the aquaculture production of tilapias, and especially of the Nile tilapia Oreochromis niloticus (L.), has been growing steadily over the past 30 years. Nevertheless, the success of this production is largely dependent on the sex control efficiency, in order to take advantage of the better growth of males and to avoid uncontrolled breeding that can cause crowding and dwarfism. The use of male monosex populations has thus become a standard in tilapia aquaculture since the 1970s. The dietary administration of 17α-methyltestosterone (17MT) is still the major masculinising procedure used in tilapia farming nowadays. However, it raises issues concerning the environment, fish farmers and consumers'health. More recently, alternatives to hormonal sex reversal have been evaluated, i.e. the use of YY males, treatment using aromatase inhibitors or elevated temperatures during the early life stages. In the present study, the effects of fadrozole (an aromatase inhibitor), elevated temperatures and 17MT have been compared on the survival and growth of XX fish, and as regards to the expression patterns in the brain and gonads of key genes implicated in fish sex differentiation. Comparisons seen in these induced-males were performed with genetic XX females and XY males. The growth rates of fish raised at elevated temperature were similar to those of genetic males, thereby emphasizing the relevance of this method as an alternative to hormonal sex reversal of Nile tilapia, when using highly thermosensitive strains. Whether the growth of tilapia is stimulated by androgens or depressed by estrogens is discussed. The analysis of expression profiles of the genes involved in sexual differentiation reveals different patterns in the brain and in the gonads. Amh and cyp19a1b are strongly stimulated in the brain of XX neomales treated by elevated temperatures. Conversely, amh is inhibited in the brain of fish treated with fadrozole, suggesting that amh is directed or indirectly regulated by aromatase. In the gonads of XX neomales, the levels of dmrt1 and amh are much higher than in genetic XY males. Further studies should analyse a) the fertility of neomales, b) the plasmatic levels of steroids and proteins, c) the histology and immunohistochemistry of the brain and the gonads, and d) the expression of other genes.Keywords : Nile tilapia / Masculinisation / Temperature / Hormones / Growth / Genes

Les lignes de produits logiciels ont pour objectif la réutilisation des documents, codes sources, architectures, et plus généralement tout artefact créé durant le développement de logiciels d'un même domaine. Pour cette réutilisation, on utilise aujourd'hui des ``modèles de caractéristiques''. L'approche consiste à décrire dans ce modèle les caractéristiques des artefacts créés et les contraintes permettant de les assembler, puis à sélectionner les caractéristiques représentatives d'un nouveau produit en le générant en tout ou partie. Dans certaines situations, une caractéristique représente un artefact associé à un élément du contexte que le produit doit gérer. Une telle caractéristique, et les contraintes relatives à sa mise en œuvre, peuvent être clonées pour chaque occurrence de l'élément dans le contexte. Dans le cadre de cette thèse, nous cherchons à déterminer l'impact du contexte d'exécution d'un futur produit sur les caractéristiques d'une ligne de produits logiciels. Nous explorons tout d'abord les différentes manières de représenter un modèle de caractéristiques et le contexte d'un produit. Nous proposons ensuite une méthode générique pour adapter un modèle de caractéristiques aux éléments d'un contexte. Cette thèse a été réalisée dans le contexte du projet RIDER (Reasearch for ITDriven EneRgy efficiency). Ce projet a pour objectif la réduction des pertes énergétiques subies à cause d'une gestion inappropriée des sources et des besoins énergétiques des bâtiments. La variété des équipements et les spécificités de chaque bâtiment nécessitent une adaptation au cas par cas des logiciels d'optimisation énergétique. Nous proposons donc d'appliquer à ce projet une approche par lignes de produits logiciels, et plus particulièrement, notre méthode d'adaptation de modèles de caractéristiques au contexte, pour adapter les logiciels d'optimisation énergétique au contexte spécifique de chaque bâtiment. / Software product lines aim at reusing documents, source code, architectures, and, all artefact created during software development achieved in a given domain. Nowadays, we use ``feature models'' to facilitate the reuse of such elements. The approach consists in describing, in this feature model, artefacts and their usage constraints, and then to identify representative features for creating a new product. In some situations, a feature represents an artefact associated to a context element that must be handled by the product. Such a feature, and its related constraints, can be cloned for each occurrence of instances of this element in a given context. In this thesis, we are try to determine the impact of a product execution context on a future product features. We first explore different ways for representing feature models and a product context. Then, we propose a generic method to adapt a feature model to context elements. This thesis has been achieved in the context of the RIDER project (Research for IT Driven EneRgy efficiency). This project aims at reducing energy waste due to an inappropriate management of energy sources and needs. The heterogeneousness of building equipments and each building specificities require to adapt energy optimisation software. We propose to apply a software product line approach to this project. More precisely, we propose to apply to this project our feature model context adaptation methodology, in order to adapt energy optimisation software to each building specific context.

Les phases de validation et de vérification (V&V) des systèmes réactifs temps réel critique (de plus en plus complexes) sont très importantes en termes de coût et de temps. Dans ce contexte, toute méthode et outil permettant d'aider à la réalisation des activités de V&V est d'une très grande importance au cours du développement. Le test fonctionnel est le moyen le plus utilisé au cours de ces phases de V&V. Or, les méthodes de test présentent des limites : un test exhaustif est quasiment impossible à réaliser en raison de la taille et de la complexité des systèmes considérés. Dans ce contexte, les enjeux de la maîtrise de l'effort de test (complexité et coût) sont majeurs, mais les exigences de qualité pour ces systèmes sont très grandes. L'effort de test caractérise tout autant l'élaboration des jeux de test que le diagnostic. Dans cette optique, nous avons défini deux méthodologies basées sur les concepts d'analyse de testabilité et les stratégies de test. La première méthodologie permet d'aider à la définition de jeux de test pertinents et à l'analyse de couverture des systèmes réactifs spécifiés dans un formalisme flot de données SCADE dans le contexte AIRBUS. La seconde propose des méthodes d'aide à la vérification (identification de tests pertinents et localisation de composants défectueux au cours diagnostic) de systèmes sur la chaîne d'assemblage finale (FAL) d'un avion AIRBUS.

La traçabilité est un mécanisme qui est indispensable dans la conduite des activités de vérification de la conformité des compagnies à la loi Sarbanes-Oxley. Cette loi rend les administrateurs (PDG, Chef des affaires financières, etc.) responsables des déclarations faites dans les états financiers. Elle a été établie dans la foulée des scandales corporatifs aux États-Unis, comme ceux des compagnies Enron et Worldcom. Les données utilisées pour produire les états financiers, lesquelles sont produites par des systèmes informatiques périphériques, transitent toujours par des bases de données. L'implantation d'un mécanisme de traçabilité des bases de données se heurte à plusieurs problèmes, dont le plus important est la gestion du volume des données de traçabilité, lequel devient rapidement trop important pour rendre les données de traçabilité utiles. Ce mémoire démontre qu'une solution envisageable pour résoudre ce problème consiste à identifier et à définir les comportements typiques de la fraude et d'utiliser ces comportements comme indicateurs de fraude potentielle. Jumelés à des techniques de classification telles que la classification Baysienne qui est utilisée dans le domaine de la détection du pourriel, les indicateurs permettront la classification des transactions potentiellement frauduleuses, dans le but d'appliquer le mécanisme de traçabilité qu'à ces transactions. Ainsi, nous démontrons que l'application de la classification Baysienne sur ces attributs, permet effectivement de détecter et de classifier des transactions frauduleuses comme tel et qu'en conséquence, un traitement de traçage spécifique peut être effectué sur ces transactions. En ne traçant plus spécifiquement que les transactions identifiées comme frauduleuses, le volume de données de traçabilité est alors réduit à son expression la plus utile et simple et du coup le problème de la gestion du volume des données de traçage s'en trouve d'autant diminué. Notre expérimentation démontre le bien-fondé de cette approche pour différencier les transactions honnêtes des transactions frauduleuses. Cette différenciation s'est faite avec un haut taux de succès et avec grande fiabilité, tel que démontré par les taux de détection obtenus pour les transactions frauduleuses. Les résultats détaillés sont documentés dans ce mémoire et prouvent la viabilité de cette approche. Comme les attributs utilisés qui sont basés sur les indicateurs de comportements sont intimement liés au domaine d'application, nous proposons une approche pour raffiner les résultats et ainsi rendre possible la différenciation des différents types de fraude à l'intérieur de ces transactions frauduleuses. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Fraude, Sarbanes-Oxley, Traçabilité, Détection automatique, Classification, Bayes.

Dans un contexte de performances de plus en plus exigeantes, la conception de produits est devenue une activité collaborative menée par des acteurs ayant différentes expertises. Une des caractéristiques de la conception collaborative est que les relations de précédence entre les activités créent des dépendances entre les données échangées. Dans un tel contexte, des conflits peuvent apparaître entre les acteurs lors de l'intégration de leurs propositions. Ces conflits sont d'autant plus amplifiés par la multiplicité des expertises et des points de vue des acteurs participant au processus de conception.<br />C'est à la gestion de ce phénomène, le conflit, que nous nous sommes intéressés dans le travail présenté dans ce mémoire, et plus particulièrement à la gestion de conflits par négociation. Nous proposons l'approche DEPNET (product Data dEPendencies NETwork identification and qualification) pour supporter au processus de gestion de conflits basée sur la gestion des dépendances entre les données. Ces données échangées et partagées entre les différents intervenants sont l'essence même de l'activité de conception et jouent un rôle primordial dans l'avancement du processus de conception.<br />Cette approche propose des éléments méthodologiques pour : (1) identifier l'équipe de négociation qui sera responsable de la résolution de conflit, et (2) gérer les impacts de la solution retenu suite à la résolution du conflit. Une mise en œuvre des apports de ce travail de recherche est présentée au travers du prototype logiciel DEPNET. Nous validons celui-ci sur un cas d'étude industriel issu de la conception d'un turbocompresseur.

L'authentification homme-machine est une problématique largement développée pour les télécommunications. Une authentification dans le sens "machine-homme" permettra d'assurer l'utilisateur humain assermenté du fonctionnement intègre d'une machine lors, par exemple, d'une session de vote électronique ou d'une vérification d'objet en traçabilité sécurisée. Cette thèse se focalise sur la traçabilité sécurisée sans accès (systématique) à un canal de communication. Nous décrivons différentes techniques d'authentification de produits manufacturés en nous concentrant sur une méthode de caractérisation de motifs imprimés. Pour effectivement authentifier un objet, nous montrons qu'un agent vérifieur doit s'assurer de l'intégrité du tiers et du système électronique utilisée pour la vérification. Cependant l'authenticité du système électronique lui-même reste à vérifier. La question que nous adressons alors est la suivante : comment un être humain peut-il se convaincre de l'intégrité et de l'authenticité d'un système embarqué dans un mode hors ligne ? Nous définissons deux familles de solutions. Dans la première, l'utilisateur fait appel, pour les calculs, à un dispositif auxiliaire tandis que dans la seconde l'utilisateur ne fait usage que d'un papier et d'un crayon. Pour chacune des deux familles, nous proposons un protocole d'authentification d'un système embarqué dont la puce, typiquement un FPGA ou un microcontrôleur, dépend de la configuration ou de la programmation d'une mémoire RAM

Les débitmètres sont des technologies connues et fortement répandues mais pas exemptes d'erreurs, dont les causes peuvent être assez variées. Ces capteurs installés dans les systèmes d'assainissement ne sont de plus pas rigoureusement étalonnables in situ. Une méthode de vérification in situ des débitmètres, utilisable pour des pseudos étalonnages, est présentée. En effet, l'injection ponctuelle d'un traceur dans un écoulement permet de calculer le débit et son incertitude d'une manière indépendante des sondes en place. Cette méthodologie, en sept étapes, offre des résultats comparables à ceux fournis par des méthodes considérées comme des références (traçages aux sels et débitmètre électromagnétique). Des premiers essais en réseaux unitaires ont été réalisés pour la vérification de débitmètres (le long d'un collecteur du Grand Lyon) et pour le calage de courbes de tarages (sur le Syndicat Intercommunal d'Assainissement Grand Projet). Pour les mesures qualitatives des effluents, de nombreuses études antérieures ont montrées de bonnes corrélations entre les concentrations en polluants et les signaux fournis par des turbidimètres et des spectromètres UV/visible. Un pilote expérimental et des campagnes d'échantillonnages sur des effluents prétraités de la station d'épuration de Fontaines sur Saône ont été mis en place pour répondre aux objectifs suivants : i) concevoir et tester un site de mesure de nouvelle génération, ii) chercher des modèles de régressions entres différents capteurs (turbidimètres mono et bi-longueur(s) d'onde(s), conductimètre, pHmètre, spectromètre UV/visible, capteurs à micro-ondes) et les concentrations en polluants pour les échantillons de temps sec, de temps de pluie et la totalité, iii) caractériser la performance de ces modèles et iv) tester la robustesse des méthodes proposées sous des conditions atypiques mais susceptibles d'être rencontrées en réseau d'assainissement. Les résultats confirment les bonnes corrélations entre certains paramètres (turbidité, conductivité et spectre UV/visible) et les concentrations en polluants. Aucun capteur n'est le plus performant pour l'ensemble des polluants. La majorité des capteurs délivrent des estimations comparables aux incertitudes près mais ces estimations sont peu voire pas redondantes aux analyses effectuées sur les échantillons. La conception du banc (et les variations des matrices des eaux usées) et/ou les conditions expérimentales lors des tests de robustesse sont peut être en cause.

La conception d'un système complexe est une étape cruciale. Ce constat est particulièrement vrai dans le cadre de la conception de systèmes mécatroniques, multi technologies et nécessitant une approche pluridisciplinaire et collaborative. Nous nous plaçons ici dans le cadre de l'Ingénierie Système (IS) qui se focalise sur la définition des besoins et des exigences, la recherche de concepts, puis la définition d'architectures fonctionnelles et organiques d'un système. L'IS promeut pour cela un certain nombre de concepts, de processus et une démarche maintenant éprouvés en industrie, souvent normalisés tout en faisant l'objet de nombreux travaux de recherche. En particulier, nous nous intéressons ici à un processus dit support de l'IS, le processus d'évaluation. Nous nous focalisons particulièrement sur l'évaluation de l'efficacité puis la comparaison des différentes solutions d'architectures fonctionnelles et organiques d'un système mécatronique qui émergent invariablement de la conception. Le but de ce processus est de guider et d'aider au choix, parmi ces architectures candidates mais souvent incomplètes ou à tout le moins immatures en début de conception, d'une solution permettant de maximiser la satisfaction des besoins de toutes les parties prenantes du système. La mise en œuvre de cette évaluation se heurte à plusieurs difficultés. Tout d'abord, la vision consensuelle et unifiée de données, informations et connaissances mais aussi des activités proprement dites d'évaluation, 'au-dessus' des métiers impliqués dans la conception, reste limitée. C'est un premier verrou traité dans ces travaux car son absence est ainsi un frein à l'évaluation objective et partagée d'une solution. Pour contribuer à cette vision consensuelle, il est proposé un modèle conceptuel des données de l'évaluation en ingénierie système. Ensuite, l'estimation des conséquences des choix tout au long d'une conception résolument itérative et qui procède donc à petits pas, le traitement d'objectifs multiples voire contradictoires et la prise en compte de l'incertitude propre à la conception sont autant de problèmes classiques en conception. C'est le verrou central sur lequel ce travail a porté. L'estimation des choix de conception est traitée d'abord par une formalisation des liens de traçabilité entre les exigences, fonctions et composants de la conception. Cette formalisation est un préalable à la détection et correction des incohérences des liens de traçabilité en vue de l'identification automatisée des impacts potentiels des choix d'élément d'architecture sur les différents critères de satisfaction du système à faire. Une articulation entre les modèles de comportement du système à faire et les modèles de décision est ensuite proposée pour agréger le degré de satisfaction des objectifs de la conception, et ainsi assurer la gestion des objectifs multiples voire opposés des parties prenantes. Des techniques d'évaluation qualitative sont enfin proposées afin de trier les alternatives de solution de conception selon leur degré de satisfaction en tenant compte du niveau de maturité croissant mais incertain de la solution. Enfin, on peut regretter le manque d'un environnement de travail permettant de modéliser le système et de procéder aux analyses et évaluations de la solution. Les deux contributions synthétisées ci-dessus ont donc fait l'objet d'une intégration dans un atelier d'IS existant, offrant ainsi un continuum entre activités de conception et activités d'évaluation. Le résultat est ainsi un guide méthodologie outillé pour l'évaluation de systèmes mécatroniques en conception.