L'industrie automobile des systèmes embarqués critiques est confrontée de nos jours à une complexité croissante, tandis que les coûts, les performances en termes d'intelligence, les caractéristiques, les capacités et les délais de commercialisation de leurs produits sont constamment remises en question. Face à cela, l'objectif principal pour les constructeurs et fournisseurs automobiles devient désormais de contrôler la qualité et la fiabilité des systèmes mécatroniques et embarqués. L'existence de normes internationales comme le HIS Automotive SPICE et l'ISO26262 est une contrainte supplémentaire qu'ils doivent prendre en compte s'ils veulent atteindre cet objectif. De plus, assurer la bonne gestion de la sécurité et la qualité du produit ne suffit pas: il est essentiel de veiller à ce que nous produisons un système qui n'est pas seulement sécuritaire et bien, mais aussi que nous produisons le bon système. Cela induit donc une plus grande prise en compte des exigences.Dans cette thèse, nous traitons le challenge du développement des systèmes embarqués automobiles suivant l'Ingénierie Dirigée par les Modèles (IDM) qui répondent aux exigences des utilisateurs et des standards du domaine et qui permettent de maîtriser davantage la qualité des produits développés. Le problème à résoudre a été abordé sur plusieurs phases qui sont ensuite utilisés conjointement. En premier, nous définissons un métamodèle fusionnant les approches orienté qualité produit et qualité processus selon respectivement les normes ISO26262 et SPICE. Puis, dans un but de certification, nous proposons une méthodologie générique basée sur ce métamodèle commun où une évaluation du processus de développement induite par l'HIS standard ainsi qu'une évaluation de la sécurité fonctionnelle induite par l'ISO2626 sont simultanément effectuées. Ce résultat est traduit au travers de la définition d'un framework outillé où nous appliquons la méthode d'évaluation propre au standard SPICE. En deuxième phase, nous définissons un métamodèle pour gérer les actifs de sécurité concernant ces normes automobiles au niveau produit. Ce métamodèle définit comment capturer les exigences et l'architecture d'un système de telle manière qu'ils puissent être traçables entre eux et également traçables depuis des documents de spécifications d'origine. Enfin, une approche à base de modèle où l'interaction des modèles de processus et le produit est géré afin de répondre aux besoins identifiés dans la première phase est développé pour soutenir la gestion de projet. L'approche utilise la modélisation des processus et leur mesure pour améliorer le contrôle et le suivi de projet et de réduire par la même les coûts et les fréquences de replanification.Les avantages de la contribution sont démontrés sur une application pilote automobile, validant ainsi le travail de recherche au vue des faiblesses identifiées préalablement dans le contexte.

La performance d'un projet de conception de produits manufacturés est souvent caractérisée par un ensemble d'indicateurs qui ne repose pas uniquement sur la performance du produit mais sur celle du triptyque produit processus et organisation (PPO). L’utilisation d’indicateurs de performance dans un projet de conception ne peut être efficace que si les liens de traçabilité entre les données sont formalisés. Durant le cycle de conception, de très nombreuses spécifications PPO, également appelées spécifications projet, sont déployées dans un environnement de conception collaborative. Ce déploiement consiste à transférer les spécifications de niveaux de détail donnés vers des niveaux de détail plus affinés (transfert interniveaux) et depuis des vues globales vers des vues particulières (transfert intervues). Ce travail propose de caractériser ces deux mécanismes de transferts, déjà introduits pour les spécifications géométriques, à l’ensemble des spécifications projet. La formalisation et la généralisation de ces mécanismes de transferts ont été identifiées pour un ensemble de modèles pour la conception collaborative (un modèle produit, deux modèles processus (un pour le système décisionnel et un pour le système technologique) et un modèle organisation). Ces modèles constituent ainsi un environnement PPO. Le système décisionnel et le système technologique y sont décrits comme deux aspects du système de conception : l’un s’intéressant à l’organisation et aux processus, l’autre travaillant sur le produit même au travers d’un processus de conception. Les transferts de spécifications y sont ainsi illustrés. La mise en place de perturbations dans un scénario de conception de turbine haute pression permet de mettre en évidence les liens de traçabilité entre les spécifications ainsi que les impacts des perturbations et des solutions censés les corriger. Un indicateur de performance énergétique ayant été défini, des perturbations sont simulées et des solutions sont proposées. La notion de compromis apparaît alors lorsque les solutions améliorent une caractéristique de l’indicateur de performance énergétique mais en dégrade une autre. / Design project performance of manufactured products is often characterised by a set of indicators which does not depend only on the product’s performance but also on that of the product process and organisation (PPO) triptych. The use of performance indicators in a design project can only be effective if the traceability links between the data are formalised. During the design cycle, a lot of PPO specifications, also called project specifications, are deployed in a collaborative design environment. This deployment consists in transferring the specifications from a given detail level towards finer ones (interlevel transfer) and from a global view towards particular ones (interview transfer). This work proposes to characterise these two mechanisms of transfers, already introduced for geometrical specifications, with the whole of project specifications. The formalisation and the generalisation of these mechanisms of transfers were identified for a set of models for collaborative design (one product model, two process models (one for the decision-making system and one for the technological system) and one organisation model). These models provide thus a PPO environment. The decision-making system and the technological system are described there as two aspects of design system: one concerned with the organisation and the processes, the other working on the product through a design process. Specifications transfers are thus illustrated there. The introduction of disturbances in a design scenario of a high-pressure turbine can highlight the traceability links between specifications and the impacts of the disturbances and the solutions to correct them. An energetic performance indicator has been defined, disturbances are simulated and solutions are proposed. The compromise notion appears then when the solutions go better a characteristic of the energetic performance indicator but degrade another one.

Dans le développement logiciel en industrie, les documents de spécification jouent un rôle important pour la communication entre les analystes et les développeurs. Cependant, avec le temps, les changements de personel et les échéances toujours plus courtes, ces documents sont souvent obsolètes ou incohérents avec l'état effectif du système, i.e., son code source. Pourtant, il est nécessaire que les composants du système logiciel soient conservés à jour et cohérents avec leurs documents de spécifications pour faciliter leur développement et maintenance et, ainsi, pour en réduire les coûts. Maintenir la cohérence entre spécification et code source nécessite de pouvoir représenter les changements sur les uns et les autres et de pouvoir appliquer ces changements de manière cohérente et automatique. Nous proposons une solution permettant de décrire une représentation d'un logiciel ainsi qu'un formalisme mathématique permettant de décrire et de manipuler l'évolution des composants de ces représentations. Le formalisme est basé sur les triplets de Hoare pour représenter les transformations et sur la théorie des groupes et des homomorphismes de groupes pour manipuler ces transformations et permettrent leur application sur les différentes représentations du système. Nous illustrons notre formalisme sur deux représentations d'un système logiciel : PADL, une représentation architecturale de haut niveau (semblable à UML), et JCT, un arbre de syntaxe abstrait basé sur Java. Nous définissons également des transformations représentant l'évolution de ces représentations et la transposition permettant de reporter les transformations d'une représentation sur l'autre. Enfin, nous avons développé et décrivons brièvement une implémentation de notre illustration, un plugiciel pour l'IDE Eclipse détectant les transformations effectuées sur le code par les développeurs et un générateur de code pour l'intégration de nouvelles représentations dans l'implémentation. / When developing software system in industry, system specifications are heavily used in communication among analysts and developers. However, system evolution, employee turn-over and shorter deadlines lead those documents either not to be up-to-date or not to be consistent with the actual system source code. Yet, having up-to-date documents would greatly help analysts and developers and reduce development and maintenance costs. Therefore, we need to keep those documents up-to-date and consistent. We propose a novel mathematical formalism to describe and manipulate the evolution of these documents. The mathematical formalism is based on Hoare triple to represent the transformations and group theory and groups homomorphisms to manipulate these transformations and apply them on different representations. We illustrate our formalism using two representation of a same system: PADL, that is an abstract design specification (similar to UML), and JCT, that is an Abstract Syntax Tree for Java. We also define transformations describing their evolutions, and transformations transposition from one representation to another. Finally, we provide an implementation of our illustration, a plugin for the Eclipse IDE detecting source code transformations made by a developer and a source code generator for integrating new representations in the implementation.

L'industrie actuelle est en plein développement suite à la mise en œuvre du concept de l'industrie 4.0 visant à rendre l'usine une entité intelligente, en combinant les processus et pratiques industriels avec les technologies de l'information et de communication récentes comme les systèmes cyber-physiques et l'internet des objets connectés (IoT), entre autres. Ce développement industriel, ainsi que le besoin d'innover pour atteindre et maintenir la compétitivité favorisent une augmentation phénoménale du volume de données (connue sous le nom de Big Data), rendant ainsi (i) les processus de conception et de supervision des systèmes de plus en plus chaotiques, (ii) les données au sein des organisations de plus en plus difficiles à exploiter et (iii) les ingénieurs de plus en plus perdus lors de la prise de décision. En effet, plusieurs problèmes sont identifiés dans les milieux industriels et qui peuvent être classés en trois catégories : (i) difficultés lors de la recherche, la visualisation et l'échange de l'information, (ii) difficultés lors de la prise de décision et (iii) difficultés lors de la gestion des changements de contexte. A travers ce travail, nous proposons un système d'aide à la décision intelligent et modulaire, dont chacun des quatre modules résout un des problèmes identifiés. Les modules de modélisation et de traçabilité des processus permettent de modéliser les processus et de capturer la façon comment ils sont exécutés. Le module d'aide à la décision permet de proposer le pattern le plus adapté au contexte de la décision ainsi que les paramètres de ses activités les plus significatifs. Le module de gestion des changements contextuels permet de continuellement mettre à jour le module de prise de décision, lui permettant ainsi de tenir compte de l'aspect dynamique du contexte. Le système proposé est entièrement vérifié et à moitié validé dans le contexte du projet Gontrand, visant la supervision intelligente et en temps réel des réseaux de gaz favorisant l'injection du gaz vert. Pour qu'il soit entièrement validé, les performances du système doivent être analysées après l'intégration et l'exploitation de ce dernier dans un milieu industriel réel. / Data sets are growing rapidly because of two things. First, the fourth industrial revolution that aims to transform factories into smart entities in which cyber physical systems monitor the physical processes of the factory. Second, the need to innovate in order to achieve and maintain competitiveness. Due to this huge volume of data (Big Data), (i) design and supervision processes are becoming chaotic, (ii) data within organizations is increasingly becoming difficult to exploit and (iii) engineers are increasingly lost when making decisions. Indeed, several issues are identified in industry: (i) when researching, visualizing and exchanging information, (ii) when making decisions and (iii) when managing contextual changes. Through this research work, we propose an Intelligent and modular Decision Support System (IDSS), where each of the four modules solves one of the identified issues. Process modelling and traceability modules aim to model processes and capture how they are actualy executed. The decision support module proposes the process patterns that best fit the decision context, as well as their most significant activity parameters. The contextual change management module continuously updates the decision-making module, in order to handle the dynamic aspect of the decision context. The proposed system is fully verified and half-validated in the context of the Gontrand project, aiming at intelligent and real-time supervision of gas networks favoring the injection of green gas. In order to be fully validated, the performance of the system must be analyzed after integrating and exploitating it in a real industrial environment.

L'ingénierie des lignes de produits logiciels (Software Product Line Engineering-SPLE en Anglais) est une discipline qui met en œuvre des principes de réutilisation pour le développement efficace de familles de produits. Une famille de produits logiciels est un ensemble de logiciels similaires, ayant des fonctionnalités communes, mais néanmoins différents selon divers aspects; nous parlerons des différentes variantes d'un logiciel. L'utilisation d'une ligne de produit permet de développer les nouveaux produits d'une famille plus vite et d'augmenter la qualité de chacun d'eux. Ces avantages sont liés au fait que les éléments communs aux membres d'une même famille (besoin, architecture, code source, etc.) sont réutilisés et adaptés. Créer de toutes pièces une ligne de produits est une tâche difficile, coûteuse et longue. L'idée sous-jacente à ce travail est qu'une ligne de produits peut être créée par la réingénierie de logiciels similaires (de la même famille) existants, qui ont été préalablement développés de manière ad-hoc. Dans ce contexte, la contribution de cette thèse est triple. La première contribution est la proposition d'une approche pour l'identification des liens de traçabilité entre les caractéristiques (features) d'une application et les parties du code source qui les implémentent, et ce pour toutes les variantes d'une application. Ces liens sont utiles pour générer (dériver) de nouveaux logiciels par la sélection de leurs caractéristiques. L'approche proposée est principalement basée sur l'amélioration de la technique conventionnelle de recherche d'information (Information Retrieval –IR en Anglais) et des approches les plus récentes dans ce domaine. Cette amélioration est liée à deux facteurs. Le premier facteur est l'exploitation des informations liées aux éléments communs ou variables des caractéristiques et du code source des produits logiciels analysés. Le deuxième facteur concerne l'exploitation des similarités et des dépendances entre les éléments du code source. Les résultats que nous avons obtenus par expérimentation confirment l'efficacité de notre approche. Dans la deuxième contribution, nous appliquons nos résultats précédents (contribution no 1) à l'analyse d'impact (Change Impact Analysis –CIA en Anglais). Nous proposons un algorithme permettant à un gestionnaire de ligne de produit ou de produit de détecter quelles les caractéristiques (choix de configuration du logiciel) impactées par une modification du code. Cet algorithme améliore les résultats les plus récents dans ce domaine en permettant de mesurer à quel degré la réalisation d'une caractéristique est impactée par une modification. Dans la troisième contribution nous exploitons à nouveau ces liens de traçabilité (contribution No 1) pour proposer une approche permettant de satisfaire deux objectifs. Le premier concerne l'extraction de l'architecture de la ligne de produits. Nous proposons un ensemble d'algorithmes pour identifier les points de variabilité architecturale à travers l'identification des points de variabilité au niveau des caractéristiques. Le deuxième objectif concerne l'identification des liens de traçabilité entre les caractéristiques et les éléments de l'architecture de la ligne de produits. Les résultats de l'expérimentation montre que l'efficacité de notre approche dépend de l'ensemble des configurations de caractéristiques utilisé (disponibles via les variantes de produits analysés). / Software Product Line Engineering (SPLE) is a software engineering discipline providing methods to promote systematic software reuse for developing short time-to-market and quality products in a cost-efficient way. SPLE leverages what Software Product Line (SPL) members have in common and manages what varies among them. The idea behind SPLE is to builds core assets consisting of all reusable software artifacts (such as requirements, architecture, components, etc.) that can be leveraged to develop SPL's products in a prescribed way. Creating these core assets is driven by features provided by SPL products.Unfortunately, building SPL core assets from scratch is a costly task and requires a long time which leads to increasing time-to-market and up-front investment. To reduce these costs, existing similar product variants developed by ad-hoc reuse should be re-engineered to build SPLs. In this context, our thesis proposes three contributions. Firstly, we proposed an approach to recover traceability links between features and their implementing source code in a collection of product variants. This helps to understand source code of product variants and facilitate new product derivation from SPL's core assets. The proposed approach is based on Information Retrieval (IR) for recovering such traceability links. In our experimental evaluation, we showed that our approach outperforms the conventional application of IR as well as the most recent and relevant work on the subject. Secondly, we proposed an approach, based on traceability links recovered in the first contribution, to study feature-level Change Impact Analysis (CIA) for changes made to source code of features of product variants. This approach helps to conduct change management from a SPL's manager point of view. This allows him to decide which change strategy should be executed, as there is often more than one change that can solve the same problem. In our experimental evaluation, we proved the effectiveness of our approach in terms of the most used metrics on the subject. Finally, based on traceability recovered in the first contribution, we proposed an approach to contribute for building Software Product Line Architecture (SPLA) and linking its elements with features. Our focus is to identify mandatory components and variation points of components. Therefore, we proposed a set of algorithms to identify this commonality and variability across a given collection of product variants. According to the experimental evaluation, the efficiency of these algorithms mainly depends on the available product configurations.

Dans le secteur de l'agroalimentaire, l'utilisation de la RFID permet d'améliorer la sécurité des produits alimentaires tout en assurant une meilleure traçabilité et un meilleur suivi des produits. Le travail de cette thèse était principalement réalisé dans le cadre d’un projet en coopération avec plusieurs partenaires académiques et industriels dans le secteur fromager où l’objectif principal du projet était de maitriser l’ensemble des étapes de fabrication par un parfait suivi de la traçabilité des produits et un pilotage précis de l’affinage. Le travail réalisé dans cette thèse s'inscrit dans ce contexte et a comme objectif le développement de tags RFID UHF adaptés aux contraintes des produits alimentaires en assurant une double fonction: une fonction de traçabilité à identification unitaire, et ensuite une fonction de détection du degré de maturation de l'aliment par mesure indirecte de ses propriétés électromagnétiques et physico-chimiques.La première étape du projet était la caractérisation des paramètres électromagnétiques des produits alimentaires durant l’affinage afin de réaliser une conception appropriée de l'antenne du tag. En radiofréquences, c'est principalement le substrat qui dicte les propriétés électromagnétiques des composants, notamment la taille des antennes et leur diagramme de rayonnement. La connaissance de ces propriétés est indispensable afin de répondre aux exigences industrielles et d'intégrer dans de bonnes conditions les systèmes dans l'environnement applicatif. En plus, une étude de corrélation est réalisée entre la variation des propriétés diélectriques et celle des propriétés chimiques durant la période d’affinage des produits. Cette étude aide à comprendre la différence entre les différents produits et permet de déterminer les paramètres principaux à suivre durant l’affinage pour la conception du tag capteur.La deuxième étape était la conception des tags identifiants pour la traçabilité des produits alimentaires durant la procédure de fabrication. L’objectif principal est de réaliser un tag identifiant avec une performance qui répond aux besoins des fabricants dans le secteur fromager concernant la taille, la mémoire et la distance de lecture du tag tout en respectant les normes de santé au niveau d’emballage du tag ainsi que le substrat utilisé. Plusieurs configurations de tag RFID UHF étaient réalisées et testées dans un environnement industriel où les résultats obtenus montrent l’efficacité d’utiliser un système de RFID pour automatiser la traçabilité des produits dans le secteur fromager.La troisième étape concerne la conception des tags capteurs pour suivre le degré d’affinage des produits pendant la période de maturation. Une première solution, basée sur l’exploitation de l’effet de variation des propriétés diélectriques sur la distance de lecture de tag, montre un manque de performance due aux faibles variations ainsi qu’aux difficultés de mesure dans un environnement réel. Une deuxième solution basée sur la mesure de taux de dégagement des gaz durant l’affinage montre la possibilité d’estimer le degré d’affinage. Par contre, la puissance d’activation de capteur et le coût élevé ne permettent pas d’adopter cette solution. Finalement, deux solutions alternatives étaient réalisées pour mesurer l’augmentation du taux d’échapement des gaz d’une manière indirecte. La première configuration de tag capteur est basée sur le suivi du changement de dimensions du produit en utilisant un capteur résistif. D’autre part, la deuxième configuration de tag capteur est basée sur le suivi de changement de pression dans l’emballage du produit dû à la production de gaz. Les résultats obtenus montrent que ces deux configurations de tag RFID capteur peuvent offrir des solutions simples et efficaces pour le pilotage de l’affinage des produits alimentaires. / In the food sector, the use of RFID makes it possible to improve the safety of food while ensuring better traceability and better monitoring of products. The work of the thesis was mainly carried out within the framework of a project in cooperation with several academic and industrial partners in the cheese sector where the main objective of the project is to develop UHF RFID tags adapted to the constraints of food products by ensuring a dual function: a traceability function with unitary identification, and then a sensing function of cheese maturation by indirect measurement of its electromagnetic and physicochemical properties.The first step of the project was the characterization of the electromagnetic parameters of food products during ripening in order to achieve an appropriate design of the tag antenna. Knowledge of these properties is essential to meet industrial requirements and to integrate systems in right conditions. Also, a correlation study is carried out between the variation of the dielectric properties and that of the chemical properties during the period of cheese ripening. This study helps to understand the difference between cheese types and allows determining the main parameters to follow during cheese maturation for the design of the sensor tag.The second step was the design of identification tags for the traceability of food products during the manufacturing process. The primary objective is to create a UHF RFID tag with a performance that meets the needs of manufacturers in the cheese sector regarding the size, memory and reading distance while respecting the health standards at the packaging level as well as the substrate used. Several UHF RFID tag configurations were realized and tested in an industrial environment where the results obtained show the effectiveness of using an RFID system to automate the traceability of products in the cheese sector.The third step is the design of sensor tags to track the degree of maturation of products during the ripening period. A first solution, based on the exploitation of the effect of variation of the dielectric properties on the tag reading distance, shows a lack of performance due to the small variations as well as the difficulties of measurement in a real environment. A second solution based on the analysis of gas evolution rate shows the possibility of estimating the degree of cheese maturation. However, the sensor activation power and the high cost represent significant challenges and thus it was difficult to adopt this solution. Finally, two alternative solutions to measure the effect of gas evolution were presented. The idea is based on monitoring other parameters varying due to the increase of gas release during cheese maturation. The first sensor tag configuration traces the variation of product dimension due to maturation using a resistive sensor. On the other hand, the second sensor tag configuration measures the change of pressure inside the product packaging due to gas production. The results obtained show that these two sensor RFID tag configurations can offer simple and practical solutions for controlling the cheese ripening process.

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. / Flowmeters are well known technologies and highly prevalent but not free of errors, the causes can be quite varied. These sensors installed in sewer systems can’t be in situ calibrate. A method of in situ verification of flow meters, used for pseudo-calibrations, is presented. Indeed, the injection of a tracer in a flow allows to calculate the flow and its uncertainty in a manner independent of probes in place. This methodology, in seven steps, provides results comparable to those provided by methods considered standards (tracer salts and electromagnetic flowmeter). The first applications in combined sewers were conducted for verification of flowmeters (along a main pipe of Greater Lyon) and for calibrations curves (the Syndicat Intercommunal Grand Sanitation Project). For qualitative measures of influents, many previous studies have shown good correlations between pollutant concentrations and the signals provided by turbidimeters and UV/visible spectrometers. A pilot and experimental samples taken during campaigns on the pretreated influent of the waste water treatment plant of Fontaines-sur-Saône, a bench was built to meet the following objectives: i) design and test a site measuring of a new generation, ii) seek regression models among different sensors (single and dual length(s)-wavelength(s) turbidimeters, conductivity meter, pH meter, UV/visible spectrometer, microwave sensors) and pollutant concentrations for samples of dry weather, wet weather and all, iii) characterize the performance of these models and iv) test the robustness of the proposed methods under atypical conditions but succeptibles to be encountered in sewers. The results confirm the good correlations between few parameters (turbidity, conductivity and UV/Vis fingerprint) and pollutant concentrations. No sensor is the most efficient for all pollutants. The majority of sensors deliver similar estimates to uncertainties but these estimates are little or no redundant with laboratory analysis. The design of the bench (and changes in wastewater matrices) and / or experimental conditions during the tests of robustness may be involved.

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 / "Human-to-Machine" authentication is widely developed for modern telecommunications. A "Machine-to-Human" authentication will ensure the trusted human user about the integrity of the machine, for example during an electronic voting session or object verification in secure traceability. This work is focused on secure traceability without any systematic access to a communication network. We depict different technics for goods authentication and we focus on a method based on the characterization of printed patterns. To completely authenticate an object, we show that a human verifier has to be confident in the integrity of the third party and the electronic system involved in the verification phase. However, the authenticity of the electronic system itself has also to be verified. We address here the following question : how a human being can convince himself about the integrity and the authenticity of an embedded system in an off-line environment ? We propose two groups of solutions. In the first one, an auxiliary electronic device is used to perform computing operations. In the second one, the human capability (memory and computational abilities) is exploited. In each group, we propose a protocol to authenticate embedded systems for which the chip (typically an FPGA (Field Programmable Gate Array) or a microcontroller) is initialized according to the configuration or programming of its RAM memory

Ce travail vise à étudier les dispositifs de gestion des risques comme révélateurs de rapports inédits entre science, technique et société, en s'appuyant sur les exemples de la vache folle et des OGM. Le recours à des comités d'experts scientifiques et à des dispositifs de traçabilité des produits témoigne d'une forme de technicisation qui ne se réduit pas à un mécanisme de maîtrise technocratique mais se révèle porteur d'un possible réinvestissement politique.<br />Le premier chapitre présente l'émergence de diverses conceptualisations de la notion de risque, et pointe leur convergence vers la mise au jour d'un indéterminisme scientifique et technique. Les phénomènes actuels de risque sanitaire relèvent d'une crise de l'expertise corrélée à certaines spécificités du secteur agro-alimentaire.<br />Le deuxième chapitre étudie en parallèle le fonctionnement de trois comités d'experts, et montre que l'appropriation du rôle d'expert passe par la construction de certaines normes de débat collectif et de formulation des avis, référant à une conscience forte de la responsabilité sociale du spécialiste; si l'expertise renvoie à un travail concret d'ajustement de ressources diverses, empreint de cadrages subjectifs, la pratique des experts en situation de forte incertitude scientifique conduit à des énoncés réflexifs, fournissant au profane des repères sur les savoirs disponibles ainsi que sur leurs limites et sur les difficultés de leur enrôlement dans des options d'action publique.<br />Le troisième chapitre analyse la portée des dispositifs de traçabilité et d'étiquetage de la viande bovine et des produits susceptibles de contenir des OGM. En pointant les modifications des pratiques professionnelles que suscite la traçabilité, nous montrons qu'elle sous-tend une convention de qualité civique liée à une nouvelle forme de régulation des filières : le produit se trouve relié à l'activité de production, invitant le consommateur à une forme de vigilance quant au fonctionnement et aux orientations des filières agro-industrielles.<br />La prise en compte des risques dans la société ne se réduit ainsi ni à une gestion technique reposant sur un corpus fermé de savoirs et d'experts, ni à une ouverture intégrale à la participation citoyenne : un double regard sur les évolutions des sphères politique d'une part, économique et industrielle de l'autre, indique la possibilité d'une expertise contribuant à une maîtrise procédurale et réflexive des activités techniques, reposant sur une réouverture des boîtes noires des arbitrages techniques au bénéfice du citoyen-consommateur.

Echinococcus multilocularis est un parasite nécessitant pour survivre un passage successif entre les carnivores, comme le renard et les micro-mammifères. Le parasite est responsable chez l'homme de l'Echinococcose Alvéolaire, une maladie mortelle si elle n'est pas prise en charge. Uniquement décrit dans l'hémisphère nord (Chine, Japon, Europe et Amérique du Nord), la distribution spatiale du parasite semble connaître une évolution récente, notamment en Europe, où l'Arc alpin est décrit comme le foyer historique d'E. multilocularis dans cette région. Le génotypage a été choisi pour étudier la diffusion du parasite en Europe. Cependant, le manque d'outils de détection du polymorphisme du parasite nécessitait la recherche et la caractérisation de marqueurs possédant un haut pouvoir discriminant. Après caractérisation et validation de la cible EmsB multilocus répétée en tandem, la diversité génétique du parasite en Europe a été étudiée à différentes échelles spatiales d'analyse. A l'échelle micro-locale (rongeurs parasités d'une même pâture), les isolats présentaient une faible diversité génétique entre eux, évoquant une contamination des rongeurs par une même source infectieuse (e.g. les fèces d'un même renard parasité). A l'échelle locale (900 km²), 140 parasites de 25 renards ont été étudiés. Les parasites présentaient une diversité génétique permettant de distinguer 6 profils EmsB. La présence simultanée de différents profils chez le renard a été décrite de manière fréquente, évoquant des infestations répétées des renards. Un faible taux d'hétérozygotie a été trouvé chez le parasite, ce qui pourrait être expliqué par un mode de reproduction principalement clonal. A l'échelle continentale (9 sous-régions européennes de la zone endémique historique et de la périphérie de celle-ci) la diversité génétique et la structure spatiale du polymorphisme ont été étudiées à partir de 653 isolats (596 vers adultes isolés de 129 renards, 57 lésions opérés chez des patients et des animaux vivant en captivité). Une grande diversité génétique a été observée en Europe, avec la description de 54 profils EmsB. Des profils transversaux ont été trouvés de part et d'autre de la zone d'étude alors que d'autres plus endémiques étaient limités spatialement. L'étude de la composition génétique au sein des sous-régions européennes a permis de mettre en évidence une plus grande diversité génétique dans le foyer historique par rapport à sa zone périphérique, où quelques profils représentaient la majorité des parasites. Cette distribution évoque une dispersion du parasite à partir de la zone centrale vers la zone périphérique dans un système de transmission « continent-île ». Chez l'homme et l'animal en captivité des profils EmsB décrits comme endémiques ont été trouvés sur plusieurs années, montrant une contamination de manière locale par une même souche. Cette étude constitue la première application d'un marqueur microsatellite multilocus pour l'étude de la circulation d'un helminthe à l'échelle continentale.