Avec l'évolution de la complexité et des performances des circuits intégrés, l'occurrence de défaillances non modélisables par de simples collages devient importante et même prépondérante. Ces effets ne sont généralement pas pris en compte par les méthodes classiques de diagnostic. Cette thèse a pour objectif le développement d'une méthode de diagnostic ciblant un ensemble élargi de modèles de fautes.<br />La méthode de diagnostic développée est présentée dans ce manuscrit de manière progressive. Dans un premier temps, les modèles de fautes considérés sont analysés afin de dégager les conditions de sensibilisation. La deuxième partie est consacrée à la présentation globale de la méthode de diagnostic développée. Cette méthode utilise principalement une approche " Effet à Cause " basée sur le traçage de chemins critiques. La troisième partie présente l'amélioration de cette méthode pour la prise en compte de pannes à effets spécifiques. La dernière partie est consacrée à la validation de chaque étape de l'évolution de la méthode de diagnostic au travers de diverses expérimentations.

Prévoir où, quand et comment les matériaux cassent est une problématique qui occupe scientifiques et ingénieurs depuis des siècles. Ce problème est rendu complexe par le fait que la concentration des contraintes en pointe de fissure lie intimement le comportement observé à l'échelle macroscopique aux inhomogénéités de microstructure à des échelles très fines. Ceci induit une dynamique de fissuration erratique, composée d'événements d'endommagement rapides et imprévisibles séparés de périodes calmes (e.g. dynamique des tremblements de terre le long des failles). Par essence, ces aspects statistiques ne peuvent pas être traités avec l'approche de la mécanique des milieux continus traditionnels. Dans un premier temps, nous tentons d'appréhender ce problème au travers d'une expérience modèle qui consiste à faire propager une fissure dans une roche artificielle dont nous contrôlons la microstructure. La vitesse de chargement du système de fracture est réglable sur une large gamme de valeurs. La vitesse de fissuration et l'énergie mécanique sont enregistrées en temps réel. En parallèle, l'émission acoustique associée aux événements de fracture ainsi que leur localisation sont mesurées via des capteurs piézoélectriques, puis analysées comme cela est communément fait en sismologie. Ces expériences nous permettent de caractériser quantitativement la dynamique intermittente de la fissuration. Elles montrent qu'un certain nombre des lois empiriques observées en géophysique sur la sismicité (loi de Richter-Gutenberg, d'Omori, de Voight, d'Utsu...) se retrouvent dans notre système modèle. Dans un deuxième temps, nous adressons ce problème théoriquement et numériquement, en identifiant le phénomène de fracture dans les matériaux hétérogènes avec celui de la propagation d'une ligne élastique sur un potentiel aléatoire 2D. Ceci permet de déterminer quantitativement, en termes de vitesse de chargement, de tailles des hétérogénéités, de propriétés du matériau, et de géométrie de structure, quand la dynamique de fissuration est régulière et compatible avec l'approche ingénieur des milieux continus, et quand elle devient erratique et nécessite une approche statistique. Dans ce dernier cas, nous caractérisons la statistique de de cette dynamique et relions celle-ci aux paramètres de l'expérience.

Le rôle croissant des biocarburants dans le marché de l'énergie a stimulé un regain d'intérêt dans l'étude des composés oxygénés. Les avancés dans le domaine des biocarburants proviennent de l'acquisition de données éxperimentales fiables, et du développement de modèles thermodynamiques qui rendent compte des phénomènes associatifs. Les mesures des constituants des biocarburants montrent souvent la coexistantes de phases multiples dont les interactions complexes ne se conforment que rarement aux méthodes conventionnels de modélisation. L'objectif de ce travail est de résoudre cette équation soumis à deux aspects distincts par deux sections. La première section présente des dispositifs experimentaux permettant de mesurer de certaines propriétés thermo-physiques, incluant des équilibres liquide-vapeur à haute et basse pressions, des points critiques, et dans une moindre mesure des enthalpies d'excès. Les appareillages sont validés en fournissant des mesures représentative d'autres données de la littérature existantes. De nouvelles mesures ont été réalisées pour des mélanges associés aux biocarburants contienent des alcools et des acides. Une légère modification des procédures usuelles de mesure des points critiques laisse paraître des résultats prometteurs. La deuxième section aborde de la modélisation de systèmes de biocarburants, comprenant entre autres les données mesurées dans la première section. Les mélanges contenant des groupements hydroxyles et/ou carbonyles comptent au moins un type d'interaction moléculaire mal représentés par les précédentes approches du mean field. Dans ce travail, nous utilisons les pleines capacités de l'équation d'état PC-SAFT basé sur des paramètres physique, et concevons au cas par cas des stratégies qui permettent de pallier aux problèmes dus aux nombreuses non-idéalités issues de ces systèmes. L'équation PC-SAFT couplée avec la théorie de groupe de renormalisation de White est appliquée pour modéliser la région critique. Cette forme améliorée à été testée avec des données experimentales critiques issues de ce travail, et emmène à des observations positives.

Les progrès récents dans la définition de mécanismes décisionnels ont permis de déléguer de plus en plus de responsabilités aux systèmes informatiques. Par exemple, des robots de service travaillent aujourd'hui en interaction avec l'humain et réalisent des tâches de plus en plus complexes. Ce transfert de responsabilité pose alors de manière critique le problème de la sécurité pour l'homme, l'environnement du système, ou le système lui-même. La surveillance en ligne par un moniteur de sécurité indépendant vise à assurer un comportement sûr malgré la présence de fautes et d'incertitudes. Un tel moniteur doit détecter des situations potentiellement dangereuses afin d'enclencher des actions de mise en état sûr et d'éviter les défaillances catastrophiques. Cette thèse traite de l'identification de conditions de déclenchement de sécurité permettant de lancer des actions de mise en état sûr. Un processus systématique permettant d'identifier de telles conditions est défini, en partant d'une analyse de risque HazOp/UML du système fonctionnel. Par ailleurs, une méthode est proposée pour identifier les états du système où des actions de sécurité peuvent être enclenchées simultanément, afin d'être revues et corrigées, en cas de besoin, par un expert du système. L'approche proposée est appliquée à un robot déambulateur.

Les progrès récents dans la définition de mécanismes décisionnels ont permis de déléguer de plus en plus de responsabilités aux systèmes informatiques. Par exemple, des robots de service travaillent aujourd'hui en interaction avec l'humain et réalisent des tâches de plus en plus complexes. Ce transfert de responsabilité pose alors de manière critique le problème de la sécurité pour l'homme, l'environnement du système, ou le système lui-même. La surveillance en ligne par un moniteur de sécurité indépendant vise à assurer un comportement sûr malgré la présence de fautes et d'incertitudes. Un tel moniteur doit détecter des situations potentiellement dangereuses afin d'enclencher des actions de mise en état sûr et d'éviter les défaillances catastrophiques. Cette thèse traite de l'identification de conditions de déclenchement de sécurité permettant de lancer des actions de mise en état sûr. Un processus systématique permettant d'identifier de telles conditions est défini, en partant d'une analyse de risque HazOp/UML du système fonctionnel. Par ailleurs, une méthode est proposée pour identifier les états du système où des actions de sécurité peuvent être enclenchées simultanément, afin d'être revues et corrigées, en cas de besoin, par un expert du système. L'approche proposée est appliquée à un robot déambulateur.

Au vu de l'utilisation croissante des technologies de l'information et de la communication dans les réseaux électriques, il est indispensable d'étudier l'étroite liaison entre ces infrastructures et d'avoir une vision intégrée du système couplé. Cette thèse porte ainsi sur la modélisation des systèmes multi-infrastructures. Cela inclut les interdépendances et les trajectoires de défaillances de type modes communs, aggravations et cascades. Il est en effet nécessaire d'identifier les points de faiblesse qui peuvent déclencher une ou de multiples défaillance(s), se succéder en cascade au travers de ces infrastructures liées et ainsi entrainer des défaillances inattendues et de plus en plus graves dans des autres infrastructures. Dans cette optique, différents modèles basés sur la théorie des Réseaux Complexes sont développés afin d'identifier les composants les plus importantes, et pourtant critiques, dans le système interconnecté. Un des principaux verrous scientifiques levé dans cette thèse est relatif au dé-veloppement d'un modèle mathématique " unifié " afin de représenter les comportements des multiples infrastructures non-homogènes qui ont des interdépendances asymétriques.

Les systèmes temps-réel critiques sont de plus en plus complexes, et les exigences fonctionnelles et non-fonctionnelles ne cessent plus de croître. Le flot de conception de tels systèmes doit assurer, parmi d'autres propriétés, le déterminisme fonctionnel et la prévisibilité temporelle. Le déterminisme fonctionnel est inhérent aux modèles de calcul flot de données (ex. KPN, SDF, etc.) ; c'est pour cela qu'ils sont largement utilisés pour modéliser les systèmes embarqués de traitement de flux. Un effort considérable a été accompli pour résoudre le problème d'ordonnancement statique périodique et à mémoire de communication bornée des graphes flots de données. Cependant, les systèmes embarqués temps-réel optent de plus en plus pour l'utilisation de systèmes d'exploitation temps-réel et de stratégies d'ordonnancement dynamique pour gérer les tâches et les ressources critiques. Cette thèse aborde le problème d'ordonnancement temps-réel dynamique des graphes flots de données ; ce problème consiste à assigner chaque acteur dans un graphe à une tâche temps-réel périodique (i.e. calcul des périodes, des phases, etc.) de façon à : (1) assurer l'ordonnançabilité des tâches sur une architecture et pour une stratégie d'ordonnancement (ex. RM, EDF) données ; (2) exclure statiquement les exceptions d'overflow et d'underflow sur les buffers de communication ; et (3) optimiser les performances du système (ex. maximisation du débit, minimisation des tailles des buffers).

Thesis (MPhil (General Linguistics))--University of Stellenbosch, 2011. / Bibliography / ENGLISH ABSTRACT: Viewing cross-cultural dance performances on international tours or as part of international dance festivals has become common practice all over the world. For critique writers, choreographers/ dancers and the audience the accessibility of such a diverse variety of dance has both advantages and disadvantages. Cross-cultural differences in these performances challenge strategies of viewing and perception which may lead to aesthetic enrichment but these performances also risk being misunderstood. In dance critique writing, such a misunderstanding may result in a negative critique projecting, in a worst scenario, negative prejudices on the respective cultures. This thesis investigates how attitudes towards, and perceptions of, cultural differences are reflected in cross-cultural dance critiques, through the use of particular linguistic and stylistic devices. Analysis strategies deriving from Critical Discourse Analysis and Text Analysis are used to uncover the critique’s strategies to communicate their evaluation including ways of persuasion and power. I analyse six critiques from three countries on the performance Beautiful Me performed on international tours by the Vuyani Dance Theatre from South Africa. My initial hypothesis is that cultural differences may lead to negative critiques due to intercultural misunderstanding. Since viewing Performance Art is not only influenced by the critique writer’s cultural background but also by their perception attitude towards the performance, the analysis takes perception modes such as a theatre semiotic approach and a phenomenological approach into consideration. Interestingly, different perception modes seem to have a greater impact on the outcome of a critique than cross-cultural differences. This means that most negative evaluations must have their origin in the applied strategy of viewing and perceiving dance. The critic seems to interpret and embed the perceived features of the dance performance into specific cultural or socio-political contexts forming an individual, often complex evaluation. / AFRIKAANSE OPSOMMING: Om te kyk na kruiskulturele dansuitvoerings deur dansgeselskappe op internasionale toere of as deel van internasionale dansfeeste, het wêreldwyd algemene praktyk geword. Vir kritici, choreograwe/dansers en die gehoor hou die toeganklikheid van so ’n diverse verskeidenheid dans sowel voordele as nadele in. Kruiskulturele verskille in hierdie vertonings daag kyk- en waarneem-strategieë uit, wat tot estetiese verryking mag lei. Daar is egter ook ’n moontlikheid dat hierdie vertonings verkeerd geïnterpreteer mag word. Só ’n waninterpretasie in dansresensies mag lei tot negatiewe kritiek wat, in uiterste gevalle, negatiewe vooroordele oor die betrokke kulture projekteer. Hierdie tesis doen ondersoek na die wyse waarop houdings teenoor en persepsies van kultuurverskille in kruiskulturele dansresensies deur middel van spesifieke talige en stilistiese middele gereflekteer word. Analitiese strategieë uit die velde Kritiese Diskoersanalise en Teksanalise word gebruik om kritici se strategieë wat ’n oordeel kommunikeer, bloot te lê. Ek analiseer ses resensies uit drie lande wat handel oor die vertoning Beautiful Me wat deur die Suid-Afrikaanse dansgeselskap Vuyani Dance Theatre tydens internasionale toere opgevoer is. My aanvanklike hipotese is dat kultuurverskille aanleiding mag gee tot negatiewe kritiek vanweë interkulturele misverstande. Aangesien die beoordeling van Uitvoerende Kunste nie slegs deur die kritikus se kulturele agtergrond beïnvloed word nie, maar ook deur hul waarnemingshouding teenoor die vertoning, neem die analise waarnemingsmodusse soos ’n teater-semiotiek-benadering en ’n fenomenologiese benadering in ag. Interessant genoeg, lyk dit asof verskillende waarnemingsmodusse ’n groter impak het op die uitkoms van kritiek as kruiskulturele verskille. Dít beteken dat die meeste negatiewe oordele hul oorsprong moet hê in die toegepaste strategie van dans kyk en waarneem. Dit blyk dat die kritikus die waargenome eienskappe van die dansuitvoering interpreteer en inbed in spesifieke kulturele of sosio-politiese kontekste wat aanleiding gee tot die verskillende, dikwels komplekse maniere van beoordeling.

Cette thèse vise à étudier la géographie urbaine critique en suivant trois groupes contemporains qui s'en réclament : le GESP (Grupo de Estudos sobre São Paulo) au Brésil, Kritische Geographie Berlin en Allemagne et le réseau international INURA (International Network for Urban Research and Action). Cette démarche inspirée des science studies implique de s‘intéresser autant à leurs pratiques qu’aux savoirs qu’ils produisent. Dans cette optique, les idées n’existent que parce qu’elles sont portées, mobilisées et diffusées par des collectifs. A partir des données collectées auprès de ces groupes, il est possible, par recoupements, de définir la géographie urbaine critique par sa position de seuil : au seuil du normatif et du descriptif, de la théorie et de la pratique, aux marges de l’université et des champs scientifiques. Ce travail cherche également à évaluer si les liens entre les trois groupes sont assez denses pour qu’il soit possible de parler d’un courant de pensée mondial. / The aim of this dissertation is to study critical urban geography through three contemporary groups which claim to partake in it : Brazil’s GESP (Grupo de Estudos sobre São Paulo), Germany’s Kritische Geographie Berlin, and the international network of INURA (International Network for Urban Research and Action). This method is inspired by the science studies and implies studying what is being done just as much as whatever theoretical content is being produced. In this view, ideas exist only insofar as they are borne, carried out and broadcast by these groups. From the data collected, it is possible, by crosschecking, to define critical urban geography as « on the threshold » : between the normative and the descriptive, between theory and practice, at the margins of the academic and scientific fields. This research also purports to assess whether the bonds between these groups are strong enough to allow us to talk about a global current of thought.

Les circuits intégrés ne sont pas à l'abri d'interférences naturelles ou malveillantes qui peuvent provoquer des fautes transitoires conduisant à des erreurs (Soft errors) et potentiellement à un comportement erroné. Ceci doit être maîtrisé surtout dans le cas des systèmes critiques qui imposent des contraintes de sûreté et/ou de sécurité. Pour optimiser les stratégies de protection de tels systèmes, il est fondamental d'identifier les éléments les plus critiques. L'évaluation de la criticité de chaque bloc permet de limiter les protections aux blocs les plus sensibles. Cette thèse a pour objectif de proposer des approches permettant d'analyser, tôt dans le flot de conception, la robustesse d'un système numérique. Le critère clé utilisé est la durée de vie des données stockées dans les registres, pour une application donnée. Dans le cas des systèmes à base de microprocesseur, une approche analytique a été développée et validée autour d'un microprocesseur SparcV8 (LEON3). Celle-ci repose sur une nouvelle méthodologie permettant de raffiner les évaluations de criticité des registres. Ensuite, une approche complémentaire et plus générique a été mise en place pour calculer la criticité des différents points mémoires à partir d'une description synthétisable. L'outil mettant en œuvre cette approche a été éprouvé sur des systèmes significatifs tels que des accélérateurs matériels de chiffrement et un système matériel/logiciel basé sur le processeur LEON3. Des campagnes d'injection de fautes ont permis de valider les deux approches proposées dans cette thèse. En outre, ces approches se caractérisent par leur généralité, leur efficacité en termes de précision et de rapidité, ainsi que leur faible coût de mise en œuvre et leur capacité à ré-exploiter les environnements de validation fonctionnelle. / Integrated circuits are not immune to natural or malicious interferences that may cause transient faults which lead to errors (soft errors) and potentially to wrong behavior. This must be mastered particularly in the case of critical systems which impose safety and/or security constraints. To optimize protection strategies of such systems, it is essential to identify the most critical elements. The assessment of the criticality of each block allows limiting the protection to the most sensitive blocks. This thesis aims at proposing approaches in order to analyze, early in the design flow, the robustness of a digital system. The key criterion used is the lifetime of data stored in the registers for a given application. In the case of microprocessor-based systems, an analytical approach has been developed and validated on a SparcV8 microprocessor (LEON3). This approach is based on a new methodology to refine assessments of registers criticality. Then a more generic and complementary approach was implemented to compute the criticality of all flip-flops from a synthesizable description. The tool implementing this approach was tested on significant systems such as hardware crypto accelerators and a hardware/software system based on the LEON3 processor. Fault injection campaigns have validated the two approaches proposed in this thesis. In addition, these approaches are characterized by their generality, their efficiency in terms of accuracy and speed and a low-cost implementation. Another benefit is also their ability to re-use the functional verification environments.