Les systèmes électroniques embarqués dans les véhicules ont une complexité sans cesse croissante. Cependant, il est crucial d'en maîtriser le comportement temporel afin de garantir la sécurité ainsi que le confort des passagers. La vérification des contraintes temporelles de bout-en-bout est donc un enjeu majeur lors de la conception d'un véhicule. Dans le contexte de l'architecture logicielle AUTOSAR standard dans les véhicules, nous décomposons la vérification d'une contrainte de bout-en-bout en sous-problèmes d'ordonnancement sur les calculateurs et sur les réseaux de communication que nous traitons ensuite séparément. Dans un premier temps, nous présentons une approche permettant d'améliorer l'utilisation des calculateurs exécutant un grand nombre de composants logiciels, compatible avec l'introduction progressive des plateformes multi-coeurs. Nous décrivons des algorithmes rapides et efficaces pour lisser la charge périodique sur les calculateurs multi-coeurs en adaptant puis en améliorant une approche existant pour les bus CAN. Nous donnons également des résultats théoriques sur l'efficacité des algorithmes dans certains cas particuliers. Enfin, nous décrivons les possibilités d'utilisation de ces algorithmes en fonction des autres tâches exécutées sur le calculateur. La suite des travaux est consacrée à l'étude des distributions de temps de réponse des messages transmis sur les bus CAN. Dans un premier temps nous présentons une approche de simulation basée sur la modélisation des dérives d'horloges des calculateurs communicant sur le réseau. Nous montrons que nous obtenons des distributions de temps de réponse similaires en réalisant une longue simulation avec des dérives d'horloge ou en faisant un grand nombre de courtes simulations sans dérives d'horloge. Nous présentons enfin une technique analytique pour évaluer les distributions de temps de réponse des trames CAN. Nous présentons différents paramètres d'approximation permettant de réduire le nombre très important de calculs à effectuer en limitant la perte de précision. Enfin, nous comparons expérimentalement les résultats obtenus par analyse et simulation et décrivons les avantages et inconvénients respectifs de ces approches / The complexity of electronic embedded systems in cars is continuously growing. Hence, mastering the temporal behavior of such systems is paramount in order to ensure the safety and comfort of the passengers. As a consequence, the verification of end-to-end real-time constraints is a major challenge during the design phase of a car. The AUTOSAR software architecture drives us to address the verification of end-to-end real-time constraints as two independent scheduling problems respectively for electronic control units and communication buses. First, we introduce an approach, which optimizes the utilization of controllers scheduling numerous software components that is compatible with the upcoming multicore architectures. We describe fast and efficient algorithms in order to balance the periodic load over time on multicore controllers by adapting and improving an existing approach used for the CAN networks. We provide theoretical result on the efficiency of the algorithms in some specific cases. Moreover, we describe how to use these algorithms in conjunction with other tasks scheduled on the controller. The remaining part of this research work addresses the problem of obtaining the response time distributions of the messages sent on a CAN network. First, we present a simulation approach based on the modelisation of clock drifts on the communicating nodes connected on the CAN network. We show that we obtain similar results with a single simulation using our approach in comparison with the legacy approach consisting in numerous short simulation runs without clock drifts. Then, we present an analytical approach in order to compute the response time distributions of the CAN frames. We introduce several approximation parameters to cope with the very high computational complexity of this approach while limiting the loss of accuracy. Finally, we compare experimentally the simulation and analytical approaches in order to discuss the relative advantages of each of the two approaches

Dans cette étude menée sur la côte méditerranéenne du Maroc, de l’Algérie, et de la Tunisie à une échelle spatiale et temporelle étendue (2200 km de côte et sur 100 ans environ), nous déterminons, par une approche « Source-to-sink », les relations existantes entre l’érosion produite dans les bassins versants et les sédiments transportés en suspension par les oueds, avec la redistribution de ces sédiments le long du rivage. Nous proposons un nouveau modèle empirique de transport sédimentaire en suspension le long des bassins versants de notre site d’étude. Nous déterminons alors l’impact des barrages sur les sédiments, puis nous estimons quantitativement quels sont les apports sédimentaires s’effectuant jusqu’à la mer. Nous analysons les caractéristiques morphologiques du littoral selon sa géométrie et les indices morphodynamiques issus de la littérature. Après avoir cartographié la position du trait de côte à différentes périodes, la cinématique du rivage est déterminée, ainsi que la dérive littorale. Ces analyses se basent sur le concept de cellule littorale. Nous terminons par une synthèse globale avant de tirer les conclusions principales sur les relations entre les bassins versants et les cellules littorales, telles que (1) le rôle de précurseur et de tampon sédimentaire joué par les deltas pour limiter l’érosion des plages en secteur aval de la cellule littorale, (2) les liens entre les apports sédimentaires des oueds avant-barrage avec le type de barre littorale, et (3) les liens entre les apports sédimentaires des oueds avant-barrage, minorés du volume de sédiment déplacé par la dérive littorale, avec la taille des deltas et le nombre de barres littorales. / In this study conducted on the Mediterranean coast of Morocco, Algeria, and Tunisia at an extended spatial and temporal scale (2200 km of coastline and about 100 years), we determine, using a "source-to- sink ", the existing relationships between erosion produced in watersheds and sediment transported in suspension by wadis, with the redistribution of these sediments along the shoreline. We propose a new empirical model of suspended sediment transport along the watersheds of our study site. We then determine the impact of dams on the sediments, and then quantitatively estimate the sedimentary contributions to the sea. We analyze the morphological characteristics of the littoral according to its geometry and the morphodynamic indices from the literature . After mapping the position of the coastline at different periods, the kinematics of the shoreline is determined, as well as the shoreline drift. These analyzes are based on the concept of a littoral cell. We conclude with a general synthesis before drawing the main conclusions on the relations between watersheds and coastal cells, such as (1) the role of precursor and sediment buffer played by deltas to limit the erosion of beaches in the sector (3) the links between sediment inputs from pre-barrage wadis, minus the volume of sediment moved by the coastal drift, with the size of the deltas and the number of coastal bars.

Les barres sableuses pré-littorales ont un rôle fondamental en morphodynamique des plages soumises à l’action des vagues. Le déséquilibre permanent entre les flux sédimentaires induits vers laplage par les non linéarités des vagues et ceux induits vers le large par le courant de retour gouverne lamigration transversale des barres. Dans cette thèse, un nouveau modèle morphodynamique de profilde plage intégrant l’état de l’art des processus hydro-sédimentaires a été développé. Le faible coûten temps de calcul de ce modèle permet de réaliser des simulations à long terme, O(mois/années),de la morphologie de plages réelles ayant des caractéristiques variées (pente, type de déferlement,granularité). La simulation sur plusieurs jeux de données, de plages réelles et expérimentales, a permisd’identifier la contribution respective des principaux processus hydro-sedimentaires dans la dynamiquede la plage suivant les conditions de houle (e.g. Tempête, temps calme). Ces avancées scientifiques ontété intégrées à un modèle 2DH, ce qui a notamment permis de simuler pour la première fois sur des casacadémiques la formation d’une barre sableuse rectiligne à partir d’une plage parfaitement plane, suiviedu développement de corps sableux tridimensionnels. Ces résultats ouvrent la voie vers l’applicationde ce type de modèle aux plages naturelles soumises à une large variabilité de régimes de houle. / Sandbars are ubiquitous patterns along wave-dominated sandy coastlines and are key elementsin the global evolution of beaches. Cross-shore sandbar migrations are the result of the permanentimbalance between sediment flux driven by wave non-linearity and mean return current. In this thesis,we developed a new process-based beach profile model integrating the recent scientific advancesin term of hydrodynamics and sediment transport developed for beach morphodynamics. The lowcomputing time allows for long-term morphodynamic simulations (O months/years) of natural beachprofiles of diverse characteristics (beach slope, sediment grain size or type of wave breaking). Modelvalidations on several data sets, encompassing natural and experimental beach profile evolutions,highlight the respective contribution of the main hydrodynamic and sediment transport processesinvolved in specific cross-shore sandbar evolution relative to various wave conditions. Finally, all thecross-shore physical processes were integrated in a 2DH morphodynamic model, resulting for the firsttime in the simulation of a quasi-complete down state sequence showing alongshore bar generationwith subsequent spontaneous formation of transverse bar and rip morphology. These very encouragingresults pave the way for using this model to simulate 3-Dimensional evolutions of natural beachesforced by irregular wave conditions

Les composants dédiés et actuellement disponibles pour le marché automobileprésentent une grande diversité technologique tant au niveau puce que stratégie de packaging ouencore architecture module (mono-puce ou multi-puce) pour des performances équivalentes. Cetteétude s’est attachée à développer une méthodologie d’évaluation de la fiabilité de deux filièrestechnologiques particulières de modules de LEDs multi-puce : l’une intègre une technologie verticale(VTF pour Vertical Thin Film) tandis que la seconde est focalisée sur une structure par puce montéeretournée(TFFC pour Thin Film Flip Chip). La méthodologie s’articule autour de trois principaux axes:· La connaissance des structures et le développement de modèles électro-optiques et thermiquesmulti-puce permettant d’extraire les paramètres clés à suivre au travers d’un panel varié detechniques d’analyse physique et non-destructives incluant les aspects électriques, optiques,thermiques….· Une analyse comportementale de robustesse par paliers afin de dégager les margesopérationnelles de fonctionnement ainsi que les modes et les signatures caractéristiques dedéfaillance.· Une étude de fiabilité conduite à partir de différents régimes de contraintes accélérées pourestimer les durées de vie moyennes de ces nouveaux composants en environnement automobileet l’impact au niveau système.Les résultats mettent en évidence une durée de vie très dépendante de la filière technologique(facteur 6 entre les deux filières étudiées). Les analyses de défaillance ont permis d’identifierprécisément les comportements de ces nouvelles sources d’éclairage pour dégager des indicateursprécoces de défaillance. Enfin, des préconisations ont été extraites afin de fiabiliser les futursprojecteurs à sources LEDs de puissance pour les applications en automobile. / With rapid development of Lighting Emitting Diode (LED) market, LED performancesare now suitable for automotive high beam / low beam lighting applications. Due to the need of UltraHigh Brightness (UHB-LEDs), LEDs are packaged on high thermal conductivity materials to obtainmultichip module (4 chips in series), which deliver up to 1000 lumens at 1A. Currently, several LEDtechnologies are commercially offered for the same performances, and different packaging strategieshave been implemented in terms of chip configuration, bonding, down conversion phosphor layerand mechanical protection to optimize performances. This study addresses a dedicated methodologyfor reliability analysis, applied on two LED chip packaging technologies: On the one hand, a VerticalThin Film (VTF) technology; on the other hand a Thin Film Flip Chip (TFFC). Our methodology is basedon 3 main items: Packaging technology structure, materials analysis and electro-optical and thermal multichipmodels for both technologies to understand and extract the key parameters to monitor duringageing tests. Robustness assessment tests to define operating margins, adjust accelerated life-testingconditions, and identify failures signatures. Reliability study through a 6 000 hours High Temperature Operating Life (HTOL) acceleratedtests, to predict the Mean Time To Failure (MTTF) of these new light source technologiesregarding the automotive mission profile. Linked to failure analysis, convincing failuremechanisms are proposed.Based on these results, parametric variations are compared to failure analysis results topropose failure mechanisms. The HTOL tests reveal that both LED technologies have their specificreliability behavior and failure modes: catastrophic failure and gradual failure. Predictive lifetimeestimations (L70B50) of these multichip modules give a factor 6 between both technologies.Beyond these reliability results, the multichip architecture brings new issues for Solid StateLighting (SSL) sources in automotive, as well as partial failure or unbalanced behavior after stress.These new issues are discussed through the behavior modeling of a 10 LED modules batch for bothfailure modes. Modeling results demonstrate that the predictive lifetime of a LED multichiparchitecture is directly related with the LED technology failure mode.

Dans le cadre d'études menées autour du programme PETAL, nous avons développé de nouvelles architectures pour la pré-amplification d'impulsions par amplification paramétrique optique à dérive de fréquence (OPCPA). Dans ce travail, nous considérons l'OPCPA comme un moyen de contrôle et de mise en forme des impulsions. Nous suggérons trois architectures lasers qui aspirent chacune à répondre à des défauts de la technique OPCPA ou des chaînes dédiées à la FCI. Ainsi, nous pallions un possible défaut de recouvrement temporel entre les impulsions pompe et signal, lequel induit une mauvaise extraction d'énergie lors du processus paramétrique. Dans ce cadre, nous avons démontré qu'une cavité régénérative OPCPA, résonnante sur l'onde complémentaire, permet d'optimiser l'amplification. Au-delà ce système permet de produire un train de répliques amplifiées de l'onde signal. Notre second montage vise à pré-compenser le rétrécissement spectral par le gain en façonnant les impulsions signal au niveau de l'étage OPCPA dans les domaines spatial et spectral. Nous avons démontré que ceci pouvait être réalisé en mettant en forme temporellement et spatialement le faisceau pompe. Enfin, nous proposons un OPCPA basé sur l'adressage spatial et l'amplification uniforme des composantes spectrales dans un cristal à polarisation périodique de type éventail.

De nombreuses applications génèrent et reçoivent des données sous la forme de flux continu, illimité, et très rapide. Cela pose naturellement des problèmes de stockage, de traitement et d'analyse de données qui commencent juste à être abordés dans le domaine des flux de données. Il s'agit, d'une part, de pouvoir traiter de tels flux à la volée sans devoir mémoriser la totalité des données et, d'autre part, de pouvoir traiter de manière simultanée et concurrente l'analyse des régularités inhérentes au flux de données et celle des nouveautés, exceptions, ou changements survenant dans ce même flux au cours du temps.<br /><br />L'apport de ce travail de thèse réside principalement dans le développement d'un modèle d'apprentissage - nommé ILoNDF - fondé sur le principe de la détection de nouveauté. L'apprentissage de ce modèle est, contrairement à sa version de départ, guidé non seulement par la nouveauté qu'apporte une donnée d'entrée mais également par la donnée elle-même. De ce fait, le modèle ILoNDF peut acquérir constamment de nouvelles connaissances relatives aux fréquences d'occurrence des données et de leurs variables, ce qui le rend moins sensible au bruit. De plus, doté d'un fonctionnement en ligne sans répétition d'apprentissage, ce modèle répond aux exigences les plus fortes liées au traitement des flux de données. <br /><br />Dans un premier temps, notre travail se focalise sur l'étude du comportement du modèle ILoNDF dans le cadre général de la classification à partir d'une seule classe en partant de l'exploitation des données fortement multidimensionnelles et bruitées. Ce type d'étude nous a permis de mettre en évidence les capacités d'apprentissage pures du modèle ILoNDF vis-à-vis de l'ensemble des méthodes proposées jusqu'à présent. Dans un deuxième temps, nous nous intéressons plus particulièrement à l'adaptation fine du modèle au cadre précis du filtrage d'informations. Notre objectif est de mettre en place une stratégie de filtrage orientée-utilisateur plutôt qu'orientée-système, et ceci notamment en suivant deux types de directions. La première direction concerne la modélisation utilisateur à l'aide du modèle ILoNDF. Cette modélisation fournit une nouvelle manière de regarder le profil utilisateur en termes de critères de spécificité, d'exhaustivité et de contradiction. Ceci permet, entre autres, d'optimiser le seuil de filtrage en tenant compte de l'importance que pourrait donner l'utilisateur à la précision et au rappel. La seconde direction, complémentaire de la première, concerne le raffinement des fonctionnalités du modèle ILoNDF en le dotant d'une capacité à s'adapter à la dérive du besoin de l'utilisateur au cours du temps. Enfin, nous nous attachons à la généralisation de notre travail antérieur au cas où les données arrivant en flux peuvent être réparties en classes multiples.

Cette thèse a pour sujet la modélisation et le contrôle des processus intervenant lors de l'amplification d'impulsions laser à dérive de fréquence.<br />Nous présentons les modèles utilisés, qui prennent en compte la propagation, les effets non linéaires et les effets thermiques se produisant dans les chaînes laser basées sur le principe de l'amplification à dérive de fréquence. Une validation expérimentale de ces modèles a permis de souligner l'importance des aspects spatiaux du laser pour modéliser finement le processus d'amplification.<br />Nous avons également étudié l'importance, durant la propagation, des aspects spatiaux avec des calculs de propagation après un miroir déformable et montré toutes les précautions nécessaires pour l'utilisation d'une boucle d'optique adaptative. Cette boucle d'optique adaptative est utilisée maintenant de manière journalière pour garantir la qualité de la tache focale du laser 100 TW du LOA.<br />Nous avons réalisé des études sur les effets spatio-temporels créés dans les systèmes de lentilles. Le retard local et l'élargissement de la durée globale, dus au temps de propagation (PTD) dans un système de lentilles, ont été mesurés. Cette mesure directe de l'élargissement global de la durée temporelle est la première à notre connaissance.<br />Enfin, le futur laser Pétawatt (LUIRE) du LOA a été dimensionné avec les modèles validés précédemment. Nous pouvons atteindre le régime Pétawatt (30 J, 30 fs) avec un amplificateur multipassage supplémentaire dont les caractéristiques sont présentées.

Ce travail de thèse est consacré à l'étude numérique et théorique de la modulation de la turbulence par des particules. Cette étude s'appuie sur des résultats issus de simulations de type Euler/Lagrange qui résolvent directement les équations instantanées de la phase gazeuse et effectuent un suivi de trajectoires des particules. La configuration étudiée représente une nappe de particules injectées à haute vitesse dans une turbulence homogène isotrope décroissante. Le mouvement des particules est supposé uniquement gouverné par la force de traînée visqueuse. Le chargement en particules est suffisamment important pour que les particules influent sur la phase gazeuse (couplage inverse) mais suffisamment faible pour pouvoir négliger les collisions interparticulaires. Une analyse des équations de transport des principales grandeurs moyennes de l'écoulement est menée pour déterminer les effets directs et indirects des particules sur la turbulence fluide. L'étude des transferts d'énergie entre phases montre que la présence des particules tend à détruire la turbulence gazeuse au centre de la nappe et à l'augmenter à la périphérie. Ce dernier effet est causé par la forte corrélation entre la distribution de particules et la vitesse instantanée du gaz. Le modèle k-epsilon est ensuite étudié et la validité de ses hypothèses de fermeture en écoulement diphasique est éprouvée à l'aide de tests a priori. une nouvelle formulation de type viscosité turbulente, fonction des paramètres diphasiques, est utilisée pour modéliser le tenseur de Reynolds du gaz. Une équation de Langevin diphasique est également testée pour modéliser les équations de vitesse de dérive et de covariance des fluctuations de vitesse fluide-particules.

Dans cette thèse, nous nous intéressons à la modélisation et la simulation de dispositifs nanoélectroniques innovants. Premièrement, nous dérivons formellement un modèle avec masse effective pour décrire le transport quantique des électrons dans des nanostructures très fortement confinées. Des simulations numériques illustrent l'intérêt du modèle obtenu pour un dispositif simplifié mais déjà significatif. La deuxième partie est consacrée à l'étude du transport non ballistique dans ces mêmes structures confinées. Nous analysons rigoureusement un modèle de drift-diffusion et puis nous décrivons et implémentons une approche de couplage spatial classique-quantique. Enfin, nous modélisons et simulons un nanodispositif de spintronique. Plus précisement, nous étudions le renversement d'aimantation dans un matériau ferromagnétique multi-couches sous l'effet d'un courant de spin.

Le propulseur à effet Hall est un moteur à plasma utilisé pour le maintien en orbite et le contrôle d'attitude de satellites, et les petites missions interplanétaires. Son principe est basé sur une configuration de champs électrique et magnétique croisés pour accélérer des ions à hautes vitesses et créer ainsi une poussée. Le confinement des électrons dans une telle configuration, crucial pour son bon fonctionnement, pose le problème théorique de leur transport au travers des lignes de champ magnétique, la diffusion classique due aux collisions électron-neutre étant insuffisante. Ce travail de thèse fait la lumière sur un mécanisme de transport électronique anormal (par opposition à la diffusion classique) par la mise en évidence d'instabilités électroniques de dérive de fréquence 10-40 MHz et de longueurs d'onde de l'ordre du rayon de Larmor électronique (millimétrique) se développant en paquets de modes perpendiculaires au champ magnétique. Ces instabilités, générées par un couplage entre le mouvement cyclotronique des électrons et leur dérive, sont à l'origine d'un processus de diffusion stochastique électronique au travers des lignes de champ magnétique dont les propriétés sont proches de celles attendues dans le cadre du transport anormal.