De nos jours, la notion de responsabilité dans un système distribué est devenue quasiment incontournable dans les techniques de détection de fautes. Elle permet non seulement de détecter les fautes mais aussi de fournir des preuves de dysfonctionnement contre les noeuds fautifs dans un système distribué. Les noeuds dits rationnels, c'est-à-dire des noeuds qui essayent de tirer profit du système en maximisant leur bénéfice sans y contribuer en, sont un exemple.Dans la littérature, il existe deux types de solutions exploitant cette notion : les solutions spécifiques et les solutions génériques.Les solutions spécifiques sont relatives à un type de système distribué donné et se construisent en tenant compte de la structure du système et de l'application qui s'y exécute. Les solutions génériques quant à elles, sont indépendantes du système.Dans cette thèse nous nous intéressons au second type de solutions c'est à dire les solutions génériques. Dans cette classe de solutions, il existe deux approches pour mettre en place la notion de responsabilité : l'approche matérielle et l'approche logicielle.Actuellement le seul protocole logiciel, générique qui permet d'assurer la notion de responsabilité dans un système distribué, est le protocole PeerReview.Ce protocole n'est basé sur une aucune configuration matérielle. Cependant, il n'est pas robuste aux comportements dits rationnels au sein de ses propres étapes.Notre objectif est de fournir une solution logicielle sous-jacente renforçant la notion de responsabilité au niveau d'une application qui s'exécute sur un système distribué en présence de noeuds rationnels.Pour ce faire nous proposons FullReview un protocole qui se base sur la théorie des jeux pour motiver et forcer les noeuds rationnels à suivre les différentes étapes, non seulement au niveau de son propre protocole mais aussi au niveau de l'application qu'il surveille. En outre, FullReview utilise l'architecture classique d'un système responsable, qui associe à chaque noeud un ensemble de noeuds appelés moniteurs ou surveillants, et ayant un rôle de surveillance périodique du noeud en question.Nous prouvons théoriquement que notre protocole est un équilibre de Nash, c'est-à-dire que les noeuds rationnels n'ont aucun intérêt à dévier du protocole.Ce genre de protocole étant coûteux en terme d'échanges de messages, nous nous sommes intéressés à l'étude théorique des différentes techniques de gestion des moniteurs ou surveillants.L'objectif de cette étude est d'identifier les conditions sur les paramètres du protocole pour lesquelles une méthode de gestion convient mieux qu'une autre.De plus nous évaluons notre protocole en l'appliquant à deux applications largement utilisées : SplitStream, un protocole efficace pour la multi-diffusion de flux vidéo et Onion Routing, le protocole de communication anonyme le plus utilisé. Les résultats montrent que FullReview détecte efficacement les comportements rationnels avec un faible surcoût comparé au protocole PeerReview et passe à l'échelle comme ce dernier. / Accountability is becoming increasingly required in today's distributed systems. It allows not only to detect faults but also to build provable evidence about the misbehaving nodes in a distributed system. Rational nodes that aim at maximising their benefit without contributing their fair share to the system, are an example. In the literature, there exists two types of solutions that exploit accountability: specific solutions and generic solutions.Specific solutions are related to a given type of distributed system and are built by taking into account the structure of the system and the running application. As for generic solutions, they are independent to the system.In this thesis we consider the second type of solutions i.e., generic solutions. There exists two approaches in this class of solutions: hardware approach and software approach. Nowadays the only software and generic protocol that allows to enforce accountability in a distributed system is PeerReview protocol. This protocol is not based on any hardware configuration. However, it is not robust to rational behaviour in its own steps.Our objective is to provide a generic software solution to enforce accountability on any underlying application that running on a distributed system in presence of rational nodes.To reach this goal we propose FullReview a protocol that uses game theory to motivate and force rational participants to follow different steps, not only in its own protocol but also in the application that it monitors. Moreover FullReview uses the classical architecture of an accountable system. This architecture assigns to each node in the system, a set of nodes called monitors. Periodically each node is monitored by its set of monitors.We theoretically prove that our protocol is a Nash equilibrium, i.e., nodes do not have any interest in deviating from it.This kind of protocol being costly in terms of messages exchanged, we are interested to the theoretic study of different techniques of monitors management. The objective of this study is to identify conditions on protocol parameters for which a method of management is more appropriate than another.Furthermore, we practically evaluate FullReview by deploying it for enforcing accountability in two applications: (1) SplitStream, an efficient multicast protocol for live streaming, and (2) Onion Routing, the most widely used anonymous communication protocol. Performance evaluation shows that FullReview effectively detects faults in presence of rational nodes while introducing a small overhead compared to PeerReview and scaling as PeerReview.

L'analyse des tolérances des mécanismes a pour but d'évaluer la qualité du produit lors de sa phase de conception. La technique consiste à déterminer si, dans une production de grandes séries, le taux de rebuts des mécanismes défaillants est acceptable. Deux conditions doivent être vérifiées: une condition d'assemblage et une condition fonctionnelle. La méthode existante se base sur le couplage de la simulation de Monte Carlo avec un algorithme d'optimisation qui est très couteuse en temps de calcul. L'objectif des travaux de thèse est de développer des méthodes plus efficaces basées sur des approches probabilistes. Dans un premier temps, il est proposé une linéarisation des équations non linéaires du modèle de comportement afin de simplifier l'étape faisant appel à l'algorithme d'optimisation. Une étude de l'impact de cette opération sur la qualité de la probabilité est menée. Afin de minimiser l'erreur d'approximation, deux procédures itératives pour traiter le problème d'assemblage sont proposées. Ils permettent de calculer la probabilité de défaillance d'assemblage de façon précise en un temps de calcul réduit. En outre, les travaux de thèse ont permis le développement d'une nouvelle méthode de résolution basée sur la méthode de fiabilité système FORM (First Order Reliability Method) système. Cette méthode permet de traiter uniquement le problème fonctionnel. Elle a nécessité la mise au point d'une nouvelle formulation du problème d'analyse des tolérances sous forme système. La formulation décompose le mécanisme hyperstatique en plusieurs configurations isostatiques, le but étant de considérer les configurations dominantes menant à une situation de défaillance. La méthode proposée permet un gain de temps considérable en permettant d'obtenir un résultat en quelques minutes, y compris pour atteindre des faibles probabilités. / Tolerance analysis of mechanism aims at evaluating product quality during its design stage. Technique consists in computing a defect probability of mechanisms in large series production. An assembly condition and a functional condition are checked. Current method mixes a Monte Carlo simulation and an optimization algorithm which is too much time consuming. The objective of this thesis is to develop new efficient method based on probabilistic approach to deal with the tolerance analysis of overconstrained mechanism. First, a linearization procedure is proposed to simplify the optimization algorithm step. The impact of such a procedure on the probability accuracy is studied. To overcome this issue, iterative procedures are proposed to deal with the assembly problem. They enable to compute accurate defect probabilities in a reduced computing time. Besides, a new resolution method based on the system reliability method FORM (First Order Reliability Method) for systems was developed for the functional problem. In order to apply this method, a new system formulation of the tolerance analysis problem is elaborated. Formulation splits up the overconstrained mechanism into several isoconstrained configurations. The goal is to consider only the main configurations which lead to a failure situation. The proposed method greatly reduces the computing time allowing getting result within minutes. Low probabilities can also be reached and the order of magnitude does not influence the computing time.

La fabrication des grandes pièces structurelles aéronautiques en alliage d'aluminium nécessite la réalisation de multiples étapes de mises en forme (laminage, matriçage, etc...) et de traitements thermiques. Les différents chargements mécaniques et thermiques subis par les pièces pendant ces étapes de fabrication induisent des déformations plastiques ainsi que des modifications de la microstructure, qui sont sources de contraintes résiduelles. La géométrie finale des pièces est obtenue par usinage, qui est généralement la dernière étape de fabrication. Jusqu'à 90% du volume de matière initial peut être enlevé durant l'usinage de grandes pièces aéronautiques, qui peuvent également présenter des géométries complexes. La redistribution des contraintes résiduelles pendant l'usinage est une des principales causes de non-conformité des pièces avec les tolérances géométriques et dimensionnelles et donc de non-acceptation de celles-ci.De nos jours, les contraintes résiduelles et leurs effets pendant l'usinage ne sont généralement pas pris en compte lors de la définition des gammes d'usinage. Ce travail de thèse vise donc à proposer une évolution dans l'établissement des gammes d'usinage des pièces de structures en alliage d'aluminium et a été construit autour de deux principaux axes de recherche: un axe numérique et un axe d'analyse mécanique.L'axe numérique est basé sur la mise en place d'une approche de modélisation et le développement d'un outil numérique adapté à la simulation de l'usinage. L'approche de modélisation a été définie à partir d'hypothèses déduites d'études bibliographiques sur les alliages d'aluminium, le procédé d'usinage et les contraintes résiduelles. Une approche numérique d'enlèvements massifs de matière a ainsi été développée et tous les développements ont été intégrés dans les codes sources de FORGE® dans un environnement parallèle.L'axe d'analyse mécanique est basé sur l'étude de la redistribution des contraintes résiduelles et des déformations associées lors de l'usinage. Une première étude appliquée à la méthode expérimentale utilisée pour déterminer les profils de contraintes résiduelles dans des tôles laminées en alliage AIRWARE® 2050-T84 a été réalisée. Les simulations de ces essais ont permis une première validation de l'outil numérique développé et ont démontré la nécessité de définir des gammes d'usinage en fonction des contraintes résiduelles. D'autres études sur l'influence de certains paramètres définis dans les gammes d'usinage sur la qualité d'usinage ont également été menées. Les simulations réalisées ont été validées par de multiples comparaisons avec des résultats expérimentaux, montrant la capacité de l'outil numérique à prédire précisément la géométrie finale des pièces.A l'aide des résultats obtenus sur les précédentes études, une procédure numérique et de premières recommandations pour la définition de gammes d'usinage permettant d'obtenir la qualité d'usinage souhaitée en tenant compte des contraintes résiduelles initiales ont été mises en place. / The manufacturing of aluminium alloy structural aerospace parts involves multiple forming (rolling, forging, etc.) and heat treatment steps. The mechanical and thermal loads that the workpieces undergo during these manufacturing steps result in unequal plastic deformation and in metallurgical changes which are both sources of residual stresses. Machining is usually the last manufacturing step during which the final geometry of the parts is obtained. Up to 90% of the initial volume of the workpiece can be removed during the machining of aerospace structural parts which can furthermore have complex geometries. The residual stress redistribution is one of the main causes of the non-conformity of parts with the geometrical and dimensional tolerance specifications and therefore of the rejection of parts.Nowadays, initial residual stresses and their effect during the machining are often not taken into account in the definition of the machining process plan. This work aims to propose an evolution in the establishment of machining process plans of aluminium structural parts. It has been organised along two principal lines of research: a numerical line and a mechanical analysis line.The numerical line is based on the development of a modelling approach and of a numerical tool adapted to the simulation of the machining process. The modelling approach has been defined based on assumptions deduced from literature reviews on aluminium alloys, on the machining process and on residual stresses. A massive material removal approach has then been developed. All the numerical developments have been implemented into the finite element software FORGE® and are suited to a parallel computing environment.The mechanical analysis line is based on the study of the residual stress redistribution and its effect on the workpiece deflections during the machining as well as on the post-machining distortion. A first study on the layer removal method used to determine the initial residual stress profiles in an AIRWARE® 2050-T84 2050-T84 alloy rolled plate has been realised. The simulation of these experiments has allowed a first validation of the numerical tool and to demonstrate the necessity to define machining process plans in function of the residual stresses. Other studies on the influence of some machining process parameters on the machining quality have then been performed. Simulation results have been validated by multiple comparisons with experimental tests, showing the capability of the numerical tool to predict the final machined part geometries.Using the results of the studies mentioned above, a numerical procedure and first recommendations for the definition of machining process plans allowing to obtain the desired machining quality depending on the initial residual stresses have been established.

L’étude est dédiée à la conception d’un système expert d’aide au tolérancement assurant la gestion multi-utilisateurs, multi-produits et temporelle des tolérances et des dimensions nominales de pièces pour des mécanismes complexes. Ce travail rentre dans le projet ”usine numérique” de grandes entreprises et constitue un maillon manquant de cette chaîne numérique. Les travaux de thèse contribuent à la méthode CLIC (Cotation en Localisation avec Influence des Contacts) sur des liaisons complexes en proposant la spécification adéquate et le calcul de chaîne de cotes tridimensionnelle au pire des cas, dans un contexte de pièces non déformables. L’étude a abouti à onze nouvelles propositions de spécification, qui ne sont pas disponibles actuellement dans les normes utilisées par les industriels. La généralisation des conditions de respect d’un état virtuel aux liaisons complexes est un point fort. Un nouveau critère d’association géométrique a été proposé pour des surfaces constituant une liaison hybride ayant un double comportement, à la fois surfacique et avec jeu. Un algorithme de recherche des points de contact a été élaboré afin d’obtenir la résultante tridimensionnelle en fonction des tolérances et des paramètres nominaux des pièces, en vue d’effectuer la synthèse des tolérances. D’autres algorithmes utilisent une formulation analytique pour d´déterminer la situation au pire des cas. Ces algorithmes sont le fruit de la résolution du problème par la méthode des droites d’analyses. / This study is dedicated to the design of a computer aided tolerancing system guarantying the multi user, multi products and temporal control of nominal dimensions and tolerances for complex mechanisms. This work is part of the industrial “numerical plant” project and represents a missing link of this numerical chain. Present works contribute to the CLIC method (french acronym for ! Cotation en Localisation avec Influence des Contacts”) applied to complex junctions by proposing the appropriate specification and the three dimensional tolerance chain calculation at worst case, in the framework of non-deformable parts. The study leads to eleven new specification proposals, which are not currently available in standards used by industries. The extension of material conditions to complex surfaces is a key point. A new association criterion has been proposed to specify hybrid prismatic surfaces, with a surface contact zone and a zone with clearance. A contact points search algorithm has been elaborated to obtain the three dimensional tolerance chain resultant, as a function of parts’ tolerances and nominal dimensions, in order to perform the tolerance synthesis. Others algorithms use an analytic formulation to determine the worst case configuration. Those algorithms are the problem solve by analysis line method outcomes.

L'objet de ce travail de recherche est de proposer de nouvelles méthodologies probabilistes pour l'analyse<br />dynamique basses fréquences du désaccordage des structures tournantes à symétrie cyclique. La classe de structure étudiée est<br />la roue aubagée. Tout d'abord, un modèle probabiliste non paramétrique récent est utilisé pour construire une approche<br />probabiliste directe, permettant d'analyser l'amplification dynamique de la réponse forcée des aubes, induite par le<br />désaccordage. En particulier, une telle approche permet de modéliser de manière cohérente le désaccordage en fréquences des<br />aubes et le désaccordage en modes des aubes. Ensuite, une approche probabiliste inverse, reposant sur une méthode<br />d'identification des paramètres de dispersion du modèle probabiliste non paramétrique, est construite afin de déterminer les<br />tolérances des aubes, conduisant à une probabilité donnée du facteur d'amplification dynamique de la réponse forcée. Enfin, ces<br />méthodologies sont mises en oeuvre numériquement sur un exemple numérique simple et sur un modèle complexe de roue aubagée.<br />Les réponses forcées désaccordées obtenues par le modèle probabiliste non paramétrique et par le modèle probabiliste<br />paramétrique classiquement utilisé pour la problématique du désaccordage sont comparées. Par ailleurs, la méthodologie du<br />problème inverse permet d'optimiser les tolérances de l'aube pour réduire l'amplification de la réponse forcée. L'analyse des<br />résultats valide la pertinence des méthodologies proposées.