Dans cette thèse, nous nous intéressons à la spécification et à la synthèse de contrôleurs des systèmes temps-réels. Les modèles pour ces systèmes sont des Event-recording Automata. Nous supposons que les contrôleurs observent tous les évènements se produisant dans le système et qu'ils peuvent interdirent uniquement des évènements contrôlables. Tous les évènements ne sont pas nécessairement contrôlables. Une première étude est faite sur la logique Event-recording Logic (ERL). Nous proposons des nouveaux algorithmes pour les problèmes de vérification et de satisfaisabilité. Ces algorithmes présentent les similitudes entre les problèmes de décision cité ci-dessus et les problèmes de décision similaires étudiés dans le cadre du $\mu$-calcul. Nos algorithmes corrigent aussi des algorithmes présents dans la littérature. Les similitudes relevées nous permettent de prouver l'équivalence entre les formules de ERL et les formules de ERL en forme normale disjonctive. La logique ERL n'étant pas suffisamment expressive pour décrire certaines propriétés des systèmes, en particulier des propriétés des contrôleurs, nous introduisons une nouvelle logique WT$_\mu$. La logique WT$_\mu$ est une extension temps-réel faible du $\mu$-calcul. Nous proposons des algorithmes pour la vérification des systèmes lorsque les propriétés sont écrites en WT$_\mu$. Nous identifions deux fragments de WT$_\mu$ appelés WT$_\mu$ bien guardé ($WG$-WT$_\mu$) et WT$_\mu$ pour le contrôle ($C$-WT$_\mu$). La logique $WG$-WT$_\mu$ est plus expressif que $C$-WT$_\mu$. Nous proposons un algorithme qui permet de vérifier si une formule de $WG$-WT$_\mu$ possède un modèle (éventuellement déterministe). Cet algorithme nécessite de connaître les ressources (horloges et constante maximale comparée avec les horloges) des modèles. Dans le cadre de $C$-WT$_\mu$ l'algorithme que nous proposons et qui permet de décider si une formule possède un modèle n'a pas besoin de connaître les ressources des modèles. En utilisant $C$-WT$_\mu$ comme langage de spécification des systèmes, nous proposons des algorithmes de décision pour le contrôle centralisé et le $\Delta$-contrôle centralisé. Ces algorithmes permettent aussi de construire des modèles de contr\^oleurs. Lorsque les objectifs de contrôle sont décrits à l'aide des formules de $WG$-WT$_\mu$, nous montrons également comment synthétiser des contrôleurs décentralisés avec des ressources fixées à l'avance et ceci, lorsqu'au plus un contrôleur est non déterministe. / In this dissertation, we consider the specification and the controller synthesis problem for real-time systems. Our models for systems are kinds of Event-recording automata. We assume that controllers observe all the events occurring in the system and can prevent occurrences of controllable events. We study Event-recording Logic (ERL). We propose new algorithms for the model-checking and the satisfiability problems of that logic. Our algorithms are similar to some algorithms proposed for the same problems in the setting of the standard $\mu$-calculus. They also correct earlier proposed algorithms. We define disjunctive normal form formulas and we show that every formula is equivalent to a formula in disjunctive normal form. Unfortunately, ERL is rather weak and can not describe some interesting real-time properties, in particular some important properties for controllers. We define a new logic that we call WT$_\mu$. The logic WT$_\mu$ is a weak real-time extension of the standard $\mu$-calculus. We present an algorithm for the model-checking problem of WT$_\mu$. We consider two fragments of WT$_\mu$ called well guarded WT$_\mu$ ($WG$-WT$_\mu$) and WT$_\mu$ for control ($C$-WT$_\mu$). We show that the satisfiability of $WG$-WT$_\mu$ is decidable if the maximal constants appearing in models are known a priori. Our algorithm allows to check whether a formula of $WG$-WT$_\mu$ has a deterministic model. The algorithm we propose to decide whether a formula of $C$-WT$_\mu$ has a model does not need to know the maximal constant used in models. All the algorithms for the satisfiability checking construct witness models. Using $C$-WT$_\mu$, we present algorithms for a centralised controller synthesis problem and a centralised $\Delta$-controller synthesis problems. The construction of witness controllers is effective. We also consider the decentralised controller synthesis problem with limited resources (the maximal constants used in controllers is known a priory) when the properties are described with $WG$-WT$_\mu$. We show that this problem is decidable and the computation of witness controllers is effective.

Dans cette thèse, nous analysons les réseaux des systèmes temps-réel distribués et plus particulièrement ceux des domaines de l’avionique et de l’automobile. Nous nous sommes focalisés sur deux protocoles : « Avionic Full DupleX Switched Ethernet » (AFDX), « Audio Vidéo Bridging Ethernet » (AVB). Dans ces domaines critiques, le déterminisme du réseau doit être garanti. Il consiste, notamment, en la détermination d’une borne garantie du délai de bout en bout de traversée du réseau pour chaque trame ; et un dimensionnement des files d’attente des trames suffisamment grand pour garantir qu’aucune d’entre elle ne débordera et ainsi, éviter toute perte de trame.Il existe plusieurs méthodes pour l’évaluation des délais et nous avons, principalement, travaillé sur la méthode « Forward end-to-end delay Analysis » (FA). FA avait déjà été définie avec la politique d’ordonnancement « First-In-First-Out » dans le contexte de l’AFDX. Nous sommes repartis de cette approche, nous l’avons reformulé et généralisé à n’importe quel réseau Ethernet commuté. Nous l’avons aussi étendu aux priorités statiques et au protocole AVB et sa politique de service « Credit Based Shaper ». Pour chaque contribution, des démonstrations formelles ont été présentées et une expérimentation incluant une comparaison de FA avec les principales approches d’évaluation sur un exemple industriel. Finalement, nous avons développé et démontré formellement une approche pour le dimensionnement des files d’attente en termes de nombre de trames. Cette approche a été expérimentée également sur une configuration industrielle. / In this thesis, we analyze networks in the context of distributed real-time systems, especially in the fields of avionics, with “Avionics Full DupleX Switched Ethernet” (AFDX), and automobile, with “Audio Video Bridging Ethernet” (AVB). For such applications, network determinism needs to be guaranteed. It involves, in particular, assessing a guaranteed bound on the end-to-end traversal time across the network fr each frame; and dimensioning the buffers in order to avoid any loss of frame because of a buffer overflow.There are several methods for worst-case delay analysis, and we have mainly worked on the “Forward end-to-end Delay Analysis” (FA) method. FA had already been developed for “First-In-First-Out” scheduling policy in the AFDX context, so we generalized it to any Switched Ethernet network. We have also extended it to handle static priorities and the AVB protocol, shaping policy named “Credit Based Shaper” (CBS). Each contribution has been formaly proved and experiments have been led on industrial configurations. For our experimentations, we have compared our results with the results of competing approaches. Finally, we have developed and formally demonstrated an approach for buffer dimensioning in terms of number of frames. This approach has also been tested on an industrial configuration and has produced tight bounds.

Les systèmes embarqués temps réel critiques intègrent des architectures complexes qui évoluent constamment afin d'intégrer des nouvelles fonctionnalités requises par les utilisateurs finaux des systèmes (automobile, avionique, ferroviaire, etc.). Ces nouvelles architectures ont un impact direct sur la variabilité du comportement temporel des systèmes temps réel. Cette variabilité entraîne un sur-approvisionnement important si la conception du système est uniquement basée sur le raisonnement pire cas. Approches probabilistes proposent des solutions basées sur la probabilité d'occurrence des valeurs les plus défavorables afin d'éviter le sur-approvisionnement, tout en satisfaisant les contraintes temps réel. Les principaux objectifs de ce travail sont de proposer des nouvelles techniques d'analyse des systèmes temps réel probabilistes et des moyens de diminuer la complexité de ces analyses, ainsi que de proposer des algorithmes optimaux d'ordonnancement à priorité fixe pour les systèmes avec des temps d'exécution décrits par des variables aléatoires. Les résultats que nous présentons dans ce travail ont été prouvés surs et à utiliser pour les systèmes temps réel durs, qui sont l'objet principal de notre travail. Notre analyse des systèmes avec plusieurs paramètres probabilistes a été démontrée considérablement moins pessimiste que d'autres types d'analyses. Cet analyse combinée avec des algorithmes d'ordonnancement optimaux appropriées pour les systèmes temps réel probabilistes peut aider les concepteurs de systèmes à mieux apprécier la faisabilité d'un système, en particulier de ceux qui sont jugé irréalisable par des analyses/algorithmes d'ordonnancement déterministes / Critical real-time embedded systems integrate complex architectures that evolve constantly in order to provide new functionality required by the end users of the systems (automotive, avionics, railway, etc). These new architectures have a direct impact on the variability of the timing behavior of the real-time system. This variability leads to important over-provisioning if the design of the system is based only on worst case reasoning. Probabilistic approaches propose solutions are based on the probability of occurrence of the worst case values in order to avoid over provisioning while satisfying real-time constraints. The main objectives of this work are new analysis techniques for probabilistic real-time systems and ways of decreasing the complexity of these analyses, as well as to propose optimal fixed priority scheduling algorithms for systems that have variability at the level of execution times. The results that we provide in this work have been proved applicable to hard real-time systems, which are the main focus of our work. Our proposed analysis for systems with multiple probabilistic parameters has been shown to greatly decrease the pessimism introduced by other types of analyses. This type of analysis combined with the proper optimal scheduling algorithms for probabilistic real-time system help the system designers to better appreciate the feasibility of a system, especially of those that are deemed unfeasible by deterministic analyses/scheduling algorithms

Automobile système embarqué est une architecture distribuée de l'ordinateur des applications basées sur. La prolifération des systèmes embarqués dans une automobile a apporté de nombreux avantages,tels que le remplacement du système mécanique ancienne avec capteur électronique en réseau et desactionneurs, par exemple, dans des applications telles suspensions adaptatives. Le remplacement des systèmes mécaniques avec ceux électroniques et l'intégration de nouvelles fonctionnalités dans l'électronique soulève une grave préoccupation, c'est de fournir des garanties que ces systèmes embarqués seront en mesure d'effectuer, même dans des environnements difficiles, en particulier dans un système critique pour la sécurité comme un automobile. De plus, ceux-ci l'actualité informatique applications à la demande, imposée par un processus physique.Par exemple, pour éviter un événement catastrophique comme un accident de la demande de freinage doit répondre aux contraintes de minutage. Ce qui implique que la durée de temps entre l'instance de l'application du frein (à la pédale de frein) et l'instance de l'actionnement au niveau des roues d'un véhicule automobile doit être inférieure à la limite. En outre, l'application de freinage est généralement répartie sur le nombre de nœuds, qui sont embarqués communicants les uns avec les autres en utilisant une ressource de communication partagée. Par conséquent, il est important que nous fournissons des garanties que la demande, individuellement et collectivement, est atteinte de ses contrainte temporelle; qui est dans la composition de plusieurs nœuds embarqués. En outre, la prolifération des applications informatiques est également livré avec une hétérogénéité croissante et la complexité de l'architecture intégrée, ce qui conduira à l'augmentation de la complexité de l'analyse pour les systèmes automobiles.Par conséquent, il ya un besoin croissant d'assurer que ces systèmes automobiles embarqués répondre à des contraintes temporelles et de fournir des garanties de sécurité au cours de leur fonctionnement normal ou lors de situations critiques. Cette thèse vise à développer les analyses d'ordonnançabilité pour systèmes automobiles et les réseaux intégrés, avec le but de faciliter,d'une manière rentable et fiable, la conception et l'analyse des systèmes embarqués automobiles. Les analyses sont élaborées et appliquées dans le contexte de l'automobile; de ​​façon à réduire le risque d'échec en raison de délai: les limites du matériel; frais généraux de mise en œuvre, et les interférences dues à la circulation probaliste / Automotive embedded system is a distributed architecture of computer-based applications. The proliferation of embedded systems in an automobile has brought numerous benefits; such as replacement of old mechanical system with networked electronic sensor and actuators, for example, in applications like adaptive suspensions. The replacement of mechanical systems with electronic onesand the integration of new functionality in electronics raises a serious concern; that is to provide guarantees that these embedded systems will be able to perform, even in harsh environments, particularly in a safety-critical system like an automobile.Moreover, these computer-based applications demand timeliness, imposed by a physical process. For example, to avoid a catastrophic event like a crash the braking application has to meet thetiming-constraints. This implies that the time duration between the instance of application of the brake (at brake pedal) and the instance of actuation at the wheels of an automobile should be less than the deadline. Moreover, the braking application is usually spread over number of embedded nodes, which are communicating with each other using a shared communication resource. Therefore, it is important that we provide some guarantees that an application, individually and collectively, is meeting its timing constraint; that is in the composition of multiple embedded nodes. Moreover, theproliferation of computer-based applications also comes with an increasing heterogeneity and complexity of the embedded architecture; which lead to the increase in the complexity of the analysis for the automotive systems Therefore, there is an increasing need to ensure that these automotive embedded systems meet temporal constraints and provide safety guarantees during their normal operation or during critical situations. This thesis aims at developing the schedulability analyses for automotive systems and embedded networks; with the aim to facilitate, in a cost-effective and reliable manner, the design and analysis of automotive embedded systems. The analyses are developed and applied in the automotive context; so as to reduce the risk of deadline failure due to: hardware limitations ; implementation overheads; and nterference due to probabilistic traffic

On est confrontés au présent avec un système électrique en pleine mutation grâce principalement à l'ouverture des marchés d'énergie électriques, à l'évolution des technologies, à la diminution des ressources disponibles, ainsi qu'aux changements climatiques. Afin de pallier les problèmes engendrés par ces changements, des mesures doivent être prises à tous les niveaux du système électrique : génération, transport et utilisation. Néanmoins, ces mesures ne sont pas toujours compatibles entre elles et, à cause de leur caractère innovant, elles nécessitent des outils d'étude de plus en plus puissants et adaptés aux différents dynamiques mises en jeu et à leur multiplicité. Les travaux présents proposent et analysent l'utilisation d'un simulateur temps-réel hybride (en puissance ou non) afin de faire face à ces besoins complexes.

Dans le contexte politique et économique actuel, les dispositifs à base<br />d'électronique de puissance occupent une place grandissante dans les réseaux électriques pour<br />le réglage de tension, la qualité d'énergie et l'interfaçage des producteurs pour ne citer que<br />ces applications. Le système à base d'électronique de puissance vit dans un dispositif plus<br />complexe pouvant être constitué par exemple d'un groupe de production, d'un système de<br />stockage d'énergie, d'une ou plusieurs source primaire énergie et de différents niveaux de<br />contrôle. Tous ces composants interagissent avec le réseau et les perturbations agissent dans<br />les deux sens. Il est donc nécessaire de bien étudier ces systèmes et ce, dans leur<br />environnement réseau. Des simulateurs temps-réel ont été ainsi développés et utilisés pour le<br />prototypage, l'analyse de modes dégradés, la validation d'algorithmes de contrôle...<br />Cependant, si ces simulateurs présentent des avantages indéniables pour le test d'équipements<br />physiques, la simulation en temps-réel des dispositifs à base d'électronique de puissance<br />demeure très problématique. A cet effet, des méthodes novatrices ont été élaborées dans cette<br />thèse et un banc expérimental a été conçu et réalisé pour tester des contrôleurs de systèmes<br />d'électronique de puissance à modulation de largeur d'impulsions. De plus, afin de pouvoir<br />tester des équipements de puissance, des simulations temps-réel hybrides ont été également réalisées.

L'interaction entre la biologie et l électronique est une discipline en pleine essort. De nombreux systèmes électroniques tentent de s interconnecter avec des tissus ou des cellules vivantes afin de décoder l information biologique. Le Potentiel d action (PA) est au cœur de codage biologique et par conséquent il est nécessaire de pouvoir les repérer sur tout type de signal bio-logique. Par conséquent, nous étudions dans ce manuscrit la possibilité de concevoir un circuit électronique couplé à un système de microélectrodes capable d'effectuer une acquisition, une détection des PAs et un enregistrement des signaux biologiques. Que ce soit en milieu bruité ou non, nous considérons le taux de détection de PA et la contrainte de temps réel comme des notions primordiales et la consommation en silicium comme un prix à payer. Initialement développés pour l étude de signaux neuronaux et pancréatiques, ces systèmes conviennent parfaitement pour d autres type de cellules.

Real-time systems are composed of a set of tasks that must respect some deadlines. We find them in applications as diversified as the telecommunications, medical devices, cars, planes, satellites, military applications, etc. Missing deadlines in a real-time system may cause various results such as a diminution of the quality of service provided by the system, the complete stop of the application or even the death of people. Being able to prove the correct operation of such systems is therefore primordial. This is the goal of the real-time scheduling theory.<p><p>These last years, we have witnessed a paradigm shift in the computing platform architectures. Uniprocessor platforms have given place to multiprocessor architectures. While the real-time scheduling theory can be considered as being mature for uniprocessor systems, it is still an evolving research field for multiprocessor architectures. One of the main difficulties with multiprocessor platforms, is to provide an optimal scheduling algorithm (i.e. scheduling algorithm that constructs a schedule respecting all the task deadlines for any task set for which a solution exists). Although optimal multiprocessor real-time scheduling algorithms exist, they usually cause an excessive number of task preemptions and migrations during the schedule. These preemptions and migrations cause overheads that must be added to the task execution times. Therefore, task sets that would have been schedulable if preemptions and migrations had no cost, become unschedulable in practice. An efficient scheduling algorithm is therefore an algorithm that either minimize the number of preemptions and migrations, or reduce their cost.<p><p>In this dissertation, we expose the following results:<p>- We show that reducing the "fairness" in the schedule, advantageously impacts the number of preemptions and migrations. Hence, all the scheduling algorithms that will be proposed in this thesis, tend to reduce or even suppress the fairness in the computed schedule.<p><p>- We propose three new online scheduling algorithms. One of them --- namely, BF2 --- is optimal for the scheduling of sporadic tasks in discrete-time environments, and reduces the number of task preemptions and migrations in comparison with the state-of-the-art in discrete-time systems. The second one is optimal for the scheduling of periodic tasks in a continuous-time environment. Because this second algorithm is based on a semi-partitioned scheme, it should favorably impact the preemption overheads. The third algorithm --- named U-EDF --- is optimal for the scheduling of sporadic and dynamic task sets in a continuous-time environment. It is the first real-time scheduling algorithm which is not based on the notion of "fairness" and nevertheless remains optimal for the scheduling of sporadic (and dynamic) systems. This important result was achieved by extending the uniprocessor algorithm EDF to the multiprocessor scheduling problem. <p><p>- Because the coding techniques are also evolving as the degree of parallelism increases in computing platforms, we provide solutions enabling the scheduling of parallel tasks with the currently existing scheduling algorithms, which were initially designed for the scheduling of sequential independent tasks. / Doctorat en Sciences de l'ingénieur / info:eu-repo/semantics/nonPublished

Nowadays, computer systems are everywhere. From simple portable devices such as watches and MP3 players to large stationary installations that control nuclear power plants, computer systems are now present in all aspects of our modern and every-day life. In about only 70 years, they have completely perturbed our way of life and they reached a so high degree of sophistication that they will be soon capable of driving our cars and cleaning our houses without any human intervention. As computer systems gain in responsibilities, it becomes essential that they provide both safety and reliability. Indeed, a failure in systems such as the anti-lock braking system (ABS) in cars could threaten human lives and generate catastrophic and irreversible consequences. Hence, for many years, researchers have addressed these emerging problems of system safety and reliability which come along with this fulgurant evolution. <p><p>This thesis provides a general overview of embedded real-time computer systems, i.e. a particular kind of computer system whose number grows daily. We provide the reader with some preliminary knowledge and a good understanding of the concepts that underlie this emerging technology. We focus especially on the theoretical problems related to the real-time issue and briefly summarizes the main solutions, together with their advantages and drawbacks. This brings the reader through all the conceptual layers constituting a computer system, from the software level---the logical part---that specifies both the system behavior and requirements to the hardware level---the physical part---that actually performs the expected treatments and reacts to the environment. In the meanwhile, we introduce the theoretical models that allow researchers for theoretical analyses which ensure that all the system requirements are fulfilled. Finally, we address the energy consumption problem in embedded systems. We describe the various factors of power dissipation in modern technologies and we introduce different solutions to reduce this consumption./Cette thèse se focalise sur un type de systèmes informatiques bien précis appelés “systèmes embarqués temps réel”. Un système est dit “embarqué” lorsqu’il est développé afin de servir un but bien précis. Un téléphone portable est un parfait exemple de système embarqué étant donné que toutes ses fonctionnalités sont rigoureusement définies avant même sa conception. Au contraire, un ordinateur personnel n’est généralement pas considéré comme un système embarqué, les concepteurs ne sachant pas à l’avance à quelles fins il sera utilisé. Une grande partie de ces systèmes embarqués ont des contraintes temporelles très fortes, ce qui les distingue encore plus des ordinateurs grand public. A titre d’exemple, lorsqu’un conducteur de voiture freine brusquement, l’ordinateur de bord déclenche l’application ABS et il est primordial que cette application soit traitée endéans une courte échéance. Autrement dit, cette fonctionnalité ABS doit être traitée prioritairement par rapport aux autres fonctionnalités du véhicule. Ce type de système embarqué est alors dit “temps réel”, dû à ces notions de temps et de priorités entre les applications. La problèmatique posée par les systèmes temps réel est la suivante. Comment déterminer, à tout moment, un ordre d’exécution des différentes fonctionnalités de telle sorte qu’elles soient toutes exécutées entièrement endéans leur échéance ?De plus, avec l’apparition récente des systèmes multiprocesseurs, cette problématique s’est fortement complexifiée, vu que le système doit à présent déterminer quelle fonctionnalité s’exécute à quel moment sur quel processeur afin que toutes les contraintes temporelles soient respectées. Pour finir, ces systèmes embarqués temp réel multiprocesseurs se sont rapidement retrouvés confrontés à un problème de consommation d’énergie. Leur demande en terme de performance (et donc en terme d’énergie) à évolué beaucoup plus rapidement que la capacité des batteries qui les alimentent. Ce problème est actuellement rencontré par de nombreux systèmes, tels que les téléphones portables par exemple. L’objectif de cette thèse est de parcourir les différents composants de tels système embarqués et de proposer des solutions afin de réduire leur consommation d’énergie. / Doctorat en Sciences / info:eu-repo/semantics/nonPublished

Le propos de cette thèse est centré sur la fictionnalisation des violences terroristes qui ont ébranlé l’Algérie et les États-Unis au tournant des XXe et XXIe siècles. Deux perspectives polarisent le traitement de ces violences dans les littératures dites « de l’urgence » et « du 11 septembre » : d’un côté, la radicalisation et le passage à l’acte des personnages terroristes ; de l’autre, la terreur et la reconstruction des témoins. Appréhendées suivant le prisme du tremblement, ces perspectives qui sont traitées tout au long de la thèse mettent en jeu des questions d’ordre esthétique, poétique et éthique. Ces trois questions organisent la progression de notre étude. En engageant une réflexion relative à l’incidence du thème sur la forme, elles montrent que les romans examinés ne se contentent pas de décrire le terrorisme ; ils en dégagent les invariants : coupures, dé-liaison, instabilité sémantique, enchevêtrements complexes, sont autant de traits saillants dont les romans du corpus se saisissent, autant d’aspects par lesquels ils illustrent et cristallisent les années noires et le 11 septembre. Si ces invariants mettent en évidence la ténuité du thème et du traitement littéraire, ils ménagent par ailleurs la percée de l’équivoque du sens, du non-totalisable, du non-rapport. Cela, que Jacques Lacan formalise sous l’angle de l’impossible, du réel, ouvre la voie à un décryptage tout à fait singulier de la transgression des terroristes, du faire face des témoins, et des questions portées par le roman contemporain. / The subject of this dissertation is the fictionalization of the terrorist violence that shook Algeria and the United States at the turn of the XXth and the XXIst centuries. Two predominant viewpoints polarize the treatment of this violence in what has been dubbed by French literary critics as « littérature de l’urgence » (« emergency literature ») and « 9/11 literature »: on the one hand, the reader is exposed to the radicalization process of the terrorist characters and to their acting-out, and on the other, to the terror experienced by the witness characters and their reconstruction. These two perspectives, examined throughout the thesis, are apprehended via the prism of the tremor (understood as indecision, doubt and shaking) and involve issues of an aesthetic, poetic and ethical nature. These three issues provide coherence to the general outline and determine the organization of our study. They question the effect of theme on form, thereby demonstrating that the novels studied do not only describe terrorism ; they also bring out the underlying invariables: interruptions, disconnections, semantic instability and complex entanglements are some of the salient features whereby the novels of our corpus describe and crystallize the Algerias’ dark decade and the events of 9/11. While these invariants highlight the subtlety of the theme and its literary treatment, they also point out the equivocal meaning and give the lion’s share to the « non-totalizable » and the « non-rapport ». These aspects, which Jacques Lacan theorized from the angle of the « impossible », the Real, pave the way for a singular decoding of the terrorists’ transgression, of the witnesses’ coping, and of the issues raised by the contemporary novel.