Les systèmes temps-réel embarqués critiques intègrent un nombre croissant de fonctionnalités comme le montrent les domaines de l'automobile ou de l'aéronautique. Ces systèmes doivent offrir un niveau maximal de sûreté de fonctionnement en disposant des mécanismes pour traiter les défaillances éventuelles et doivent être également performants, avec le respect de contraintes temps-réel strictes. Ces systèmes sont en outre contraints par leur nature embarquée : les ressources sont limitées, tels que par exemple leur espace mémoire et leur capacité de calcul. Dans cette thèse, nous traitons deux problématiques principales de ce type de systèmes. La première porte sur la manière d'apporter une meilleure tolérance aux fautes dans les systèmes temps-réel distribués subissant des défaillances matérielles multiples et permanentes. Ces systèmes sont souvent conçus avec une allocation statique des tâches. Une approche plus flexible effectuant des reconfigurations est utile si elle permet d'optimiser l'allocation à chaque défaillance rencontrée, pour les ressources restantes. Nous proposons une telle approche hors-ligne assurant un dimensionnement adapté pour prendre en compte les ressources nécessaires à l'exécution de ces actions. Ces reconfigurations peuvent demander une réallocation des tâches ou répliques si l'espace mémoire local est limité. Dans un contexte temps-réel strict, nous définissons notamment des mécanismes et des techniques de migration garantissant l'ordonnançabilité globale du système. La deuxième problématique se focalise sur l'optimisation de l'exécution des tâches au niveau local dans un contexte multicoeurs préemptif. Nous proposons une méthode d'ordonnancement optimal disposant d'une meilleure extensibilité que les approches existantes en minimisant les surcoûts : le nombre de changements de contexte préemptions et migrations locales) et la complexité de l'ordonnanceur / Critical real-time embedded systems are integrating an increasing number of functionalities, as shown in automotive domain or aeronautics. These systems require high dependability including mechanisms to handle possible failures and have to be effective, meeting hard real-time constraints. These systems are also constrained by their embedded nature : resources are limited, such as their memory and their computing capacities. In this thesis, we focus on two main problems for this type of systems. The first one is about a way to bring a better fault-tolerance in distributed real-time systems when multiple and permanent hardware failures can occur. In classical systems, the design is limited to a static task assignment. A more flexible approach exploiting reconfigurations is useful if it allows to optimize assignment at each failure for the remaining resources. We propose an off-line approach to obtain an adapted sizing taking into account necessary resources to execute these actions. These reconfigurations may require to reallocate tasks or replicas if memory capacities are limited. In a hard real-time context, we define mechanisms and migration techniques to guarantee global schedulability of the system. The second problem focus on optimizing performance to run tasks at a local level in a multicore preemptive context. We propose an optimal scheduling method allowing a better scalability than existing approaches by minimizing overheads : the number of context switches (local preemptions and migrations) and the scheduler complexity

Dans le domaine de l’aéronautique, les systèmes embarqués ont fait leur apparition durant les années 60, lorsque les équipements analogiques ont commencé à être remplacés par leurs équivalents numériques. Dès lors, l’engouement suscité par les progrès de l’informatique fut tel que de plus en plus de fonctionnalités ont été numérisées. L’accroissement permanent de la complexité des systèmes a conduit à la définition d’une architecture appelée Avionique Modulaire Intégrée (IMA pour Integrated Modular Avionics). Cette architecture se distingue des architectures antérieures, car elle est fondée sur des standards (ARINC 653 et ARINC 664 partie 7) permettant le partage des ressources de calcul et de communication entre les différentes fonctions avioniques. Ce type d’architecture est appliqué aussi bien dans le domaine civil avec le Boeing B777 et l’Airbus A380, que dans le domaine militaire avec le Rafale ou encore l’A400M. Pour des raisons de sûreté, le comportement temporel d’un système s’appuyant sur une architecture IMA doit être prévisible. Ce besoin se traduit par un ensemble d’exigences temps réel que doit satisfaire le système. Le problème exploré dans cette thèse concerne la vérification d’exigences temps réel dans les systèmes IMA. Ces exigences s’articulent autour de chaînes fonctionnelles, qui sont des séquences de fonctions. Une exigence spécifie alors une borne acceptable (minimale ou maximale) pour une propriété temporelle d’une ou plusieurs chaînes fonctionnelles. Nous avons identifié trois catégories d’exigences temps réel, que nous considérons pertinentes vis-à-vis des systèmes étudiés. Il s’agit des exigences de latence, de fraîcheur et de cohérence. Nous proposons une modélisation des systèmes IMA, et des exigences qu’ils doivent satisfaire, dans le formalisme du tagged signal model. Nous montrons alors comment, à partir de ce modèle, nous pouvons générer pour chaque exigence un programme linéaire mixte, c’est-à-dire contenant à la fois des variables entières et réelles, dont la solution optimale permet de vérifier la satisfaction de l’exigence / Embedded systems appeared in aeronautics during the 60’s, when the process of replacing analog devices by their digital counterpart started. From that time, the broad thrust of computer science advances make it possible to digitize more and more avionics functionalities. The continual increase of the complexity of these systems led to the definition of a new architecture called Integrated Modular Avionics (IMA). This architecture stands apart from previous architecture because it is based on standards (ARINC 653 and ARINC 664 part 7) which allow the sharing of computation and communication resources among avionics functions. This architecture is implemented in civil aircrafts, with Boeing B777 and Airbus A380, and in military aircrafts, with Rafale or A400M. For safety reason, the temporal behaviour of such a system must be predictable, which is expressed with a set real-time requirements. A real-time requirement specifies an upper or lower bound of a temporal property of one or several functional chains. A functional chain is a sequence of functions. In this thesis, we explore the verification of real-time requirements in IMA systems. We have identified three real-time requirements relevant to our problem : latency, freshness and consistency. We propose a model of IMA systems, and the requirements they must meet, based on the tagged signal model. Then we derive from this model, for each requirement, a mixed integer linear program whose optimal solution allows us to verify the requirement

Les systèmes temps réel sont des systèmes informatiques composés de tâches auxquelles sont associées des contraintes temporelles, appelées échéances. Dans notre étude, nous distinguons deux familles de tâches : les tâches temps réel dur et les tâches temps réel souple. Les premières possèdent une échéance stricte, qu'elles doivent impérativement respecter. Elles sont de nature périodique, ou sporadique, et l'étude analytique de leur comportement fait l’objet d’un état de l’art conséquent. Les secondes sont de nature apériodique. Aucune hypothèse sur leur modèle d’arrivéée ni sur leur nombre n’est possible. Aucune garantie ne saurait être donnée sur leur comportement dès lors que l’on ne peut écarter les situations de surcharge, où la demande de calcul peut dépasser les capacités du système. La problématique devient alors l'étude des solutions d’ordonnancement mixte de tâches périodiques et apériodiques qui minimisent les temps de réponse des tâches apériodiques tout en garantissant les échéances des tâches périodiques. De nombreuses solutions ont été proposées ces vingt dernières années. On distingue les solutions basées sur la réservation de ressources, les serveurs de tâches, des solutions exploitant les instants d'inactivité du système, comme les algorithmes de vol de temps creux. La spécification Java pour le temps réel (RTSJ) voit le jour dans les années 2000. Si cette norme répond à de nombreux problèmes liés à la gestion de la mémoire ou à l'ordonnancement des tâches périodiques, celui de l'ordonnancement mixte de tâches périodiques et apériodiques n'est pas abordé. Nous proposons dans cette thèse d’apporter les modifications nécessaires aux algorithmes principaux d’ordonnancement mixte, le Polling Server (PS), le Deferrable Server (DS) et le Dynamic Approximate Slack Stealer (DASS) en vue de leur implantation avec RTSJ. Ces algorithmes ne peuvent en effet être implantés directement tels qu'ils sont décrits, car ils sont trop liés à l'ordonnanceur du système. Nous proposons des extensions aux APIs RTSJ existantes pour faciliter l’implantation de ces mécanismes modifiés, et nous fournissons les interfaces utiles à l’ajout d'autres solutions algorithmiques. Nous proposons également des modifications sur les APIs existantes de RTSJ afin de répondre aux problèmes d'intégration et d'implantation d’algorithmes d’analyse de faisabilité. Nous proposons enfin un algorithme d’estimation des temps creux, le Minimal Approximate Slack Stealer (MASS), dont l’implantation au niveau utilisateur, permet son intégration dans RTSJ / In computer science, real-time systems are composed of tasks. To each task is associated a timing constraint called a deadline. We distinguish two kinds of tasks : the hard ones and the soft ones. Hard tasks have hard deadlines, which must be respected to ensure the correctness of the system. So hard tasks are in essence periodic, or sporadic. Their behavior has been extensively studied. Soft tasks have soft deadlines that the system has to try to respect. When a task arrival model is unknown, i.e. when task is aperiodic, burst arrivals situation can happens, which makes the tasks timing behavior unpredictable. So aperiodic tasks can only have soft deadlines. The studied problem in this thesis is then the joint scheduling of hard periodic tasks with soft aperiodic events, where the response times of soft tasks have to be as low as possible while the guarantee to meet their deadlines has to be given to hard tasks. A lot of solutions have been proposed these past two decades. We distinguish solutions based on resource reservation, like task servers, and solutions which take benefit from system idle times, like the slack stealer techniques. The first version of the Real-Time Specification for Java (RTSJ) was proposed in early 2000. This specification addresses a lot of problems related to the memory management or the scheduling of periodic tasks. But if it proposes a model to write aperiodic events, advanced mechanisms for the integration of such events to handle the above-mentioned problem are not discussed. We propose modifications to the main advanced mixed scheduling mechanisms like the Polling Server (PS), the Deferrable Server (DS) or the Dynamic Approximate Slack Stealer (DASS) in order to make their implementation possible with the RTSJ. Indeed, these algorithms are deeply connected to the system scheduler, and have to be adapted in order to be implemented in a user-land level.We propose extensions to current RTSJ APIs in order to integrate the modified algorithms and to allow the addition of other algorithms in a unified framework. We also propose some modifications to the RTSJ APIs in order to solve some problems we encountered during the integration of modified algorithms, especially in the field of the feasibility analysis algorithms integration in the specification. Finally, we propose the Minimal Approximate Slack Stealer algorithm (MASS), which is independent of the scheduler implementation and has a lower overhead than DASS

Cette thèse vise à mettre en lumière une conception de l'exclusion qui permette d'articuler à l'épistémè psychanalytique l'apport de l'anthropologie et de la philosophie moderne. Ma pratique clinique dans le champ de la précarité et de la toxicomanie m'a conduit à poser la question de l'articulation entre l'individuel et le sociétal, qui en appellerait à une conception du sujet entendu comme « être de culture ». La nouveauté du champ, s'il y en a, serait celle d'un phénomène, l'exclusion, qui est lui-même le produit d'un discours. Forme extrême d'un déliement propre à la modernité, l'exclusion révèlerait aujourd'hui une nécessité plus que jamais d'actualité de redéfinir ce qui s'articule au manque dans la conception du sujet. L'hypothèse générale qui est mise à l'épreuve dans ce travail serait que l'exclu souffre d'un statut d'exception pouvant apparaître comme un préjudice par rapport au renforcement discursif de l'idéal communautaire d'unité. L'expérience de l'exclusion renverrait ainsi paradoxalement à une position d'individualité absolue en même temps qu'à une indifférenciation. Cette recherche est praxéologique, basée sur une clinique du transfert. Elle vise à mettre en lumière la qualité des choses étudiées plutôt que de prédire leur reproductibilité. A travers des récits de rencontres, la mise à l'épreuve des hypothèses passe ainsi par la validation des effets de l'interprétation dans la dynamique transférentielle. / This thesis seeks to highlight a concept of exclusion which brings together the psychoanalytical episteme with modern anthropology and philosophy. My clinical practice in the field of the socially vulnerable and drug addiction has led me to question the connection between the individual and the societal, requiring the subject to be understood as a ‘cultural being'. The originality of the approach lies in the phenomenon of exclusion, which itself is the product of a discourse. As the extreme form of dissociation proper to modernity, exclusion reveals today an urgent contemporary need to redefine what is articulated in what lacks from the conception of the subject. The general hypothesis tested in this research is that the excluded subject suffers from an exceptional status which can appear as a prejudice in relation to the reinforced discursive field of the ideal of unity within a community. The experience of exclusion returns the subject then paradoxically to a position of absolute individuality at the same time as demonstrating a lack of differentiation. My research is praxeological, based on a study of transference. It seeks to highlight the quality of things studied rather than to predict their reproducibility. Using accounts of meetings, the hypothesis is tested through the validation of the effects of interpretation in the dynamic of transference. It is critical in this research to understand exclusion through its value as experience, in order to defend a psychoanalytical theory of exclusion which, beyond the form associated with material exclusion which we recognize, would reveal a much more global level of experience of which everyone today can sense an effect.

Les automates temporisés sont un formalisme qui permet de modéliser, vérifier, et synthétiser des systèmes temps-réels. Ils sont dotés d’une sémantique abstraite et mathé- matique, qui permet de formaliser et résoudre plusieurs problèmes de vérification et de synthèse. Cependant, les automates temporisés sont utilisés pour concevoir des modèles, plutôt que décrire des systèmes temps-réels entiers. Ainsi, une fois la phase de conception terminée, il reste à déterminer si les comportements du modèle correspondent à ceux d’un vrai système. Une étape importante de l’implémentation consiste à s’assurer de la robustesse du système. On considère une notion de robustesse sur les automates tem- porisés qui exige que les comportements soient préservés quand le modèle est sujet à des perturbations bornées. Dans cette thèse, plusieurs approches sont étudiées : Dans l’analyse de robustesse, on se demande si un automate temporisés donné préserve ses com- portements sous divers types de perturbations, et on cherche à calculer un majorant sur les perturbations tolérées. La synthèse robuste s’intéresse au calcul d’une loi de contrôle (ou une stratégie) qui guide le système, et tolère des perturbations d’une magnitude calculable. Enfin, dans l’implémentation robuste, on s’intéresse à transformer automatiquement un modèle donné pour le rendre robuste, tout en préservant ses comportements. Plusieurs modèles de perturbations sont considérés : erreurs de mesure de temps (élargissement de gardes), élimination des comportements limites (contraction de gardes), et la restriction du domaine du temps aux valeurs discrètes. On formalise également les problèmes de synthèse robuste comme des jeux entre le contrôleur et un environnement qui perturbe systèmatiquement tout délai choisi par une quantité bornée. Ces problèmes sont étudiés pour les automates temporisés, ainsi que leurs extensions- les jeux temporisés, et les automates et jeux temporisés pondérés. Plusieurs algorithmes d’analyse de robustesse parametrée contre l’élargissement de gardes et la contraction de gardes sont proposés. Deux variantes de la sémantique de jeu pour le problème de synthèse robuste sont également étudiées pour les automates temporisés et leurs extensions. Un logiciel d’analyse de robustesse contre la contraction de gardes, ainsi que des résultats expérimentaux sont présentés. Le problème de l’implémentation robuste est étudié dans deux contextes différents. Tous les algorithmes calculent également un majorant sur les perturbations que le modèle donné est capable de tolérer. / Timed automata are a formalism to model, verify, and synthesize real-time systems. They have the advantage of having an abstract mathematical semantics, which allow formalizing and solving several verification and synthesis problems. However, timed automata are intended to design models, rather than completely describe real systems. Therefore, once the design phase is over, it remains to check whether the behavior of an actual implementation corresponds to that of the timed automaton model. An important step before implementing a system design is ensuring its robustness. This thesis considers a notion of robustness that asks whether the behavior of a given timed automaton is preserved, or can be made so, when it is subject to small perturbations. Several approaches are considered: Robustness analysis seeks to decide whether a given timed automaton tolerates perturbations, and in that case to compute the (maximum) amount of tolerated perturbations. In robust synthesis, a given system needs to be controlled by a law (or strategy) which tolerates perturbations upto some computable amount. In robust implementation, one seeks to automatically transform a given timed automaton model so that it tolerates perturbations by construction. Several perturbation models are considered, ranging from introducing error in time measures (guard enlargement), forbidding behaviors that are too close to boundaries (guard shrinking), and restricting the time domain to a discrete sampling. We also formalize robust synthesis problems as games, where the control law plays against the environment which can systematically perturb the chosen moves, by some bounded amount. These problems are studied on timed automata and their variants, namely, timed games, and weighted timed automata and games. Algorithms for the parameterized robustness analysis against guard enlargements, and guard shrinkings are presented. The robust synthesis problem is studied for two variants of the game semantics, for timed automata, games, and their weighted extensions. A software tool for robustness analysis against guard shrinkings is presented, and experimental results are discussed. The robust implementation problem is also studied in two different settings. In all algorithms, an upper bound on perturbations that the given timed automaton tolerates can be computed.

Les conflits de lois du XIIe au XVIIIe siècle. L’étude des conflits de lois et des méthodes de leur résolution permet d’appréhender la naissance d’une nouvelle science juridique : le droit international privé. Cette étude montre comment, à partir du XIIe siècle, la doctrine s’est saisie de cette problématique en rejetant l’application systématique de la lex fori et en s’interrogeant sur la loi applicable au sujet étranger. De cette réflexion est née une première distinction entre la disposition ad ordinandam litem et la disposition ad decidendam litem. La première demeure la lex fori, alors que la seconde offre l’opportunité au juge d’appliquer une loi étrangère ; la théorie des statuts était née. Sous l’influence des juristes médiévaux français, la catégorisation des différentes normes suivant leur objet devient le fondement de cette nouvelle science juridique. Fort de cette avancée, Bartole tente une compilation systématique des règles de résolutions des conflits de lois sans pour autant voir son oeuvre reprise par la pratique. En effet, l’étude de la pratique révèle que la formation universelle du droit international privé envisagée par la doctrine médiévale ne correspond pas nécessairement à l’organisation politique des États en construction. Aussi, dès le XVe siècle, les Français envisagent la formation d’un système national de résolution des conflits de lois compatible avec l’affirmation de la souveraineté de l’État moderne. Cette formation conduit, au XVIIIe siècle, à une systématisation française de la théorie des statuts. Deux grandes catégories de lois subsistent : les statuts réels et les statuts personnels. Mais désormais le classement des normes se réalise ab effectu et non plus suivant l’objet des statuts. Cette dernière appréhension du conflit de lois appel une inclinaison de l’approche statutiste traditionnelle vers une approche plus conflictualiste ; l’objet de la loi est surpassé par l’effet de la norme et les circonstances du conflit. / The conflicts of laws of the twelfth at the eighteenth century. The study of the conflicts of laws and of the methods of their resolution allows to apprehend the birth of a new legal science: the international private law. This study shows how starting with the twelfth century, doctrine seized of this problematic throwing systematic of the lex fori application and interrogating themselves on the applicable to the subject stranger law. Of this born reflection east a first distinction enters the disposition ad ordinandam litem and the disposition ad decidendam litem. The first stays the lex fori, while the second gives the appropriateness to the judge to use a foreign law ; the theory of the statutes was born. Under the influence medieval French lawyers, the categorization of the different norms according to their object becomes the base of this new legal science. Strongly this progress, Bartole held a systematic of rules compiling resigned conflicts of laws without in fact seeing its work picked up again by the practical. Indeed, the study of the practical reveals that the universal formation of the international private law considered by the medieval doctrine does not correspond necessarily at the politics organization of the States in construction. Also, from the fifteenth century, the French consider a national system of resolution of the conflicts of laws compatible with the assertion of the sovereignty of the modern State. This training led to the eighteenth century, a French systematization of the theory of the statutes. Two categories of laws subsist: the real statutes and the personal statutes. But from now on the filing of the norms themselves realise ab effectu and not more according to the object of the statutes. This last apprehension of the conflict of laws call an inclination of the traditional approach, carrying on the object of the law towards one approaches more modern, carrying on the effect of the norm and the circumstances of the conflict .

Les systèmes temps réel à contraintes temporelles strictes sont caractérisés par des ensembles de tâches pour lesquelles sont connus l'échéance, le modèle d'arrivée (fréquence) et la durée d'exécution pire cas (WCET). Nous nous intéressons à l'ordonnancement de ces systèmes sur plate-forme multiprocesseur. Garantir le respect des échéances pour un algorithme d'ordonnancement est l'une des problématiques majeures de cette thématique. Nous allons plus loin en nous intéressant à la sûreté temporelle, que nous caractérisons par les propriétés (i) de robustesse et (ii) de viabilité. La robustesse consiste à proposer un intervalle sur les augmentations(i-a) de WCET et (i-b) de fréquence tel que les échéances soient respectées. La viabilité consiste cette fois à garantir le respect des échéances lors du relâchement des contraintes (ii-a) de WCET (réduction), (ii-b) de fréquence (réduction) et (ii-c) d'échéance(augmentation). La robustesse revient alors à tolérer l'imprévu, tandis que la viabilité est la garantie que l'algorithme d'ordonnancement n'est pas sujet à des anomalies suite à un relâchement de contraintes. Nous considérons l'ordonnancement en priorités fixes, où chaque occurrence d'une tâche est ordonnancée avec la même priorité. Dans un premier temps, nous étudions la propriété de robustesse dans les approches d'ordonnancement hors-ligne et sans migration (partitionnement). Nous traitons le cas des tâches avec ou sans partage de ressources. Dans un second temps, nous étudions la propriété de viabilité d'une approche d'ordonnancement en ligne avec migrations restreintes et sans partage de ressources / The hard real-time systems are characterized by sets of tasks for which are known the deadline, the arrival model (frequency) and the Worst-Case Execution Time (WCET). We focus on the scheduling of these systems on multiprocessor platforms. One of the main issues of this topic is to ensure that all deadlines are met. We go further by focusing on the temporal safety which we characterized by the properties of (i) robustness and (ii) sustainability. The robustness consists in providing an interval on the increases of (i-a) WCET and (i-b) frequency in such a way that the deadlines are met. The sustainability consists in ensuring that no deadline is missed when the following constraints are relaxed : (ii-a) WCET (decreasing), (ii-b) frequency (decreasing) and (ii-c) deadline (increasing). The robustness amounts to tolerate unexpected behaviors while the sustainability is the guarantee that the scheduling algorithm does not suffer from anomalies because of a relaxation of constraints. We consider fixed-priority scheduling for which any job of a task is scheduled with the same priority. Firstly, we study the property of robustness in off-line scheduling approaches without migration (partitioning). We deal with the case of tasks with or without shared resources. Secondly, we study the property of sustainability of an online restricted-migration scheduling approach without shared resources

Les capteurs 3D existants sont encore peu utilisés et ne permettent que l’acquisition de données 3D. En cas de nécessité de données 2D monochrome ou couleur, il faut alors obligatoirement ajouter un capteur supplémentaire et procéder au recalage des données. La société NT2I a décidé de développer sa propre solution afin de pouvoir rester maître de la chaîne d’acquisition. Mon travail a consisté en la conception d’un capteur spécifique intégrant couleur et calibration et au traitement des images issues de celui-ci. Pour cela, j’ai été amené à travailler sur l’extension du modèle LIP (Logarithmic Image Processing) pour des images couleur et à l’implémentation d’algorithmes temps réel / The existing 3D sensors aren’t much used and are only capable of capturing 3D dat. When 2D data are necessary, one has to use another camera and correlate the 2 images. NT2I has decided to develop its own solution in order to control the acquisition chain. My work has been to develop a specific camera with color, calibration, and image processing algorithms. In that purpose, I've worked on the extension of the LIP model (Logarithmic Image Processing) for color images and on the implementation of real time algorithms

Éminemment élégiaque, l’œuvre de Dominique Fourcade n’en est point moins évacuée de l’effusion lyrique. L’Orphée contemporain ne se retourne pas, le poème se décentre et accueille en sa langue des rapports mis en œuvre par des présences formellement diverses qui exposent le monde. Espace de la vulnérabilité, l’écriture fourcadienne pose la question du sens et de la représentation ; elle interroge jusque la légitimité poétique de ses questionnements dans une époque marquée par la violence et la mort. La poésie de Dominique Fourcade ne supporte plus d’autres sujets que le réel, la langue et l’écriture. Prise dans une interprétation systémique propre à l’œuvre, elle se fait envers et contre les images créant ainsi une nouvelle surface poétique faite d’interactions avec d’autres praxis artistiques. Le motif du dos est aussi un mode d’être au monde comme responsabilité pour autrui. L’envers est l’insoutenablement plus-que-visible du corps nu : un visage-vulve. L’un des aspects de la théorie sémiostylistique, celui qui ne sacrifie pas le corps et aboutit à une herméneutique matérialiste de la signification, est en affinité interprétative avec cette poésie et satisfait à la prendre en charge sur certaines questions. L’écriture de Dominique Fourcade se situe sur la ligne opaque des grandes voix poétiques modernes. / Eminently elegiac, Dominique Fourcade’s corpus is not the less drained of lyrical effusion. Modern-day Orpheus would not look back, the poem is thrown off-center and hosts within its own language a number of connections which are implemented by strictly diverse presences, themselves uncovering the world. A location of vulnerability, Fourcadean writing raises the question of meaning and representation; it goes as far as doubting the very poetic legitimacy of its questioning in an era marked by violence and death. Dominique Fourcade’s poetry can no longer stand other subjects but the real, language and writing. Entangled in a systemic interpretation which is inherent to the corpus, such poetry turns itself inside out and against the images thus creating a new poetic surface made of interactions with other artistic praxes. The back motif is also a way of being in the world as a responsibility for others. The inside out is the unbearably more-than-visible of the naked body: a vulva-face. One of the aspects of semio-stylistic theory, that which does not sacrifice the body and leads to a materialist hermeneutics of meaning, has an interpretative affinity with this poetry and fulfillingly takes it in charge on certain questions. The writing of Dominique Fourcade places itself on the opaque line of the greatest modern poetic voices.

Ce mémoire présente une nouvelle application web permettant de visualiser et d'interagir avec des données d'imagerie médicale provenant principalement de l'imagerie par résonance magnétique de diffusion, une technique non-invasive permettant d'explorer la matière blanche du cerveau. Dans le premier chapitre, un historique de la diffusion, l'explication de divers concept importants du domaine ainsi qu'un survol des méthodes de visualisation seront présentés. Le deuxième chapitre présentera le web, et plus précisément la technologie qui a rendu possible l'existence du Fiberweb : WebGL. Des choix de design du Fiberweb seront également abordés. Le troisième chapitre est la contribution principale de ce mémoire. Il consiste en un article présentant le Fiberweb, ses fonctionnalités et également une nouvelle technique de tractographie en temps réel probabiliste. Finalement, les diverses problématiques non-résolues liées à notre application, ses utilisations potentielles et ses perspectives futures seront discutées.