La thermodynamique est née au 19ème siècle grâce aux travaux de Carnot basés sur l’hypothèse du calorique. Par la suite Clausius et Thomson proposent, en s’appuyant sur les travaux de Joule, une formalisation de la thermodynamique telle qu’on la connait aujourd’hui. Ils introduisent ainsi les principes et les concepts qui lui sont liés comme l’énergie interne ou l’entropie. Ces travaux ont également permis de donner une interprétation mécanique du transfert thermique ou « chaleur » et d’aborder les prémices de la physique statistique. Mais à l’aube du 20ème siècle, les théories énergétiste et atomiste s’affrontent et la thermodynamique est un des théâtres de ces confrontations. Le début du 20ème siècle coïncide également avec une grande réforme de l’éducation qui restera une référence jusque les années 60, visant à mettre en place une structure nouvelle pour répondre à la question : l'enseignement convient-il toujours à la formation des couches dirigeantes alors que sciences et techniques sont en plein essor ? Comme nous allons le voir, l’enseignement de la physique va bénéficier de cette réforme. En effet, ce travail étudie l’évolution de l’enseignement de la thermodynamique de 1902 à 2010 pour les classes du lycée et de l’enseignement supérieur. Il porte sur l’évolution et l’analyse didactique des concepts d’énergie, de transfert thermique ou « chaleur », de température, d’entropie et de système thermodynamique. Quatre grandes périodes concernant les programmes, manuels et épreuves officielles sont proposées. En résumé, il s’agit de mettre en lumière le pourquoi de telles réformes, les modifications qu’elles apportent et d’en tirer un bilan pour l’enseignement. / Thermodynamics was born in the 19th century through the work of Carnot based on the assumption of caloric. Later on, based on the work of Joule, Clausius and Thomson proposed the formalization we know today, introducing related principles and concepts such as internal energy or entropy. Their work also gives a mechanical interpretation of thermal transfer or “heat” and addresses the beginnings of statistical physics. But at the dawn of the 20th century, the theories of atomism and energetism compete and thermodynamics is one of the theaters of these confrontations. The early 20th century also coincides with a major education reform which will remain a reference until the 60s, to establish a new structure in order to answer the following question: is the method of teaching still adapted to the formation of the leading strata while science and technology are booming ? Physics will benefit from this reform. Indeed, this work studies the evolution of the teaching of thermodynamics from 1902 to 2010, for high school and higher education. This study focuses on the evolution of the concepts of energy, thermal transfer or “heat”, temperature, entropy and thermodynamical system. An analysis over four major periods, programs, textbooks and official events is proposed. This is to highlight the reason for such reforms, the changes they bring and draw conclusions for the teaching of thermodynamics.

Longue de 120 km, la Seille prend sa source à la sortie de l'Etang de Lindre et conflue avec la Moselle à Metz. Son bassin versant (1291 Km²) est caractéristique du plateau lorrain (Nord Est de la France) avec un substratum géologique essentiellement marno–calcaire qui appartient à la série sédimentaire du Trias supérieur et du Lias. La Seille a été particulièrement aménagée au cours de son histoire, et l'impact des interventions humaines s'est traduit par de nombreux changements et dégradations sur le tracé, le lit mineur et le lit majeur. Afin de mieux comprendre les mutations du système fluvial nous essayons d'identifier, à travers le temps, l'influence des aménagements sur le fonctionnement hydrologique. Les objectifs de la thèse s'articulent autour de deux thèmes principaux : proposer une méthode qui permet d'expliquer les transformations morpho-dynamique à travers lesquelles sont perçus les changements du système fluvial. Analyser le paysage fluvial et les rapports complexes qu'entretient la société humaine avec le milieu fluvial. Résoudre une telle problématique suppose l'emploi d'une méthode transdisciplinaire ; d'où le choix d'une démarche qui associe des recherches historiques à l'étude de la tendance actuelle du cours d’eau. L'histoire ne constitue pas un but mais un moyen pour reconstituer le paysage du passé. L'objectif est de démontrer l'influence des interventions humaines successives sur le paysage actuel selon une optique historique. La démarche adoptée s'articule autour de trois axes de recherches : déterminer le fonctionnement hydrologique d’un bassin versant où les influences anthropiques sont fortes et variées. Ces influences ont entraîné une réponse lente de l'hydro-système, perceptible depuis un demi-siècle. Analyser les situations hydrologiques extrêmes (crues, étiages) dans les chroniques des stations hydrométriques et rechercher des événements marquants dans l'histoire hydrologique de la rivière. Nous avons insisté sur les crues car c'est à l'occasion de celles-ci que surviennent les modifications les plus visibles du lit fluvial et du cours d'eau. L'objectif de cette partie est essentiellement de mettre en évidence le rôle des débits solides et liquides dans la morpho dynamique du cours d'eau. identifier l'évolution du lit fluvial sur deux échelles de temps :à l'échelle historique (comptée en siècles) : qui englobe l'étude des photos aériennes anciennes (missions, 1958,1967, 1968 et 1999) et le récapitulatif des aménagements réalisés depuis le XIIIe siècle (étude du tracé, et d’anciens profils en travers) à l'échelle contemporaine (comptée en années ou dizaines d'années): qui repose essentiellement sur les observations de terrain : cartographie des morphologies fluviales du lit mineur et du lit majeur, réalisation des profils en travers (été 2004), t traitement des orthophotoplans (2000). Les approches permettent de comprendre les mutations du système fluvial qui s'oriente vers une anthropisation totale du paysage qui lui est associé. Aujourd'hui de grands projets sont engagés, en particulier, pour la surveillance et l'entretien du cours d'eau pour enter de préserver un paysage "naturel" / Long of 120 km, La Seille takes its source at the exit of the Pond of Lindre and joins he Moselle in Metz. Its catchment area (1291 Km²) is characteristic of the Lorraine plate Northern Is France) with a geological substratum primarily marno –calcareous which belongs o the sedimentary sequence of Sorted higher and of Lias. a Seille was particularly arranged during its history, and the impact of the human nterventions resulted in many changes and degradations on the layout, the minor bed and the ajor bed. In order to better include/understand the changes of the river system we try to dentify, through time, the influence of installations on hydrological operation. The objectives of the thesis are articulated around two principal topics : to propose a method which makes it possible to explain the transformations morphodynamics through which is perceived the changes of the river system. to analyze the river landscape and the complex reports/ratios which the human society maintains with the river medium. To solve such problems supposes the use of a method transdisciplinaire; from where the choice of a step which associates historical research the study of the current tendency of the river. The history does not constitute a goal but a means to reconstitute the landscape of the past. The objective is to show the influence of the successive human interventions on the current landscape according to a historical optics. The adopted step is articulated around three research orientations: to determine the hydrological operation of a catchment area where the anthropic influences strong and are varied. These influences have involved a slow response of the hydro-system, perceptible for one half-century. to analyze the extreme hydrological situations (risings, low water levels) in the chronicles of the hydrometric stations and to seek outstanding events in the hydrological history of the river. We insisted on the risings because it is at the time of those that the most visible modifications of the river bed and the river occur. The objective of this part is primarily to highlight the role of the bed loads and liquids in the dynamic morpho of the river. to identify the evolution of the river bed on two scales of time: the historical scale (counted in centuries): who has included the study of the old air photographs (missions, 1958,1967, 1968 and 1999) and the summary of the installations carried out for the XIII 2nd century (study of the layout, and old profiles transversely) the contemporary scale (counted in years or tens of years): who rests primarily on the observations of ground: cartography of river morphologies of the minor bed and the major bed, realization of the profiles transversely (be 2004), and treatment of the orthophotoplans (2000). These approaches make it possible to include/understand the changes of the river system which is directed towards a total anthropisation of the landscape which is associated for him. Today of great projects are engaged, in particular, for the monitoring and the maintenance of the river to try to preserve a "natural" landscape

L’étude des systèmes en réseau supports d’applications collaboratives, distribuées et interconnectées par un réseau repose sur l’identification des exigences de fonctionnement de l’application appelées Qualité de Contrôle (QdC), et sur l’évaluation des performances du réseau pour obtenir son niveau de Qualité de Service (QdS). « Cette thématique comporte d’importants verrous de nature fondamentale relevant du domaine de l'automatique, de la robotique, des capteurs, de la théorie de l’information, des réseaux. Par souci de simplification, les travaux sur les systèmes en réseau se repartissent selon deux approches: la première compense les perturbations générées par les communications au niveau de l’application (« control over network »). La seconde adapte les performances du réseau en fonction des besoins applicatifs (« control of network »). L’objectif de nos travaux de thèse est donc de proposer un environnement de modélisation intégré permettant de représenter le comportement des SCRs. Nous avons choisi les Réseaux de Petri de haut niveau qui possède un fort pouvoir d’expression, de formalisation et dont la modularité permet d’ajouter et/ou de faire évoluer les modèles qui sont développés dans ce travail. Dans un premier temps, nous avons proposé unmodèle Ethernet Commuté gérant des mécanismes d’ordonnancement. Le choix de ce réseau a été guidé par le fait qu’il est de plus en plus utilisé dans les SCRs. Ensuite, le modèle d’un SCR a été proposé, et modélisé par des Réseaux de Petri de haut de niveau, en intégrant au modèle Ethernet Commuté, l’environnement applicatif : Contrôleur, Process,.. Enfin, des stratégies pour commander le réseau de façon à adapter sa Qualité de Service en regard de la Qualité de Contrôle requise par l’application, ont été mises en oeuvre. Pour cela, des ordonnanceurs à priorité stricte et de type WRR sont utilisés. Les résultats de simulation montrent clairement que des dispositifs de compensation du réseau pour améliorer les performances du système de communication, permettent aussi d’améliorer les performances du système à commander. / The Networked Control Systems (NCS) used in collaborative, and distributed applications are based both on identification of application requirements named Quality of Control (QoC), and on performance evaluation of network to obtain the required Quality of Service (QoS). The pluridisciplinary aspect of NCS needs the knowledge of many domains such as information theory, robotics, sensors and networks. In general, two approaches are investigated in NCS: the first one deals with the compensation of the network perturbations by using control theory (control over network). The second one adapts the network performances according to the application needs (control of network). The objective of this thesis is to propose an integrated modelling environment to represent globally the NCS behaviour by using the High Level Petri Nets (HLPN) formalism. This work considers NCS based on switched Ethernet architectures. Such communication architecture is modelled with HLPN and is evaluated according to different scheduling mechanisms and traffic load. After that, NCS model based on HLPN is proposed. This model integrates the Ethernet switch model and applicative environment of NCS: controller, process… Finally, the strategies to control the network in order to adapt the QoS according to the QoC required by the application are proposed. These strategies are achieved using priority static and Weighted Round Robin policies. The obtained results show that the scheduling mechanisms enable to improve the performance of communication system and then to improve the application performances.

Dans les plasmas de fusion, les parois faisant face aux plasmas sont érodées, ce qui réduit leur durée de vie, et les particules rejetées dégradent le confinement de l’énergie en rayonnant. Nous étudions ce phénomène à l’aide d’une modélisation cinétique de type Vlasov-Poisson. Celle-ci nous permet d’étudier la transition entre un plasma basse pression faiblement collisionnel à l’équilibre thermodynamique et une paroi, en présence d’un champ magnétique. Une étude détaillée de la transition a permis d’établir les mécanismes agissant dans les trois zones qui la composent (gaine de Debye, prégaine magnétique et prégaine collisionnelle). Une attention particulière apportée aux conditions d’entrée des ions dans la gaine a permis de montrer que les collisions pouvaient conduire à la non-satisfaction du critère de Bohm. Nous avons de plus mis en évidence que la présence de la paroi, combinée à celle d’un champ magnétique, induit d’importantes déformations de la distribution des ions, justifiant pleinement le traitement cinétique. L’exploitation des distributions obtenues au niveau de la paroi a permis d’estimer le taux de pulvérisation de celle-ci en fonction du champ magnétique. Nous avons pu montrer qu’un champ magnétique rasant permet non seulement d’étaler le flux ionique sur une plus grande surface, mais aussi de réduire l’énergie des ions la percutant, limitant ainsi sa pulvérisation. Les plasmas étant généralement composés de plusieurs types d’ions, notre modèle a ensuite été étendu au cas des plasmas composés d’argon et d’hélium. Notre étude s’est concentrée sur l’influence d’une seconde espèce ionique sur le critère de Bohm à l’entrée de la gaine de Debye. / In fusion devices, the region of plasma directly in contact with a material surface (limiter, divertor) can erode the surface and release impurities, which mirgrate toward the bulk plasma and deteriorate its confinement. In this thesis, we studied the plasma-wall interaction using a Vlasov-Poisson model. This kinetic model allowed us to investigate the three different regions (Debye sheath, magnetic and collisional presheaths) that compose the transition between a low-pressure plasma and a wall when a tilted magnetic field is present. Particular attention was devoted to the physical properties of ions entering the Debye sheath and the role of ion-neutral collisions on the Bohm criterion. Moreover, we showed that, in the presence of a tilted magnetic field, the ion distribution function is significantly distorted from its Maxwellian shape in the bulk plasma, thus requiring a fully kinetic study. Using the computed ion distributions on the wall, we estimated the wall sputtering rate in terms of the magnetic field strength and angle of incidence. We showed in particular that, for grazing incidence, the sputtering rate is reduced because of two effects: first, the ion flux is spread over a larger area and, second, the grazing magnetic field limits the kinetic energy of ion population. As plasmas are generally composed of more than one species, we extended our model to simulate an argon-helium plasma. Our study focussed on the Bohm criterion at the Debye sheath entrance and its modifications brought by the introduction of a second ion species.

Les systèmes à grande échelle intégrées qui travaillent ensemble pour une mission commune sont connus sous le nom de Systèmes de Systèmes (SdS). Ce travail propose une méthode de modélisation pour une classe de SdS, à savoir, les systèmes mécatronique, en utilisant l’approche de Bond graph. Cette approche est appliquée à un Système de Transport Intelligent par la modélisation de la dynamique du trafic de véhicules autonomes intelligent; où les communications de véhicule à véhicule et de véhicule à infrastructure sont considérées. Un tel ensemble de véhicules autonomes décrit l'organisation d'un SdS. La dynamique du trafic est modélisée sur trois niveaux d'abstraction, à savoir: sous-microscopique, microscopique, et macroscopique. Par la suite, les trois niveaux sont combinés pour développer un modèle multi-niveaux de la dynamique du trafic en utilisant la même approche du Bond graph. Le modèle est simulé dans des scénarios normaux et défectueux. Ensuite, le modèle est validé sur un simulateur en temps réel de la dynamique du véhicule. En plus, des expériences réelles sur véhicules autonomes intelligent sont effectuées pour valider le modèle. Enfin, le modèle est utilisé pour développer une stratégie de supervision du SdS de trafic basé sur l'analyse comportementale et structurelle du modèle bond graph. / Large-scale integrated systems working collectively for a common mission are known as Systems of Systems (SoS). In the present work, we propose a modeling method for a class of SoS, namely mechatronic systems, based on the Bond graph modeling approach. The proposed approach is applied to an Intelligent Transportation System (ITS) by modeling the traffic dynamic of Intelligent Autonomous Vehicles (IAVs); where Vehicle to Vehicle (V2V) and Vehicle to Infrastructure (V2I) communications are considered. Such set of autonomous vehicles describe the organization of a SoS. The traffic dynamic is modeled at three abstraction levels namely: submicroscopic, microscopic, and macroscopic levels. Subsequently, the three levels are combined to develop a multilevel model of the traffic dynamic using the same Bond graph approach. The model is simulated for normal and faulty scenarios. Then, the model is validated on a real-time simulator of vehicle dynamics. In addition, real experiments on IAVs are performed to validate the model. Finally, the model is used to develop a supervision strategy for the traffic SoS based on the behavioral and structural analysis of the Bond graph model.

Ce travail, réalisé dans le cadre d'un contrat CIFRE entre le groupe Volvo, le LAGIS et le LM2S, traite des problèmes de planification des tâches de maintenance sur des véhicules industriels. Le but est de proposer un service de planification de maintenance adaptée au véhicule spécifique avec un coût de maintenance optimisé.Pour un système multi-composant, deux ensembles de composants peuvent être définis suivant le type d'information disponible concernant leurs états: âge ou niveau de dégradation. Sur la base de ces deux ensembles, des dates optimales de maintenance pour chaque composant peuvent être obtenues en minimisant une fonction de coût qui tient compte des coûts préventif, correctif et d'inspection éventuelle et qui dépend de la probabilité de panne. Dans le cas des composants à maintenance basée sur l'âge, la fonction de probabilité de panne est fixée a priori ; dans le cas des composants à détérioration elle est recalculée à chaque inspection.Les opérations de maintenance sont ensuite regroupées sur un horizon roulant. Certaines opérations doivent être déplacées par rapport à leur date optimale ce qui entraîne l'ajout d'un coût de pénalité. Les regroupements sont effectués en tenant compte des coûts de logistique des arrêts de maintenance, des coûts de pénalité de chaque opération et d'un intervalle de temps minimal entre deux groupes de maintenances qui correspond au temps de préparation de maintenance. La planification est obtenue en maximisant la différence entre la somme des coûts des maintenances individuelles et le coût global en tenant compte des groupes de tâches de maintenance. Le planning de maintenance est remis à jour à la prochaine inspection. / This thesis deals with the maintenance operation scheduling issues of commercial vehicles. It is a CIFRE collaboration between the Volvo group, LAGIS and LM2S laboratories. The aim is to suggest a maintenance scheduling service adapted to the vehicle with an optimized maintenance cost.The vehicle is considered as a multi-component system. For each component, the optimal maintenance dates are computed using a maintenance cost function. This cost function depends on the preventive cost, the corrective cost and possibly the inspection cost, and also on the component failure probability function. In our system, two types of components are defined according to the available component state information : age or degradation level. The failure probability function is fixed a priori for the first component class while it is updated at each inspection for deteriorating and monitored components.The maintenance operations are grouped on a rolling horizon. Some operations must be shifted from their optimal maintenance dates, which implies a penalty cost. The maintenance scheduling depends on the set-up cost, the penalty cost of each operation, and a minimal time interval between two maintenance groups which represents the preparation time. The set-up costs depend on the number of maintenance stops. The saving cost is computed from the difference between the maintenance cost with individual operations and the maintenance cost with the defined operation groups. The developed algorithm provides the optimal maintenance planning according to the available degradation data and the operational constraints. Maintenance scheduling is updated at the next inspection date.

Dans cette thèse, nous nous intéressons à la recherche d’architectures fiables pour les circuits logiques. Par ”fiable”, nous entendons des architectures permettant le masquage des fautes et les rendant de ce fait ”tolérantes" à ces fautes. Les solutions pour la tolérance aux fautes sont basées sur la redondance, d’où le surcoût qui y est associé. La redondance peut être mise en oeuvre de différentes manières : statique ou dynamique, spatiale ou temporelle. Nous menons cette recherche en essayant de minimiser tant que possible le surcoût matériel engendré par le mécanisme de tolérance aux fautes. Le travail porte principalement sur les solutions de redondance modulaire, mais certaines études développées sont beaucoup plus générales. / In this thesis, we mainly take into account the representative technique Triple Module Redundancy (TMR) as the reliability improvement technique. A voter is an necessary element in this kind of fault-tolerant architectures. The importance of reliability in majority voter is due to its application in both conventional fault-tolerant design and novel nanoelectronic systems. The property of a voter is therefore a bottleneck since it directly determines the whole performance of a redundant fault-tolerant digital IP (such as a TMR configuration). Obviously, the efficacy of TMR is to increase the reliability of digital IP. However, TMR sometimes could result in worse reliability than a simplex function module could. A better understanding of functional and signal reliability characteristics of a 3-input majority voter (majority voting in TMR) is studied. We analyze them by utilizing signal probability and boolean difference. It is well known that the acquisition of output signal probabilities is much easier compared with the obtention of output reliability. The results derived in this thesis proclaim the signal probability requirements for inputs of majority voter, and thereby reveal the conditions that TMR technique requires. This study shows the critical importance of error characteristics of majority voter, as used in fault-tolerant designs. As the flawlessness of majority voter in TMR is not true, we also proposed a fault-tolerant and simple 2-level majority voter structure for TMR. This alternative architecture for majority voter is useful in TMR schemes. The proposed solution is robust to single fault and exceeds those previous ones in terms of reliability.

Nous assistons aujourd’hui à un développement continu et rapide du Web Structuré, dans lequel les documents (les pages Web) ne sont plus composés que du texte non structuré mais sont centrés sur les données, présentant des contenus structurés et des objets complexes. Ces pages Web sont générées le plus souvent de façon dynamique à partir d’une base de données accessible via des formulaires (Web caché), et sont organisées selon une structure régulière et prédéfinie. Les plates-formes de recherche actuelles ne permettent d’obtenir que des pages en utilisant des méthodes traditionnelles de recherche par des mots-clés, qui sont inadaptées pour interroger le Web structuré. En effet, la recherche par mots-clés est sémantiquement pauvre et ignore les liens structurels existant entre les différents contenus des objets complexes (ex. dans une page Web d’un site commercial, constituée d’une liste de livres, les entités élémentaires “titre” et “auteur” composant chaque “livre” sont présentées selon une disposition qui illustre leurs relations. De nouveaux moyens de recherche sur le Web sont donc nécessaires, pour permettre à l’utilisateur de cibler des données complexes avec une sémantique précise. L’objectif de cette thèse est de fournir des algorithmes efficaces pour l’extraction et la recherche des objets structurées (un livre, un concert de musique, etc.) de façon automatique, à l’aide de méthodes adaptées allant au-delà de la recherche par mots-clés. Nous avons proposé une approche d’interrogation du Web en deux étapes, qui permet à l’utilisateur de décrire le schéma des objets ciblés, de façon souple et précise. Les deux problématiques principales adressées sont : (1) la sélection de sources Web structurées les plus pertinentes pour un schéma fourni par l’utilisateur (c-à-d, contenant les objets, instances de ce schéma), et (2) la construction de wrappers (extracteurs) pour l’extraction des objets complexes ciblés à partir des sources sélectionnées, en exploitant la régularité des structures des pages et la sémantique des données. Notre approche est générique, dans le sens où elle nŠest pas spécifique à des sources ou des objets d’un domaine particulier. Elle a été implantée (système ObjectRunner) et testée sur des sources Web appartenant à des domaines variés. Les résultats obtenus montrent, en particulier, une pertinente élevée au niveau de la sélection de sources et un gain significatif au niveau de la qualité de l’extraction par rapport aux approches existantes. / We are witnessing in recent years a steady growth of the so-called structured Web, in which documents (Web pages) are no longer quasi-textual, but are data-centric, presen-ting structured content, complex objects. Such schematized pages are often generated dynamically by means of formatting templates over a database, possibly using user input via forms (hidden Web). The current Web search platforms allow only to retrieve Web pages by traditional keyword search methods, which are not adapted to query the structured Web. Indeed, keyword search is semantically poor and ignores the existing structural links between various components of complex objects (e.g., in a commercial Web site page, providing book lists, the atomic entities “title” and “author” forming each “book” are displayed in a way that illustrates their relationship. New ways of searching the Web are thus required, in order to enable users to target complex data, with a clear semantics. The main aim of this thesis is to provide effective algorithms for extracting and retrieving structured objects (e.g., a book, a music concert, etc.) automatically, using adapted methods rather going beyond the keyword search ones. We propose a two-phase querying approach of the Web, which allows users to first describe the schema of the targeted objects, in a flexible, lightweight and precise manner. The two main problems we address are : (1) the selection of the most relevant structured Web sources with respect to the schema provided by the user (i.e., containing objects, instances of this schema), and (2) the construction of wrappers for extracting the targeted complex objects from the selected sources, leveraging both the regularity of the pages and the semantics of the data. Our approach is generic, in the sense that it can be applied to any domain and schema for complex objects. It has been implemented in the ObjectRunner system, and tested extensively. The experimental results show high source-selection relevance and significant improvements over existing techniques in terms of extraction precision.

De nos jours, les systèmes embarqués temps-réels critiques intègrent de plus en plus de composants, et voient leur complexité augmenter. Les systèmes avioniques ont suivi cette évolution, voyant augmenter leurs processus de développement. Dès lors, les développeurs de plates-formes avioniques se sont tournés vers les méthodes de modélisation en avance de phase (i.e. en tout début de cycle de développement), afin d’anticiper les performances de celles-ci et aider à leur dimensionnement. Particulièrement, l’exploration de l’utilisation des ressources matérielles de la plate-forme par la partie applicative (l’ensemble des applications) est le point central de cette exploration des performances. Si les méthodes de modélisation actuelles offrent la possibilité de modéliser une plate-forme depuis les exigences jusqu’au niveau architectural, elles ne sont pas encore adaptées à la modélisation comportementale. Elles ne permettent donc pas l’étude du comportement et la comparaison de différentes architectures d’une plate-forme en avance de phase. Mes travaux de thèse ont pour but d’offrir un processus de modélisation et simulation de plate-forme avionique répondant à cette problématique. L’objectif est de compléter les méthodes de modélisation actuelles pour apporter une analyse plus fine des performances d’une plate-forme en avance de phase, et les comparer avec les exigences. Pour cela, nous proposons une approche en quatre étapes : i) une étape de modélisation des applications et d’extraction des stimuli applicatifs ; ii) une étape de modélisation architecturale du système basée sur AADL (Architecture Analysis and Design Language) et son annexe ARINC653 ; iii) une étape de génération d’un modèle comportemental de la partie matérielle et intergicielle du système en SystemC-TLM ; iv) une étape de simulation et d’analyses, où les stimuli applicatifs sont exécutés par le modèle comportemental, et les performances extraites comparées aux exigences système. Enfin, nous avons validé notre méthode sur un cas d’étude avionique que nous présenterons également. / Nowadays, real-time critical embedded systems are more and more complex due to an increase of the integrated components. Following that trend, avionic systems development complexity increases too. So early modeling processes are more and more used in order to anticipate on plat-forms performance and help sizing them. Particularly, hardware resources usage exploration is a key aspect for performance exploration. Current processes allow to model avionic platform from requirements to architectural level of abstraction, but they do not allow to model a behavioral avionic platform. Thus, they do not allow to explore the hardware resources usage of the platform, neither to compare some alternatives of architectures at early phase of development cycle. My PhD work presents our avionic platform modeling and simulation process that answer that problem. The goal is to complete current modeling processes to offer more accurate early performance analysis, and compare them with the system requirements. For that, we propose a for steps method : i) an application modeling and stimuli extraction step ; ii) an architectural modeling step, based on the AADL (Architecture Analysis and Design Language) and its ARINC653 annex ; iii) a behavioral execution platform model (hardware and middleware) generation step with SystemC-TLM ; iv) a simulation and analysis step, when performance are compared with system requirements. At last, we will present our validation part on an avionic case study.

Depuis son acte de naissance au début des années 1970, l’industrie du jeu vidéo s’est hissée au premier rang des industries du loisir. La traduction des œuvres joua un rôle prépondérant dans la conquête de nouveaux marchés, qui a permis à certains fabricants, producteurs et éditeurs d’acquérir une dimension internationale. Les jeux vidéo sont des objets techniques interactifs dont la fabrication repose à la fois sur la programmation d’un logiciel capable de produire une structure jouable, et sur des procédés artistiques capables de produire une représentation actionnable. Ils constituent un contexte opératoire dont les propriétés posent un écheveau de problèmes que les agents chargés d’effectuer leurs traductions doivent résoudre. L’objectif de cette thèse est de produire une étude compréhensive du rapport entre jeu vidéo et traduction, approché sous l’angle de la relation entre humain et machine. Malheureusement, les pratiques de l’industrie en matière de protection de la propriété intellectuelle, la complexité des objets techniques concernés et la taille des œuvres opposent une résistance sensible à leur analyse. Elle propose d’y remédier par une analyse de la traduction comme opération technique effectuée sur une famille d’objets, le jeu vidéo, dans l’environnement que constitue le système technique numérique. Elle est parachevée par des études de cas. Sa conclusion ouvre des pistes en matière de recherche et développement, en partenariat avec les acteurs de ce secteur. / Since it came into being in the beginning of the 970 decade, the video games industry made its way to the top of the entertainment industry. The translation of the product it delivered played an important part in this evolution, allowing some platform holders, developers and publishers to become worldwide actors. Video games are interactive technical artifacts. Their fabrication relies on both the coding of a software acting as a playable structure, and on artistic assets used to build its representation. Translators operating in such a context are confronted with a mesh of challenges that they need to overcome in order to successfully complete their task. This PhD thesis is a comprehensive study of the interaction between video games and translation, considered as a human-machine relationship. Unfortunately, the rules enforced by the industry regarding the protection of intellectual property, the complexity of the technical artifacts involved and the size of the productions are an impediment to any analysis. In order to remedy this situation, this study endeavors to analyze translation as a technical operation, performed on a type of artifacts, video games, while considering the digital technical system as an environment. Case studies complete this work. Its conclusion gives several leads for research and development, to be investigated in partnership with actors in the localization or video games industry.