• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 406
  • 150
  • 76
  • 2
  • 1
  • 1
  • Tagged with
  • 632
  • 323
  • 177
  • 174
  • 90
  • 77
  • 76
  • 75
  • 73
  • 72
  • 65
  • 58
  • 53
  • 53
  • 52
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
11

Prise en compte de l'incertitude dans les modèles fiabilistes de maintenance industrielle. Extension aux Sollicitations variables

Basile, Olivier 12 March 2007 (has links)
Résumé : voir fichier joint
12

Analysing and supporting the reliability decision-making process in computing systems with a reliability evaluation framework / Analyser et supporter le processus de prise de décision dans la fiabilité des systèmes informatiques avec un framework d'évaluation de fiabilité

Kooli, Maha 01 December 2016 (has links)
La fiabilité est devenu un aspect important de conception des systèmes informatiques suite à la miniaturisation agressive de la technologie et le fonctionnement non interrompue qui introduisent un grand nombre de sources de défaillance des composantes matérielles. Le système matériel peut être affecté par des fautes causées par des défauts de fabrication ou de perturbations environnementales telles que les interférences électromagnétiques, les radiations externes ou les neutrons de haute énergie des rayons cosmiques et des particules alpha. Pour les systèmes embarqués et systèmes utilisés dans les domaines critiques pour la sécurité tels que l'avionique, l'aérospatiale et le transport, la présence de ces fautes peut endommager leurs composants et conduire à des défaillances catastrophiques. L'étude de nouvelles méthodes pour évaluer la fiabilité du système permet d'aider les concepteurs à comprendre les effets des fautes sur le système, et donc de développer des produits fiables et sûrs. En fonction de la phase de conception du système, le développement de méthodes d'évaluation de la fiabilité peut réduire les coûts et les efforts de conception, et aura un impact positif le temps de mise en marché du produit.L'objectif principal de cette thèse est de développer de nouvelles techniques pour évaluer la fiabilité globale du système informatique complexe. L'évaluation vise les fautes conduisant à des erreurs logicielles. Ces fautes peuvent se propager à travers les différentes structures qui composent le système complet. Elles peuvent être masquées lors de cette propagation soit au niveau technologique ou architectural. Quand la faute atteint la partie logicielle du système, elle peut endommager les données, les instructions ou le contrôle de flux. Ces erreurs peuvent avoir un impact sur l'exécution correcte du logiciel en produisant des résultats erronés ou empêcher l'exécution de l'application.Dans cette thèse, la fiabilité des différents composants logiciels est analysée à différents niveaux du système (en fonction de la phase de conception), mettant l'accent sur le rôle que l'interaction entre le matériel et le logiciel joue dans le système global. Ensuite, la fiabilité du système est évaluée grâce à des méthodologies d'évaluation flexible, rapide et précise. Enfin, le processus de prise de décision pour la fiabilité des systèmes informatiques est pris en charge avec les méthodes et les outils développés. / Reliability has become an important design aspect for computing systems due to the aggressive technology miniaturization and the uninterrupted performance that introduce a large set of failure sources for hardware components. The hardware system can be affected by faults caused by physical manufacturing defects or environmental perturbations such as electromagnetic interference, external radiations, or high-energy neutrons from cosmic rays and alpha particles.For embedded systems and systems used in safety critical fields such as avionic, aerospace and transportation, the presence of these faults can damage their components and leads to catastrophic failures. Investigating new methods to evaluate the system reliability helps designers to understand the effects of faults on the system, and thus to develop reliable and dependable products. Depending on the design phase of the system, the development of reliability evaluation methods can save the design costs and efforts, and will positively impact product time-to-market.The main objective of this thesis is to develop new techniques to evaluate the overall reliability of complex computing system running a software. The evaluation targets faults leading to soft errors. These faults can propagate through the different structures composing the full system. They can be masked during this propagation either at the technological or at the architectural level. When a fault reaches the software layer of the system, it can corrupt data, instructions or the control flow. These errors may impact the correct software execution by producing erroneous results or prevent the execution of the application leading to abnormal termination or application hang.In this thesis, the reliability of the different software components is analyzed at different levels of the system (depending on the design phase), emphasizing the role that the interaction between hardware and software plays in the overall system. Then, the reliability of the system is evaluated via a flexible, fast, and accurate evaluation framework. Finally, the reliability decision-making process in computing systems is comprehensively supported with the developed framework (methodology and tools).
13

Contribution à l'amélioration de la fiabilitédu réseau électrique de la province du Katanga/RD Congo

Kyoni, Idriss 19 April 2018 (has links)
RésuméLa République Démocratique du Congo est dotée d’un potentiel hydroélectrique estimé à 100.000MW répartis sur 217 sites, dont 2.6% du potentiel est exploité à ce jour. Malgré ce potentiel, malheureusement le taux d’accès de la population congolaise à l’électricité est de 9%, contre une moyenne africaine évaluée à 24.6%. La province du Katanga étant le poumon économique de la RDC est dotée de 24 sites pouvant produire une puissance exploitable de 1952MW, mais actuellement, seulement 4 sites sont en exploitation pour une puissance de 468MW.Suite à l’intensification d’activités industrielles dans la province du Katanga pour la production de matières premières (cuivre et cobalt essentiellement) ces dernières années et à l’accroissement de la population urbaine, la demande en énergie électrique ne fait qu’augmenter d’année en année. Le gestionnaire de réseau face à cette réalité, recourt en permanence à l’importation d’électricité depuis la Zambie pour satisfaire la clientèle. Mais malgré ce recours, la charge n’est pas totalement satisfaite, alors le gestionnaire est conduit à instaurer une politique de délestage tournant pour soulager son réseau électrique.Le but de notre thèse est l’amélioration de la fiabilité/sécurité d’approvisionnement du réseau katangais par des approches locales qui sont constituées de construction de nouvelles centrales électriques et de voir dans quelle mesure le recours au stockage peut contribuer à cette amélioration. La fiabilité du système électrique sera caractérisée par les indicateurs de fiabilité de niveaux hiérarchiques I et II. Pour atteindre notre objectif, une modélisation simplifiée, mais suffisamment détaillée, du réseau électrique sud/SNEL (Société Nationale d’Electricité) s’est avérée nécessaire, et l’application des outils de résolution des OPF (Optimal Power Flow) à ce réseau nous a permis d’estimer les indicateurs de fiabilité et de faire également l’analyse de sécurité du système. Cette analyse a servi à identifier les lignes et transformateurs candidats au renforcement du réseau.Les résultats obtenus ont montré une faible influence de l’utilisation des unités de stockage sur les indicateurs de fiabilité au niveau de la haute tension. Néanmoins des bons résultats ont été obtenus lors de l’utilisation du stockage au niveau de la distribution. Pour améliorer davantage les indicateurs de fiabilité, nos recherches présentent les perspectives sur les modèles de charge, la prise en compte d’un modèle de réseau étalé jusqu’à la moyenne tension ainsi d’une étude dynamique. SummaryThe Democratic Republic of Congo (DRC) is endowed with a hydroelectric potential estimated at 100.000MW. This potential is distributed on 217 sites, among which only 2.6% is exploited to this day. But unfortunately, in spite of this potential, only 9% of the Congolese population have access to electricity, while the African average is estimated at 24.6%. The province of Katanga, considered as the economic lung of the DRC, is endowed with 24 sites, which can produce an exploitable power of 1952MW. At present, only 4 out of the 24 sites are in exploitation, for an installed power of 468MW.These last years, the province of Katanga has encountered an intensification of industrial activities for the production of raw materials such as copper and cobalt. Furthermore, the urban population is rapidly expanding. These two factors are causes of a constant increase of the demand in electrical energy. To deal with this requirement, the electrical system operator is forced to import a part of the supply from Zambia in order to satisfy the customers. However, despite this importation, the load is not fully satisfied. The system operator must then establish a policy of rotating load shedding to relieve the network.The purpose of our thesis is the improvement of the supply reliability/safety of the Katanga network, by local approaches which are constituted of the construction of new power plants, and to see to which extent storage can contribute to this improvement. The reliability of the electrical system will be characterized by reliability indicators at hierarchical levels I and II. To reach this goal, a simplified, yet sufficiently detailed modeling of the south network/SNEL (National Company of Electricity) was necessary, and the application of OPF (Optimal Power Flow) tools to this network model allowed us estimating the reliability indicators and making the safety analysis of the system. This analysis helped identify lines and transformers that are candidates to the reinforcement of the network.The obtained results showed a weak influence of the use of the storage units on the reliability indicators at the high voltage level. Nevertheless, good results have been obtained when using storage at the distribution level. For a better improvement of the reliability indicators of the Katanga network, our research works present perspectives on the models of load, taking into account an extended network model up to the medium voltage and a dynamic study. / Doctorat en Sciences de l'ingénieur et technologie / info:eu-repo/semantics/nonPublished
14

Fiabilité et durabilité d'un embrayage magnétorhéologique utilisé en glissement continu pour le contrôle des surfaces de vols primaires d'aéronefs

Desrosiers, Jean-François January 2013 (has links)
Le projet de recherche financé par une subvention RDC du CRSNG et le CRIAQ est un partenariat entre Bombardier Aéronautique, Bell Helicopter, l'Université de Sherbrooke et l'Université Laval. Le principal objectif de ce projet est d'évaluer le potentiel de remplacer les actionneurs hydromécaniques par des actionneurs électromécaniques pour les commandes de vols primaires du Bell 407. La composante critique de l'actionneur électromécanique visé est un embrayage magnétorhéologique (MR). En effet, le fonctionnement de ce type d'embrayage est bien connu, mais la fiabilité ainsi que la durabilité de cette technologie restent à être prouvées. Le présent projet de maîtrise consiste donc à étudier la fiabilité ainsi que la durabilité d'un embrayage MR utilisé en glissement continu. Dans un premier temps, une analyse de fiabilité du système complet aux composantes (Top-Down) a été réalisée selon les méthodes et les techniques standards (FMEA et FTA) utilisées dans le domaine de l'aéronautique. Le manque d'informations concernant les modes de défaillance et la durabilité des embrayages MR a nécessité une étude expérimentale. Pour ce faire, un banc d'essais de longue durée complètement autonome a été conçu et fabriqué. Au total, 1750 heures de tests en glissement continu ont été réalisées sur des embrayages MR. Il y avait deux objectifs à ces tests. Le premier était d'étudier l'effet des paramètres d'opération (température, vitesse, couple) sur la durée de vie du fluide MR. Le deuxième était d'évaluer l'impact de la dégradation du fluide MR sur les performances d'un embrayage MR. Au final, le projet de recherche a permis de : 1. Évaluer les requis de fiabilité pour chacune des composantes d'un embrayage MR lorsqu'utilisé dans un système d'actuation pour des commandes de vol primaire d'un hélicoptère ; 2. Obtenir une compréhension plus fine du processus de dégradation du fluide MR et l'impact sur les performances des embrayages MR; 3. Doubler la durée de vie des embrayages MR par le développement d'une technique de circulation interne du fluide MR permettant l'utilisation d'un plus grand volume de fluide MR et ce, sans pénalité de poids, de volume et de coût.
15

Techniques de contrôle de congestion et de dissémination d'informations dans les réseaux véhiculaires

Chakroun, Omar January 2014 (has links)
Les réseaux véhiculaires, connus sous le terme VANETs, sont des réseaux impliquant des communications entre deux ou plusieurs véhicules et éventuellement une communication avec des éléments d’infrastructure sur la route. Récemment, le concept de systèmes de transports intelligent a connu beaucoup d’intérêt. Les STI sont des systèmes utilisant les nouvelles technologies de communication sans fil appliquées au domaine du transport pour améliorer la sécurité routière, la logistique et les services d’information. Des défis majeurs ont besoin cependant d'être abordés pour offrir une communication sur la route sécurisée et fiable dans des environnements anonymes et quelquefois hostiles à la communication. Comme dans tout système de communication, les réseaux véhiculaires doivent opérer en respectant des contraintes en termes de qualité de service. Ces contraintes sont d’autant plus strictes quand il s’agit de fournir des services de sécurité sur la route. Ce projet vise à développer des techniques de communication véhiculaires pour le relayage d’informations de manière fiable et à faible délai entre véhicules voyageant à haute vitesse. Ces techniques devront permettre de respecter des contraintes temporelles sévères afin d’envisager leur utilisation dans des applications de sécurité sur la route. Pour ce faire, cette thèse proposera d’abord des techniques efficaces de dissémination d’informations utilisant des approches multi-métriques basées sur différentes mesures en temps-réel. Des méthodes de relayage seront proposées qui permettent de diminuer les délais d’acheminement et augmenter la probabilité de réception. Ces méthodes utiliseront, entre autres, des approches d’adaptation de la portée et/ou de la priorité des messages en fonction de leur type et de l’intérêt éventuels des véhicules récepteurs en la réception de ces messages. Dans un second volet, ce projet proposera des concepts et des méthodes afin de palier au problème de congestion dans les réseaux véhiculaires qui peut résulter conjointement à la dissémination d’informations. Ces concepts et méthodes viseront à respecter la fiabilité exigée par les applications de sécurité, tout en restant conforme aux nouveaux standards de communications véhiculaires.
16

Optimisation en présence d’incertitudes / Optimization in the presence of uncertainties

Holdorf Lopez, Rafael 31 May 2010 (has links)
L’optimisation est un sujet très important dans tous les domaines. Cependant, parmi toutes les applications de l’optimisation, il est difficile de trouver des exemples de systèmes à optimiser qui ne comprennent pas un certain niveau d'incertitude sur les valeurs de quelques paramètres. Le thème central de cette thèse est donc le traitement des différents aspects de l’optimisation en présence d’incertitudes. Nous commençons par présenter un bref état de l’art des méthodes permettant de prendre en compte les incertitudes dans l’optimisation. Cette revue de la littérature a permis de constater une lacune concernant la caractérisation des propriétés probabilistes du point d’optimum de fonctions dépendant de paramètres aléatoires. Donc, la première contribution de cette thèse est le développement de deux méthodes pour approcher la fonction densité de probabilité (FDP) d’un tel point : la méthode basée sur la Simulation de Monte Carlo et la méthode de projection en dimension finie basée sur l’Approximation par polynômes de chaos. Les résultats numériques ont montré que celle-ci est adaptée à l’approximation de la FDP du point optimal du processus d'optimisation dans les situations étudiées. Il a été montré que la méthode numérique est capable d’approcher aussi des moments d'ordre élevé du point optimal, tels que l’aplatissement et l’asymétrie. Ensuite, nous passons au traitement de contraintes probabilistes en utilisant l’optimisation fiabiliste. Dans ce sujet, une nouvelle méthode basée sur des coefficients de sécurité est développée. Les exemples montrent que le principal avantage de cette méthode est son coût de calcul qui est très proche de celui de l’optimisation déterministe conventionnelle, ce qui permet son couplage avec un algorithme d’optimisation globale arbitraire. / The optimization is a very important tool in several domains. However, among its applications, it is hard to find examples of systems to be optimized that do not possess a certain uncertainty level on its parameters. The main goal of this thesis is the treatment of different aspects of the optimization under uncertainty. We present a brief review of the literature on this topic, which shows the lack of methods able to characterize the probabilistic properties of the optimum point of functions that depend on random parameters. Thus, the first main contribution of this thesis is the development of two methods to eliminate this lack: the first is based on Monte Carlo Simulation (MCS) (considered as the reference result) and the second is based on the polynomial chaos expansion (PCE). The validation of the PCE based method was pursued by comparing its results to those provided by the MCS method. The numerical analysis shows that the PCE method is able to approximate the probability density function of the optimal point in all the problems solved. It was also showed that it is able to approximate even high order statistical moments such as the kurtosis and the asymmetry. The second main contribution of this thesis is on the treatment of probabilistic constraints using the reliability based design optimization (RBDO). Here, a new RBDO method based on safety factors was developed. The numerical examples showed that the main advantage of such method is its computational cost, which is very close to the one of the standard deterministic optimization. This fact makes it possible to couple the new method with global optimization algorithms.
17

Contribution à la simulation et à l'expérimentation des nanotubes de carbone avec prise en compte d'incertitudes / Study of mechanical and electromechanical properties of SWCNTs materials by simulation and experimental methods in considering uncertainties

Tang, Xingling 24 March 2015 (has links)
En raison des propriétés physiques, électriques, mécaniques et chimiques exceptionnelles, les nanotubes de carbone(CNTs) sont considérés comme l'un des nanomatériaux les plus importants aujourd'hui. CNTs peuvent être classées comme des nanotubes de carbone à paroi simple (SWCNTs) ou des nanotubes de carbone à parois multiples (MWCNTs). La structure d'un SWCNT peut être vue comme une couche d’un atome de graphite de cylindres laminés. Les propriétés des SWCNTs sont fondamentales pour la recherche et pour de nombreuses applications en médecine, en électronique, en environnement, pollution... Le but de cette thèse est d'étudier les propriétés mécaniques et électromécaniques des matériaux SWCNTs avec différentes morphologies. Nous avons étudié les propriétés élastiques des SWCNTs individuels en utilisant la méthode des éléments finis (FE). Nous avons montré que les modules élastiques de SWCNTs dépendent du diamètre, chiralité et la longueur. Les modules élastiques augmentent significativement selon les plus petites valeurs du rayon. Lorsque le rayon devient plus grand, tous les modules élastiques convergent vers une valeur constante asymptotique. En outre, les modules de zigzag et SWCNT chirales sont plus sensibles à la variation du rayon par rapport à SWCNT fauteuil. Nous avons testé le module élastique de SWCNT film mince par nanoindentation. Nous avons trouvé que le module d'Young E et la dureté H de SWCNT film mince sont séparément E= 192.831± 13.922 GPa, H=12.57719 ± 0.759 GPa. Nous avons élaboré un modèle par éléments finis qui représente le comportement des SWCNT film mince dans le processus de nanoindentation. Dans cette étude nous avons élaboré un modèle élasto-plastique pour décrire le comportement mécanique du matériau au cours de l'indentation. Ensuite, nous avons évalué les propriétés élasto-plastiques de SWCNT film mince par l’interaction de la simulation par éléments finis avec les données statistiques du test expérimental. Le modèle bilinéaire proposé approxime bien la performance de SWCNT film mince dans la nanoindentation. Finalement, nous avons étudié les propriétés électrostrictives du composite (P (VDF-TrFE) / SWCNT) à base de SWCNTs par la méthode des éléments finis. Les résultats numériques trouvés montrent que l'électrostriction du composite SWCNT / P (VDP-TrFE) est considérablement dépendant de la fraction volumique de SWCNT et du rapport des constantes diélectriques (SWCNT et P (VDP-TrFE)). Dans ce travail, nous avons constaté que les propriétés des CNTs obtenues théoriquement ou expérimentalement impliquent des inévitables incertitudes. Donc la prise en compte des incertitudes des propriétés des CNTs devient nécessaire. Pour l’analyse de ces incertitudes, nous avons appliqué la méthode de l'optimisation basée sur la fiabilité (RBO). Cette méthode est un outil efficace pour assurer la fiabilité des résultats expérimentaux et numériques dans le processus d'estimation du comportement élasto-plastique pour SWCNT film mince. / Carbon nanotubes (CNTs) as one of the most important nanomaterials today have been demonstrated a combination of exceptional physical, electrical, mechanical, and chemical properties, which have resulted in their great potential of industrial application in many fields. CNTs can be categorized as single-walled carbon nanotubes (SWCNTs) and multi-walled carbon nanotubes (MWCNTs). The structure of a SWCNT can be viewed as one-atom-thick layer of graphite rolled cylinder. Well understand the property of SWCNTs is fundamental in the exploration of research and applications of CNTs based products.The present research is focus on evaluating the mechanical and electromechanical properties of SWCNTs materials with different material morphology. Under the hierarchical (or bottom-up) ideal, the elastic properties of the individual SWCNTs were studied by using Finite element (FE) method. Effects of the diameter, chirality and length on the elastic moduli of SWCNTs are discussed based on numerical calculations. Furthermore, the ultra-thin SWCNTs film (~200nm) is prepared by spin coating method. The elastic modulus of SWCNT thin film is estimated by nanoidentation test. Its elasto-plastic properties were then determined by FE simulation combined with the statistics constraints of the experimental results. The results showed that the mechanical performance of SWCNTs thin film during indentation can be approximately represented by a bilinear model. The mechanical parameters of SWCNTs thin film obtained by experiment and numerical calculation are : the Young’s modulus E=192.83± 13.922 Gpa, the tangent modulus Et ≈ 42GPa, and the yield stress Oy ≈ 8.4GPa, respectively. The electrostrictive properties of SWCl\lT- based composite (P(VDF-TrFE)/SWCNT) were also investigated by FE method. Numerical results show that the electrostriction of the SWCNT/P(VDP-TrFE) composite is greatly dependent on the volume fraction of SWCNT and the difference of dielectric constant between SWCNT and P (VDP-TrFE) copolymer. In this work, we found that the properties of CNTs obtained either by theory or by experiments involve inevitable uncertainty, and some are relatively large. Therefore, uncertainty analysis for the predicted properties of CNTs becomes necessary with the increasing product performance demands. The application of Reliability-Based Optimization (RBO) method in the process of elasto-plastic behavior estimation for SWCNT thin film indicates that RBO method should be an effective tool to ensure the reliability of experimental and numerical results.
18

Test et fiabilité des mémoires MRAM / Test and reliability of Magnetic RAM (MRAM) memories

Seabra de Azevedo, João Batista 11 October 2013 (has links)
De nos jours, les mémoires occupent une grande superficie en silicium dans les System-on-Chip. Très largement utilisés, les mémoires Flash non volatiles présentent encore plusieurs inconvénients. Les MRAMs permettent de répondre à toutes les problématiques liées aux Flash. Cependant, elles sont sujettes à des défauts comme tout autre type de mémoire. Très peu de travaux portent sur le test de MRAM et la recherche effectuée dans ce domaine vise principalement la première génération de mémoires magnétiques. Dans ce travail, la physique derrière la modélisation MTJ est abordée. Cette compréhension est le point de départ pour développer un modèle fiable. Le MTJ est l'élément de base pour les technologies MRAM. L'injection de défauts résistif ouvert, résistif courts-circuits et capacitives ont été réalisées dans le but d'analyser les mécanismes de défaillance spécifiques de la TAS-MRAM. Un test du type march spécifique est proposé à l'aide des résultats d'analyses d'injection de défauts et de l'association de chaque mécanisme de défaillance à un modèle de défaut fonctionnel spécifique. L'évolution du TAS-MRAM est la MRAM à base MLU qui est également développée par Crocus Technology. Finalement, un modèle MLU-MTJ sera élaboré et discuté. / Memories occupy most of the silicon area in nowadays System-on-Chips. Though widely used, non-volatile Flash memories still have several drawbacks. MRAMs have the potential to mitigate almost all Flash related issues. However, they are prone to defects as any other kind of memory. Only few studies on MRAM testing can be found in the literature, and target mainly the first generation of Magnetic Memories.In this work the physics behind MTJ modeling is discussed in this work as this understanding is the starting point in order to develop a reliable model. MTJ is the basic building block of MRAMs. Moreover, Resistive-open, resistive-bridge and capacitive of defect injection are performedin order to analyze specific failure mechanisms of TAS-MRAMs. As result of defect injection analyses and the association of each failure mechanism to a specific functional fault model, a specific march test is proposed. The evolution of TAS-MRAMs is the MLU based MRAM also developed by Crocus Technology. Finally, a MLU-MTJ model will be developed and discussed.
19

Injection de fautes par reconfiguration dynamique de réseaux programmables

ANTONI, L. 19 September 2003 (has links) (PDF)
Des techniques d'injection de fautes ont été utilisées depuis de nombreuses années pour évaluer la sûreté de systèmes ou de composants (matériels ou logiciels). Ces techniques sont fondées sur la création délibérée de fautes dans le système à tester, pendant l'exécution d'une application. Les sorties du système, et potentiellement certains signaux internes, sont enregistrés et ces données sont utilisées à la fin des expériences pour analyser le comportement du système en présence de fautes.<br />Le travail présenté dans cette thèse est focalisé sur des injections de fautes au niveau matériel, dans des circuits digitaux. Dans ce contexte, l'utilisation de prototypes a été proposé pour améliorer et accélérer la réalisation des campagnes d'injection. Les réseaux programmables (et en particulier les réseaux de type FPGA) sont de bons candidats pour implémenter de tels prototypes. La reconfiguration d'un FPGA peut toutefois nécessiter un temps assez long, ce qui peut constituer une limitation des techniques basées sur le prototypage, surtout si de nombreuses reconfigurations sont nécessaires pour réaliser l'injection des fautes. Afin de résoudre ce problème, cette thèse propose de mettre à profit les possibilités de reconfiguration partielle (ou locale) de certains réseaux. En utilisant cette possibilité, seule une partie du réseau doit être reconfigurée lorsque des modifications sont requises, ce qui conduit à des gains de temps notables lorsque seules quelques différences existent entre deux configurations successives.<br />Jusque là, le prototypage matériel n'a été employé que pour exécuter l'application sur des versions de circuits modifiées pour injecter les fautes souhaitées. L'injection elle-même était réalisée grâce à des dispositifs ajoutés dans le circuit et commandés par des signaux externes. Ces modifications étaient introduites soit dans la description de haut niveau (par exemple, VHDL comportemental) soit dans la description au niveau portes, avant d'implémenter le prototype. L'idée développée dans cette thèse est non seulement d'exécuter l'application sur un prototype, mais aussi de réaliser l'injection des fautes directement dans le composant (FPGA) en tirant profit des possibilités de reconfiguration. De cette façon, chaque injection (ou suppression) de faute nécessite une reconfiguration partielle du FPGA. En revanche, la description initiale du circuit n'a pas à être modifiée avant l'implémentation du prototype.<br />Cette thèse démontre la faisabilité d'une telle approche, pour deux types de fautes majeurs (les collages et les inversions de bits asynchrones, qui modélisent les fautes de type "Single Event Upset"). Le processus d'injection utilisant la reconfiguration partielle a été automatisé pour ces types de fautes dans le cas de prototypes implémentés sur des réseaux Virtex. Les avantages et les limitations par rapport aux techniques existantes ont été analysés. Enfin, la thèse conclut sur les principaux paramètres devant être optimisés pour implémenter un environnement d'injection de fautes fondé sur la reconfiguration partielle.
20

Le test unifié de cartes appliqué à la conception de systèmes fiables

Lubaszewski, M. 20 June 1994 (has links) (PDF)
Si on veut assurer de facon efficace les tests de conception, de fabrication, de maintenance et le test accompli au cours de<br />l'application pour les systemes electroniques, on est amene a integrer le test hors-ligne et le test en-ligne dans des circuits. Ensuite, pour que<br />les systemes complexes tirent profit des deux types de tests, une telle unification doit etre etendue du niveau circuit aux niveaux carte et module.<br />D'autre part, bien que l'integration des techniques de test hors-ligne et en-ligne fait qu'il est possible de concevoir des systemes pour toute<br />application securitaire, le materiel ajoute pour assurer une haute surete de fonctionnement fait que la fiabilite de ces systemes est reduite, car la<br />probabilite d'occurrence de fautes augmente. Confrontee a ces deux aspects antagoniques, cette these se fixe l'objectif de trouver un<br />compromis entre la securite et la fiabilite de systemes electroniques complexes. Ainsi, dans un premier temps, on propose une solution aux<br />problemes de test hors-ligne et de diagnostic qui se posent dans les etapes intermediaires de l'evolution vers les cartes 100% compatibles<br />avec le standard IEEE 1149.1 pour le test "boundary scan". Une approche pour le BIST ("Built-In Self-Test") des circuits et connexions<br />"boundary scan" illustre ensuite l'etape ultime du test hors-ligne de cartes. Puis, le schema UBIST ("Unified BIST") - integrant les techniques<br />BIST et "self-checking" pour le test en-ligne de circuits, est combine au standard IEEE 1149.1, afin d'obtenir une strategie de conception en vue<br />du test unifie de connexions et circuits montes sur des cartes et modules. Enfin, on propose un schema tolerant les fautes et base sur la<br />duplication de ces modules securitaires qui assure la competitivite du systeme resultant du point de vue de la fiabilite, tout en gardant sa surete<br />inherente

Page generated in 1.3027 seconds