« Paysage » : un même mot recouvre aujourd’hui deux concepts distincts. Un paysage est une image (picturale, graphique, photographique, cinématographique, etc.) représentant une portion de territoire ; mais c’est aussi une portion de territoire réel dans le monde qui nous entoure, celle-là même qui peut faire l’objet d’une représentation imagée. Pour autant, le paysage n’est pas un simple environnement, mais un environnement d’un certain type, susceptible de donner lieu à une expérience esthétique distincte de celle d’un jardin, d’une forêt ou d’un bâtiment par exemple. Pour s’en tenir à un contexte culturel occidental, on constate que, bien que les paysages occupent une place importante dans l’expérience esthétique en général, ils ne sont guère mis en valeur dans la philosophie esthétique, qui tend souvent à les ignorer pour se consacrer exclusivement à l’art et aux œuvres d’art, ou bien à les méconnaître en les réduisant à autre chose – représentations artistiques ou simples environnements naturels. Dans cette thèse, on propose une réflexion de philosophie esthétique sur les paysages réels, en s’appuyant sur l’analyse approfondie de paysages particuliers, traités tantôt comme exemples illustratifs, tantôt comme véritables cas d’étude. Après avoir défini un concept autonome de paysage réel, distinct à la fois des paysages représentés et des simples environnements physiques, on s’interroge sur les conditions de l’identification de paysages particuliers. On s’appuie pour cela sur une série de paysages situés dans le pays qu’il est d’usage, outremonts, d'appeler « il Bel Paese », « le Beau Pays ». / “Landscape”: one same word, but two distinct concepts. A landscape is a (graphic, pictorial, photographic, cinematographic, etc.) picture, that represents an expanse of land; but it also is an expanse of real land in the world around us – precisely that one that can be represented in a picture. Nonetheless, landscape is not just a mere environment, but a certain type of environment, likely to produce an aesthetic experience distinct from that of a garden, a forest or a building for example. From the point of view of occidental cultures, one can observe that, although real landscapes play an important part in the general aesthetic experience, they are not much valued by aesthetic philosophy, that tends either to ignore them in the exclusive favor of art and works of art, or to misunderstand them by reducing them to something else – artistic representations or mere natural environments. This thesis intends to offer an aesthetic reflection on real landscapes, based on a deepened analysis of a series of particular landscapes taken either as mere illustrations or as specific case studies. Once an autonomous concept of real landscape has been defined, we question the conditions of identification of particular landscapes, using a series of landscapes situated in that country commonly referred, beyond the Alps, as “il Bel Paese”, “the Beautiful Land”.

Ce projet porte sur les romans de john banville et avec les théories psychanalytiques. l'argument principal de cette recherche sera que le narrateur névrosé qui est utilisé dans les œuvres de banville réalise une conscience qui est proche de ce que toshio kawai a appelé 'la conscience post-moderne' qui est associé à nombreux attributs du postmodernisme (en particulier les théories de baudrillard). ce nouveau type de conscience a pour sa composante d'un type de distance, ou plutôt, une dissociation de la notion de la réalité et elle est associée à l'arbitraire, (surtout revendication de lacan que l'objet de notre désir est arbitraire), ainsi que la virtualité (baudrillard, adorno et horkheimer). selon kawai, encore une fois, il existe une conscience moderne qui a comme conséquence un degré de répression dans la psyché de l'individu qui, prenant la parole psychanalytique, suggèrent un certain degré de névrose ou à des moments de psychose sens partiel ou total sentiment d'être perdu entre l'imagination et réalité.la recherche vise à explorer les questions initiales suivantes:1 - quelle est la relation entre la névrose et ce qu'on appelle le postmodernisme?2 - comment cette relation peut être vu dans la fiction de banville?3 – dans quelle façon banville utilise un narrateur névrotique pour obtenir un effet post-moderne?4 - si, selon kawai, la modernité est associée à la répression et donc la névrose, alors, est-il possible de penser que la postmodernité est associée à la psychose, de schizophrénie ou d'autres anomalies psychopathologiques? comment cela se voit dans la fiction de banville?5 - y a t-il un mouvement de modernisme au postmodernisme dans la fiction de banville?comment cela peut-il être considéré dans un contexte psychanalytique? / The present project sets to complement the previous readings of the “self” in John Banville’s fiction by reproblematizing the precariousness of the author’s “subject of narration.” It examines the way in which the author constantly manipulates various narrative elements and consequently creates new experiences. Jacques Lacan’s understanding of the relation between the subject and the signifier, I argue, provides an excellent set of tools to address the way in which the notion of subjectivity is dissected, enhanced, and even extended, in Banville’s philosophically imbued fiction. The central thesis is that Banville creates a narrative universe in which his protagonists’ perception moves in interesting ways as the aspects of the Lacanian triad (the Symbolic, the Imaginary and the Real) are reshuffled, resulting in a precarious sense of self and reality. Although other thinkers (especially the ones hinted at in the narrative, most notably, de Man, Kleist, and Nietzsche) are drawn upon, the theoretical backbone relies on Lacan’s theory of subjectivity as well as recent Lacanian thinkers, most notably, Slavoj Žižek, Mladen Dollar, and Stijn Vanheule. Žižek’s reading of Lacan is of special interest to this study as he theorizes virtuality as a concept using Lacan’s triadic model. In addition, using Žižek’s definition of postmodernism as “symbolic inefficacy” allows us to shed new light on the long debate over Banville’s modernism versus his postmodernism. The dissertation consists of three parts. The first part focuses on Banville’s earlier work, namely, Birchwood, Mefisto, and The Book of Evidence. Here, I examine how the narrators’ preoccupation with finding certainty and truth results in a psychotic universe in Mefisto and a hysteric one in The Book of Evidence. Focusing on the latest trilogy, Eclipse, Shroud, and Ancient Ligh the second part examines the way in which Banville uses the category of the uncanny to create a Gothic narrative in Eclipse. Moreover, the concept of object a is used to demonstrate how the subject/object distinction collapses and gives rise to the Real dimension of the subject. The third and final part argues that the narrators seek to counter the undecidability generated in their uncanny narrations via the rehabilitation of the surface, one with which they hope to restore their precarious sense of self. Both chapters in this part address Banville’s engagement with Paul de Man’s deconstructive theory of language and representation and argue that Banville stages de Man’s ideas as well as his life-story in order to advance his own conception of representation and selfhood. Friedrich Nietzsche, I claim in both chapters, provides the narrators with a way out of the predicament posited by de Man. The underlying idea explored throughout the project is that Banville’s epistemological project can be summed up as an attempt to find a mode of articulation independent from the Symbolic order as most of his narrators, in one way or another, express a fundamental incredulity towards the Symbolic Other. By stripping reality of its Symbolic underpinnings, the Banvillian protagonist allows the Real to emerge and then domesticates it as magic. He does so using the surface of the written pages of his narrative, a surface onto which he can fuse word and image.

La vérification en ligne de spécifications formelles permet de créer des détecteurs d'erreur dont le pouvoir de détection dépend en grande partie du formalisme vérifié à l'exécution. Plus le formalisme est puissant plus la séparation entre les exécutions correctes et erronées peut être précise. Cependant, l'utilisation des vérifieurs en-ligne dans le but de détecter des erreurs est entravée par deux problèmes récurrents : le coût à l'exécution de ces vérifications, et le flou entourant les propriétés sémantiques exactes des signaux d'erreur ainsi générés. L'objectif de cette thèse est de clarifier les conditions d'utilisation de tels détecteurs dans le cadre d'applications « temps réel » critiques. Dans ce but, nous avons donné l'interprétation formelle de la notion d'erreur comportementale « temps réel». Nous définissions la propriété de détection « au plus tôt » qui permet de d'identifier la classe des détecteurs qui optimisent la latence de détection. Pour illustrer cette classe de détecteurs, nous proposons un prototype qui vérifie un comportement décrit par un automate temporisé. La propriété de détection au plus tôt est atteinte en raisonnant sur l'abstraction temporelle de l'automate et non sur l'automate lui-même. Nos contributions se déclinent dans trois domaines, la formalisation de la détection au plus tôt, sa traduction pour la synthèse de détecteurs d'erreur à partir d'automate temporisés, puis le déploiement concret de ces détecteurs sur une plate-forme de développement temps réel, Xenomai. / Runtime verification of formal specifications provides the means to generate error detectors with detection capabilities depending mostly on the kind of formalism considered. The stronger the formalism is the easier the speration between correct and erroneous execution is. Nevertheless, two recurring issues have to be considered before using such error detection mechanisms. First, the cost, at run-time, of such error detector has to be assessed. Then, we have to ensure that the execution of such detectors has a well defined semantics. This thesis aims at better understanding the conditions of use of such detectors within critical real-time software application. Given formal behavioural specification, we defined the notion of "behavioural error". Then, we identify the class of early detectors that optimize the detection latency between the occurence of such errors and their signalling. The whole generation process has been implemented for specifications provided as timed automata. The prototype achieves early error detection thanks to a preprocessing of the automaton to generate its temporal abstraction. Our contributions are threefold : formalisation of early detection, algorithms for timed automata run-time verification, and prototyping of such detectors on a real-time kernel, Xenomai.

Cette thèse porte sur l'élaboration d'un micro-noyau original de type hyperviseur, appelé Ker-ONE, permettant de gérer la virtualisation pour des systèmes embarqués sur des plateformes de type SoC et fournissant un environnement pour les machines virtuelles en temps réel. Nous avons simplifié l'architecture du micro-noyau en ne gardant que les caractéristiques essentielles requises pour la virtualisation, et fortement réduit la complexité de la conception du noyau. Sur cette base, nous avons mis en place un mécanisme capable de gérer des ressources reconfigurables dans un système supportant des machines virtuelles. Les accélérateurs matériels reconfigurables sont mappés en tant que dispositifs classiques dans chaque machine. Grâce à une gestion efficace de la mémoire dédiée, nous détectons automatiquement le besoins de ressources et permettons une allocation dynamique des ressources sur FPGA. Suite à diverses expériences et évaluations sur la plateforme Zynq-7000, combinant ARM et ressources FPGA, nous avons montré que Ker-ONE ne dégrade que très peu les performances en termes de temps d'exécution. Les surcoûts engendrés peuvent généralement être ignorés dans les applications réelles. Nous avons également étudié l'ordonnançabilité temps réel dans les machines virtuelles. Les résultats montrent que le respect de l'échéance des tâches temps réel est garanti. Nous avons également démontré que le noyau proposé est capable d'allouer des accélérateurs matériels très rapidement. / This thesis describes an original micro-kernel that manages virtualization and that provides an environment for real-time virtual machines. We have simplified the micro-kernel architecture by only keeping critical features required for virtualization, and massively reduced the kernel design complexity. Based on this micro-kernel, we have introduced a framework capable of DPR resource management in a virtual machine system. DPR accelerators are mapped as ordinary devices in each VM. Through dedicated memory management, our framework automatically detects the request for DPR resources and allocates them dynamically. According to various experiments and evaluations on the Zynq-7000 platform we have shown that Ker-ONE causes very low virtualization overheads, which can generally be ignored in real applications. We have also studied the real-time schedulability in virtual machines. The results show that RTOS tasks are guaranteed to be scheduled while meeting their intra-VM timing constraints. We have also demonstrated that the proposed framework is capable of virtual machine DPR allocation with low overhead.

Pour leur survie, les hommes se sont créés, au fil de leur évolution, leur propre « milieu de vie » fait d’éléments pouvant les mettre à l’abri des dangers et leur faciliter l’existence. Les villes sont nées de ces besoins et au sein d’elles des espaces ludiques et de confort sont apparus. Sont venus ensuite des désirs d’expression et de partage qui distinguent les villes les unes des autres. A la Renaissance, les villes européennes nées des inspirations de la Grèce antique se sont érigées en modèle avec leurs places publiques aménagées. La volonté de leurs concepteurs et des mouvements artistiques ont donné à ces aires urbaines leurs formes diverses. Avec l’apparition des nouvelles technologies, c’est encore une autre étape qui se présente et enrichit la ville d’une dimension complémentaire : l’espace virtuel accompagne désormais l’espace réel. Le virtuel a aujourd’hui une importance capitale au sein des villes et véhicule l’art urbain. C’est l’étude de cette évolution, ce parcours depuis la ville en tant que besoin jusqu’à la ville moderne modelée par ses espaces virtuels que notre travail se propose d’analyser. Le croisement entre le réel et le virtuel nous offre une dimension nouvelle avec des contraintes mais également un champ nouveau d’expression. De l’Europe jusqu’en Chine, les espaces publics sont aujourd’hui des œuvres d’art à part entière et accordent à la ville son identité, son image, reflet de sa culture et de son patrimoine architectural et artistique. / To survive, human beings have created their own “living environment” throughout their evolution to protect themselves from dangers and facilitate their existence. Cities were formed to fulfill these needs, to perform different spacial functions and to present the comfort for living. The continuing demand and expression have distinguished cities from each other, so that we can experience the beauty of difference. During the Renaissance, Europeans were inspired by ancient Greece with their public places' structures. The will of the designers and artistic movements then have given these urban areas various forms. With the development of new tehcnologies, we have various ways to enrich cities: the virtual space is now interconnected with the real space. Nowadays, virtual spaces has become an important channel to deliver urban art.This study aims to analyze this evolution path of city spaces, from basic human needs to how virtual space have figured modern world. The cross between real space and virtual space offers and also restrains a new dimension for expression. From Europe to China, public spaces are definitely artwork itself and also give each city its identity and its image. It also reflects its culture, architectural and artistic heritage.

Un système robotique est un système complexe, à la fois d’un point de vue matériel et logiciel. Afin de simplifier la conception de ces machines, le développement est découpé en modules qui sont ensuite assemblés pour constituer le système complet. Cependant, la facilité de conception de ces systèmes est bien souvent contrebalancée par la complexité de leur mise en sécurité, à la fois d’un point de vue fonctionnel et temporel. Il existe des ensembles d’outils et de méthodes permettant l’étude d’ordonnançabilité d’un système logiciel à base de tâches. Ces outils permettent de vérifier qu’un système de tâches respecte ses contraintes temporelles. Cependant ces méthodes d’analyse considèrent les tâches comme des entités monolithiques, sans prendre en compte la structure interne des tâches, ce qui peut les rendre trop pessimistes et non adaptées à des applications robotiques. Cette étude consiste à prendre en compte la structure interne des tâches dans des méthodes d’analyse d’ordonnançabilité. Cette thèse montre que le découpage de tâches monolithiques permet d’améliorer la précision des analyses d’ordonnancement. De plus, les outils issus de ces travaux ont été expérimentés sur un cas d’application de robotique mobile autonome. / A robot is a complex system combining hardware and software parts. In order to simplify the robot design, the whole system is split in several separated modules. However, the complexity of the functional and temporal validation to improve the safety counterweights the robot design simplicity. We can find scheduling analysis tools for task-based software. These tools are used to check and validate the schedulability of the tasks involved in a software, run on a specific hardware. However, these methods considers the tasks as monolithic entities, without taking into account their internal structure. The resulting analyses may be too much pessimistic and therefore not applicable to robotic applications. In this work, we have modeled the internal structure of the tasks as state-machines and used these state-machines into the schedulability analysis in order to improve the analysis precision. Moreover, the tools developed during this work have been tested on real robotic use-cases.

Le présent travail vise à établir comment l’artiste français Bertrand Lavier (1949) définit et exprime le réel dans son travail. Il s’agit aussi de fournir une réponse historique et critique à l’une des thématiques-clés de l’histoire de l’art contemporain, le rapprochement entre l’art et la vie. Ainsi, nous avons abordé les séries créées par l’artiste depuis la fin des années 1960 à nos jours, d’où émergent des interrogations récurrentes : l’ontologie de la représentation, le problème de la définition de la peinture ou la sculpture, que l’artiste s’emploie à rebâtir. Il y effectue également une critique systématique du langage en tant que constituant fiable du réel, relevant ses limites, amorçant ainsi un divorce avec l’art conceptuel, paradigme dominant de l’époque, et une conversion à la volonté de rematérialisation de l’art, redonnant une bonne place à l’esthétique, au sensible, et à l’instinct, après le règne du cérébral et de l’immatériel. Ensuite, cherchant à contextualiser son travail, nous avons établi une chronologie précise de la formation de Lavier, avant de le confronter à deux grandes figures de l’histoire du siècle, chacune ayant développé une idée précise des rapports de l’art au réel, Duchamp et Warhol, ceci à fin de nous donner des éléments de réponses quant à la place historique du travail de Lavier quant à cette problématique. Enfin, nous avons associé Lavier à deux pensées, le postmodernisme et la philosophie de Nietzsche, afin d’éclairer sa vision relative et morcelée du réel, vu comme amoral et subjectif, et d’expliquer la nécessité de le réorganiser esthétiquement, actant l’art comme remède au réel chaotique et réenchantement du quotidien. / This study aims to establish how French artist Bertrand Lavier (1949) defines and expresses reality in his work. In addition, we wanted to provide a historical and critical answer to a key problematic of contemporary art's history, the link between art and life. First, we dealt with several Lavier's series, from the late 1960s till nowadays, from which emerge recurring topics : representation ontology, the problem of paintings and sculptures definition, which the artist employs himself to rebuilt. Furthermore, he also makes a methodical critic of language as a reliable component of reality, pointing its limits and flaws, acting his divorce with then dominant conceptual art, converting himself to the rematerilization of art, bringing back aesthetics, perception and instinct, after the reign of immateriality and intellectualism. Then, trying to contextualize his work, we established a detailed chronology of the artist's education, before confronting him with two 20th Century key figures, both having developed a strong vision of connections between art and reality, Duchamp and Warhol, in order to precise the historical place of Lavier's work regarding this topic. Eventually, we linked Lavier to two thinkings, Postmodernism and Nietzsche's philosophy, allowing us to shade light on his vision of a relative and fragmented reality, seen as amoral and subjective, and to explain the necessity of its aesthetical reorganization, presenting art as the remedy of a chaotic reality, and the everydays re-enchantement.

Cette étude consiste à mettre en lumière la double dimension du temps chez François Cheng. Partant du principe qu’il est un homme de dialogue, on ne peut que remarquer sa situation particulière dans son époque. En effet, il est à la fois contemporain des grandes remises en cause révolutionnaires de l’humanisme littéraire et des voix comme celles d’Yves Bonnefoy ou de Philippe Jaccottet C’est ainsi que nous nous proposons, dans notre première partie, de mettre en parallèle l’œuvre poétique de François Cheng avec les diverses voix de la poésie française de la deuxième moitié du XXe siècle. Pour mieux cerner la place qu’il occupe dans cette époque et montrer le rapprochement avec ses contemporains, nous tâchons de retracer les mutations principales en ce qui concerne la méfiance envers les images, une redéfinition du sujet et un renouveau de la notion d’humanisme. La deuxième partie est centrée sur des analyses détaillées de l’écriture poétique chengienne dont le but est de mieux comprendre une poésie de l’élémentaire qui a souci de renouer le lien avec l’univers vivant. La troisième partie tâche d’éclairer le temps lui-même, qui est fondé sur le Vide et le Change. Habité par cette conviction, le poète conçoit sa création comme une Œuvre inachevable. A travers les analyses des thèmes traditionnels de la poésie occidentale comme la nuit ou l’amour, et de certains de ses usages (celui la sonorité et du rythme notamment), notre étude se propose d’interpréter la vitalité d’une démarche d’écriture qui rompt avec les conventions et ouvre la parole à un dynamisme certain. / This study consists in showing François Cheng’s double dimension of time. Assuming that he is a man of dialogue, we can only remark his particular situation in his time. Indeed, he is a both contemporary of the revolutionary cause of humanism and the literary and of voices like Yves Bonnefoy or Philippe Jaccottet. Thus we propose in the first part a parallel study between the poetic work of François Cheng and the diverse voices of the French poetry of the second half of twentieth century. To better understand Cheng’s place in that time and show the comparison with his contemporaries, we try to trace the major changes regarding distrust of images, a redefinition of the subject and a revival of the concept of humanism. The second part focuses on the detailed analysis in Cheng’s poetry work to better understand a poetry of elemental who desire to renew the relationship with the world. The third part of our research seek to clarify his own time based on the Empty and the Change. With this conviction, the poet sees his creation as an unachievable Work. Through the analysis of traditional themes in Western poetry such as night, love, the sound and rhythm, our study is to interpret the vitality of a writing process who breaks with conventional and opens the speech to the dynamism.

Le développement de méthodes alternatives à la culture in vivo pour l’évaluation de la toxicité des molécules chimiques s’est accéléré ces dernières années, l’objectif étant de limiter l’utilisation d’animaux. Préconisés par l’OCDE (Organisation de coopération et de développement économiques), ces modèles alternatifs visent à mimer les conditions physiologiques en employant des systèmes in vitro ou in silico. Parmi les différents systèmes développés, les biopuces microfluidiques ont prouvé leur contribution à l’amélioration des fonctions cellulaires, ce qui permet des études toxicologiques pertinentes. Les travaux de ce doctorat sont basés sur l’emploi de ces biopuces pour cultiver des hépatocytes (cellules du foie) et portent sur la mise au point d’une méthode d’analyse d’images issues de ces cultures sous microscope au cours du temps. L’acquisition d’images tout au long de l’expérience permet de suivre, après traitement, l’évolution et le comportement des cellules au contact de molécules chimiques et d’évaluer les réponses toxicologiques. Les premiers résultats de ces travaux ont permis l’amélioration du procédé de culture microfluidique adaptée au matériel d’acquisition d’images, la sélection de sondes fluorescentes, et le choix d’un algorithme de traitement des images sur CellProfiler. Cela nous a permis de quantifier et caractériser certaines fonctions biologiques au sein de la biopuce comme l’activité mitochondriale. Le potentiel de cet outil pour évaluer la toxicité de molécule a été testé grâce à l’emploi d’un toxique connu : la staurosporine. Les résultats obtenus ont révélé l’impact de la mise en culture en dynamique sur le comportement des hépatocytes, et la toxicité de la staurosporine visible en biopuce. / The development of alternative methods of in vivo cultures for the toxicological evaluation of chemical molecules has accelerated this last years, in order to limit the use of animals. Recommended by the OECD (Organisation for Economic Cooperation and Development), these alternative models are designed to mimic the physiological conditions using in vitro or in silico systems. Among the developed systems, microfluidic biochips have proven their contribution to the improvement of cellular functions, which allows relevant toxicological studies. This PhD thesis is based on the use of these biochips for hepatocytes culture and focus on the development of an analysis method for study these cultures under microscope over time using imaging. Image acquisition throughout the experiment enables to analyze, after image processing, the evolution and the behavior of cells in contact with chemical molecules and to evaluate toxicological responses. The first results of this work led to the optimization of the microfluidic cultures under the microscope used to get the image sequences, the selection of fluorescent probes and the development of an image processing system with CellProfiler. These works allowed the quantification and the characterization of some biological functions within the biochip such as the mitochondrial activity. Staurosporine, a well-known toxic, has been used to test the potential of this tool to evaluate the toxicity of molecules. The results showed the impact of dynamic culture on the hepatocytes behavior, and the staurosporine toxicity, in biochip cultures.

De nos jours, les véhicules intègrent de plus en plus de systèmes interconnectés. Ces systèmes ont des fonctions aussi nombreuses que complexes et sont soumis à des contraintes de sureté de fonctionnement (dont le temps réel) mais également de plus en plus de sécurité. Avec l'apparition des véhicules connectés, il devient nécessaire de faire communiquer ces différents systèmes, tant pour les gérer au niveau véhiculaire que potentiellement à distance. Faire communiquer ces différents réseaux, a fortiori dans les véhicules militaires, implique la prise en compte de diverses contraintes. Ces contraintes nécessitent d'être traitées par des éléments en coupure entre les différents systèmes. Un tel élément est alors en charge de protéger ces derniers en termes de sûreté de fonctionnement et de sécurité mais doit également assurer un transfert efficace et borné de l'information. Dans cette thèse, nous avons proposé une architecture logicielle de passerelle permettant de répondre à ces différentes contraintes et d'assurer ainsi l'interconnexion de tous ces systèmes. La solution se présente comme un framework permettant d'intégrer divers modules sur une architecture partitionnée et sûre, afin de pouvoir répondre à divers besoins spécifiques aux systèmes véhiculaires / Nowadays, vehicular systems are composed of more and more interconnected systems. Those systems manage a lot of complex functions and must comply with various safety-critical requirements (such as real-time) but also more and more with security requirements. With the new connected vehicles, it is necessary to make these various systems communicate, in order to manage locally or remotely the overall vetronic system. Make these systems communicate, moreover in military vehicles, implies to support various constraints. Theses constraints need to be supported by specific elements, used as gateways between each vehicle system needing external communication. This gateway has to protect each system in term of safety and security, but also has to guarantee an efficient upper-bounded transfer between them. In this thesis, we have proposed a software architecture for these gateways, compliant with the various vehicular security and safety requirements. The solution is proposed as a framework, supporting a modular configuration and able to aggregate various modules on a partitioned software architecture. Such an aggregation is then able to respond to the various vehicular specific needs such as security and real-time