Actuellement, les circuits numériques nécessitent d'être de plus en plus performants. Aussi, les produits doivent être conçus le plus rapidement possible afin de gagner les précieuses parts de marché. Les méthodes rapides de conception et l'utilisation de MPSoC ont permis de satisfaire à ces exigences, mais sans tenir compte précisément de l'impact du vieillissement des circuits sur la conception. Or les MPSoC utilisent les technologies de fabrication les plus récentes et sont de plus en plus soumis aux défaillances matérielles. De nos jours, les principaux mécanismes de défaillance observés dans les transistors des MPSoC sont le HCI et le NBTI. Des marges sont alors ajoutées pour que le circuit soit fonctionnel pendant son utilisation, en considérant le cas le plus défavorable pour chaque mécanisme. Ces marges deviennent de plus en plus importantes et diminuent les performances attendues. C'est pourquoi les futures méthodes de conception nécessitent de tenir compte des dégradations matérielles en fonction de l’utilisation du circuit. Dans cette thèse, nous proposons une méthode originale pour simuler le vieillissement des MPSoC à haut niveau d'abstraction. Cette méthode s'applique lors de la conception du système c.-à-d. entre l'étape de définition des spécifications et la mise en production. Un modèle empirique permet d'estimer les dégradations temporelles en fin de vie d'un circuit. Un exemple d'application est donné pour un processeur embarqué et les résultats pour un ensemble d'applications sont reportés. La solution proposée permet d'explorer différentes configurations d'une architecture MPSoC pour comparer le vieillissement. Aussi, l'application la plus sévère pour le vieillissement peut être identifiée. / Nowadays, more and more performance is expected from digital circuits. What’s more, the market requires fast conception methods, in order to propose the newest technology available. Fast conception methods and the utilization of MPSoC have enabled high performance and short time-to-market while taking little attention to aging. However, MPSoC are more and more prone to hardware failures that occur in transistors. Today, the prevailing failure mechanisms in MPSoC are HCI and NBTI. Margins are usually added on new products to avoid failures during execution, by considering worst case scenario for each mechanism. For the newest technology, margins are becoming more and more important and products performance is getting lower and lower. That’s why the conception needs to take into account hardware failures according to the execution of software. This thesis propose a new methodology to simulate aging at high level of abstraction, which can be applied to MPSoC. The method can be applied during product conception, between the specification phase and the production. An empirical model is used to estimate slack time at circuit's end of life. A use case is conducted on an embedded processor and degradation results are reported for a set of applications. The solution enables architecture exploration and MPSoC aging can thus be compared. The software with most severe impact on aging can also be determined.

Cette thèse concerne l’étude de la propagation d’ondes acoustiques dans des structures hétérogènes. Le but essentiel de ces travaux est de confronter des résultats d’expériences numériques effectuées dans le domaine physique (espace, temps) à des prédictions analytiques pour la propagation des ondes de surface SH le long d’un demi-espace stratifié périodique produisant des spectres discontinus de dispersion pour les ondes, ainsi que pour la diffusion multiple dans des milieux aléatoires inclusionnaires (fissures, cavités). Le code numérique FDTD développé lors de cette étude a permis, en autres choses, de corroborer quantitativement les fenêtres spectrales théoriques d’existence des ondes de surface dans les demi-espaces périodiques,ainsi que de montrer des zones de validité fréquentielles des approches analytiques de diffusion multiple concernant les propriétés effectives de milieux aléatoires. / The study is concerned with acoustic waves in elastic media with a different nature of in homogeneity consisting in either periodically continuous or piece wise variation of material properties, or in random sets of defects embedded into a homogeneous matrix, with a given statistical distribution. The scope of problems is topical in non-destructive testing and other applications of ultrasound.Theoretical methods describing involved acoustic phenomena (complex dispersion features, coherent wave in random media, ensemble average techniques) often rely on certain a priori assumptions which render numerical verification especially important.The thesis presents results of analytical modelling of the propagation of surface acoustic waves along periodic half-space, for which the dispersion spectrum is rather complex (discontinuous spectrum of propagation for the surface waves). A 2nd order FDTD numerical code has been developed in order to perform numerical experiments in the space and time domains, and to corroborate the analytical predictions in the frequency domain. A good agreement of simulated results with analytical modelling demonstrates applicability and consistency of the numerical tool. Finally, the code has been used for extracting numerically the coherent wave regime (mean wave over ensemble averaging of the positions of scatterers) for the acoustic propagation in different types of populations of randomly distributed scatterers. The results indicate ranges of validity of some multiple scattering analytical techniques.

L’évolution des systèmes de capture des données concernant les objets mobiles a donné naissance à de nouvelles générations d’applications dans différents domaines. Les données capturées, communément appelées « trajectoires », sont au cœur des applications qui analysent et supervisent le trafic routier, maritime et aérien ou également celles qui optimisent le transport public. Elles sont aussi exploitées dans les domaines du jeu vidéo, du cinéma, du sport et dans le domaine de la biologie animale pour l’étude des comportements, par les systèmes de capture des mouvements. Aujourd’hui, les données produites par ces capteurs sont des données brutes à caractère spatio-temporel qui cachent des informations sémantiquement riches et enrichissantes pour un expert. L’objectif de cette thèse est d’associer automatiquement aux données spatio-temporelles des descriptions ou des concepts liés au comportement des objets mobiles, interprétables par les humains, mais surtout par les machines. Partant de ce constat, nous proposons un processus partant de l’expérience des objets mobiles de monde réel, notamment le bateau et l’avion, vers un modèle ontologique générique pour la trajectoire. Nous présentons quelques requêtes qui intéressent les experts du domaine et qui montrent l’impossibilité d’exploiter les trajectoires dans leurs états bruts. En effet, l’analyse de ces requêtes fait ressortir trois types de composantes sémantiques : thématique, spatiale et temporelle. Ces composantes doivent être rattachées aux données des trajectoires ce qui conduit à introduire un processus d’annotation qui transforme les trajectoires brutes en trajectoires sémantiques. Pour exploiter les trajectoires sémantiques, on construit une ontologie de haut niveau pour le domaine de la trajectoire qui modélise les données brutes et leurs annotations. Vu le besoin d’un raisonnement complet avec des concepts et des opérateurs spatiaux et temporaux, nous proposons la solution de réutilisation des ontologies de temps et d’espace. Dans cette thèse, nous présentons aussi notre travail issu d’une collaboration avec une équipe de recherche qui s’intéresse à l’analyse et à la compréhension des comportements des mammifères marins dans leur milieu naturel. Nous détaillons le processus utilisé dans les deux premiers domaines, qui part des données brutes représentant les déplacements des phoques jusqu’au modèle ontologique de trajectoire des phoques. Nous accordons une attention particulière à l’apport de l’ontologie de haut niveau définissant un cadre contextuel pour l’ontologie du domaine d’application. Enfin, cette thèse présente la difficulté de mise en œuvre sur des données de taille réelle (des centaines de milliers d’individus) lors du raisonnement à travers les mécanismes d’inférence utilisant des règles métiers. / The evolution of systems capture data on moving objects has given birth to new generations of applications in various fields. Captured data, commonly called ”trajectories”, are at the heart of applications that analyze and monitor road, maritime and air traffic or also those that optimize public transport. They are also used in the video game, movies, sports and field biology to study animal behavior, by motion capture systems. Today, the data produced by these sensors are raw spatio-temporal characters hiding semantically rich and meaningful informations to an expert data. So, the objective of this thesis is to automatically associate the spatio-temporal data descriptions or concepts related to the behavior of moving objects, interpreted by humans, but also by machines. Based on this observation, we propose a process based on the experience of real-world moving objects, including vessel and plane, to an ontological model for the generic path. We present some applications of interest to experts in the field and show the inability to use the paths in their raw state. Indeed, the analysis of these queries identified three types of semantic components : thematic, spatial and temporal. These components must be attached to data paths leading to enter an annotation that transforms raw semantic paths process trajectories. To exploit the semantic trajectories, we construct a high-level ontology for the domain of the path which models the raw data and their annotations. Given the need of complete reasoning with concepts and spatial and temporal operators, we propose the solution for reuse of ontologies time space. In this thesis, we also present our results from a collaboration with a research team that focuses on the analysis and understanding of the behavior of marine mammals in their natural environment. We describe the process used in the first two areas, which share raw data representing the movement of seals to ontological trajectory model seals. We pay particular attention to the contribution of the upper ontology defined in a contextual framework for ontology application. Finally, this thesis presents the difficulty of implementation on real data size (hundreds of thousands) when reasoning through inference mechanisms using business rules.

Les travaux développés dans cette thèse visent à assister le processus d’ingénierie des exigences temporelles pour les systèmes complexes à contraintes de temps. Nos contributions portent sur trois volets : la spécification des exigences, la modélisation du comportement et la vérification. Pour le volet spécification, une nouvelle classification des exigences temporelles les plus communément utilisées a été proposée. Ensuite, afin de cadrer l’utilisateur durant l’expression des exigences, une grammaire de spécification à base de motifs prédéfinis en langage naturel est développée. Les exigences générées sont syntaxiquement précises et correctes quand elles sont prises individuellement, néanmoins cela ne garantie pas la cohérence de l’ensemble des exigences exprimées. Ainsi, nous avons développé des mécanismes capables de détecter certains types d’incohérences entre les exigences temporelles. Pour le volet modélisation du comportement, nous avons proposé un algorithme de transformation des state-machine avec des annotations temporelles en des automates temporisés. L’idée étant de manipuler une notation assez intuitive et de générer automatiquement des modèles formels qui se prêtent à la vérification. Finalement, pour le volet vérification, nous avons adopté une technique de vérification à base d’observateurs et qui repose sur le model-checking. Concrètement, nous avons élaboré une base de patterns d’observation (ou observateurs) ; chacun des patterns développés est relatif à un type d’exigence temporelle dans la nouvelle classification. Ainsi, la vérification est réduite à une analyse d’accessibilité des états correspondants à la violation de l’exigence associée / The work developed in this thesis aims to assist the engineering process of temporal requirements for time-constrained complex systems. Our contributions concern three phases: the specification, the behaviour modelling and the verification. For the specification of temporal requirements, a new temporal properties typology taking into account all the common requirements one may meet when dealing with requirements specification, is introduced. Then, to facilitate the expression, we have proposed a structured English grammar. Nevertheless, even if each requirement taken individually is correct, we have no guarantee that a set of temporal properties one may express is consistent. Here we have proposed an algorithm based on graph theory techniques to check the consistency of temporal requirements sets. For the behaviour modelling, we have proposed an algorithm for transforming UML State Machine with time annotations into Timed Automata (TA). The idea is to allow the user manipulating a quite intuitive notation (UML SM diagramsduring the modelling phase and thereby, automatically generate formal models (TA) that could be used directly by the verification process. Finally, for the verification phase, we have adopted an observer-based technique. Actually, we have developed a repository of observation patterns where each pattern is relative to a particular temporal requirement class in our classification. Thereby, the verification process is reduced to a reachability analysis of the observers’ KO states relatives to the requirements’ violation

Les tendances spatiales et temporelles du mercure en Arctique ont été étudiées au travers de l’analyse de ce métal dans les tissus durs, i.e. dents et poils, des phoques annelés (Phoca hispida) et des ours polaires (Ursus maritimus). Aucune influence du sexe sur les concentrations n’a été détectée dans les tissus de ces deux espèces alors que l’âge est apparu comme un facteur d’influence important.Deux tendances spatiales ont été observées dans les tissus de ces deux espèces : un premier gradient d’augmentation du mercure de l’Est vers l’Ouest de l’Arctique, i.e. de Svalbard, vers le Groenland et enfin, l’Arctique canadien, et un second du Sud vers le Nord de l’Arctique canadien, résultant très probablement de la minéralogie du socle rocheux, mais aussi potentiellement de facteurs biotiques et abiotiques.Une tendance à l’augmentation des concentrations de mercure a été globalement détectée entre la période préindustrielle et la fin du XXe siècle. Cependant, les variations temporelles associées à la seconde partie du XXe siècle révèlent une augmentation continue dans l’Ouest de l’Arctique et une tendance à la diminution dans l’Est de l’Arctique, cette différence étant probablement liée à des apports distincts des masses d’air atmosphériques à ces deux régions. Par ailleurs, une composante de variabilité climatique pourrait contribuer aux variations observées ces dernières décennies en influençant les habitudes alimentaires de ces prédateurs marins arctiques. Ainsi, les isotopes stables d’azote et de carbone s’avèrent être un outil essentiel à coupler aux études sur les tendances de mercure pour permettre de déterminer la part d’un changement dans le régime alimentaire ou dans les niveaux environnementaux.Cette étude a mis en évidence l’importance des poils comme tissu de monitoring non-invasif et pertinent pour un suivi régulier voire annuel tandis que l’utilisation des dents s’avère être plus adaptée à la reconstruction de tendances sur le long-terme. / The spatial and temporal trends of mercury in the Arctic have been studied through the analysis of this metal in hard tissues, i.e. teeth and hair, in ringed seals (Phoca hispida) and polar bears (Ursus maritimus). Sex had no influence on the mercury concentrations while age was a significant factor. Two distinct spatial trends were observed in the tissues of these two species: a first gradient of augmentation from the East to the West of the Arctic, i.e. from Svalbard towards Greenland and the Canadian Arctic, and a second one, from the South to the North of the Canadian Arctic, resulting probably from a combination of the global mineralogy in the Arctic with biotic and abiotic factors. An increasing trend in mercury concentrations has been detected globally between the preindustrial period and the end of the 20th century. However, the temporal trends detected in the second part of the 20th century revealed an increase in the West Arctic while a decrease was observed in the East Arctic. This difference seems to be due to a distinct input of the atmospheric air masses to the two regions. Besides, a climatic variability could contribute to the variations observed these last decennials by influencing the habitat and the feeding habits of the marine predators. Thus, the determination of the stable isotopes seems to be essential to combine to the study of the mercury trends. Finally, this study has showed the importance of hair as a non-invasive and relevant biomonitoring tissue on a regular or annual sampling base, while the use of the teeth seems to be more adequate for reconstructing long-term trends of mercury.

This work studies new algorithms and data structures that are useful in the context of program verification. As computers have become more and more ubiquitous in our modern societies, an increasingly large number of computer-based systems are considered safety-critical. Such systems are characterized by the fact that a failure or a bug (computer error in the computing jargon) could potentially cause large damage, whether in loss of life, environmental damage, or economic damage. For safety-critical systems, the industrial software engineering community increasingly calls for using techniques which provide some formal assurance that a certain piece of software is correct.<p>One of the most successful program verification techniques is model checking, in which programs are typically abstracted by a finite-state machine. After this abstraction step, properties (typically in the form of some temporal logic formula) can be checked against the finite-state abstraction, with the help of automated tools. Alternating automata play an important role in this context, since many temporal logics on words and trees can be efficiently translated into those automata. This property allows for the reduction of model checking to automata-theoretic questions and is called the automata-theoretic approach to model checking. In this work, we provide three novel approaches for the analysis (emptiness checking) of alternating automata over finite and infinite words. First, we build on the successful framework of antichains to devise new algorithms for LTL satisfiability and model checking, using alternating automata. These algorithms combine antichains with reduced ordered binary decision diagrams in order to handle the exponentially large alphabets of the automata generated by the LTL translation. Second, we develop new abstraction and refinement algorithms for alternating automata, which combine the use of antichains with abstract interpretation, in order to handle ever larger instances of alternating automata. Finally, we define a new symbolic data structure, coined lattice-valued binary decision diagrams that is particularly well-suited for the encoding of transition functions of alternating automata over symbolic alphabets. All of these works are supported with empirical evaluations that confirm the practical usefulness of our approaches. / Ce travail traite de l'étude de nouveaux algorithmes et structures de données dont l'usage est destiné à la vérification de programmes. Les ordinateurs sont de plus en plus présents dans notre vie quotidienne et, de plus en plus souvent, ils se voient confiés des tâches de nature critique pour la sécurité. Ces systèmes sont caractérisés par le fait qu'une panne ou un bug (erreur en jargon informatique) peut avoir des effets potentiellement désastreux, que ce soit en pertes humaines, dégâts environnementaux, ou économiques. Pour ces systèmes critiques, les concepteurs de systèmes industriels prônent de plus en plus l'usage de techniques permettant d'obtenir une assurance formelle de correction.<p><p>Une des techniques de vérification de programmes les plus utilisées est le model checking, avec laquelle les programmes sont typiquement abstraits par une machine a états finis. Après cette phase d'abstraction, des propriétés (typiquement sous la forme d'une formule de logique temporelle) peuvent êtres vérifiées sur l'abstraction à espace d'états fini, à l'aide d'outils de vérification automatisés. Les automates alternants jouent un rôle important dans ce contexte, principalement parce que plusieurs logiques temporelle peuvent êtres traduites efficacement vers ces automates. Cette caractéristique des automates alternants permet de réduire le model checking des logiques temporelles à des questions sur les automates, ce qui est appelé l'approche par automates du model checking. Dans ce travail, nous étudions trois nouvelles approches pour l'analyse (le test du vide) desautomates alternants sur mots finis et infinis. Premièrement, nous appliquons l'approche par antichaînes (utilisée précédemment avec succès pour l'analyse d'automates) pour obtenir de nouveaux algorithmes pour les problèmes de satisfaisabilité et du model checking de la logique temporelle linéaire, via les automates alternants.Ces algorithmes combinent l'approche par antichaînes avec l'usage des ROBDD, dans le but de gérer efficacement la combinatoire induite par la taille exponentielle des alphabets d'automates générés à partir de LTL. Deuxièmement, nous développons de nouveaux algorithmes d'abstraction et raffinement pour les automates alternants, combinant l'usage des antichaînes et de l'interprétation abstraite, dans le but de pouvoir traiter efficacement des automates de grande taille. Enfin, nous définissons une nouvelle structure de données, appelée LVBDD (Lattice-Valued Binary Decision Diagrams), qui permet un encodage efficace des fonctions de transition des automates alternants sur alphabets symboliques. Tous ces travaux ont fait l'objet d'implémentations et ont été validés expérimentalement. / Doctorat en Sciences / info:eu-repo/semantics/nonPublished

Cette thèse se consacre à la mise au point de techniques d’échantillonnage suivies d’analyses réalisées au laboratoire pour mettre en évidence les espèces majoritaires en air intérieur et caractériser leurs variations temporelles. Le développement analytique a été effectué pour 52 COVs et pour 16 HAPs associés à la phase particulaire de l’air. Les prélèvements des COVs ont été réalisés au moyen d’un préleveur automatique permettant d’échantillonner l’air sur des tubes extraits par désorption thermique et analysés par chromatographie gazeuse couplée à la détection FID. Pour la quantification des HAPs, le prélèvement des particules est effectué par un impacteur à cascade à trois étages permettant de fractionner l’aérosol en fonction de leur diamètre aérodynamique. Les HAPs sont quantifiés par chromatographie liquide haute performance couplée à la détection par fluorescence. Ces deux techniques ont été mises en application dans le cadre de la 1ère campagne intensive du projet MERMAID. / This work aims at developing rapid and simple air sampling techniques followed by laboratory analyses to highlight the occurrence of the main species in indoor air and to describe their temporal variations. The analytical development was focused on 52 VOCs belonging to a wide variety of chemical families to determine their concentrations. The sampling step was performed using an automatic sampler allowing the sampling of air on adsorbent tubes. These tubes were then thermally desorbed and analyzed by gas chromatography coupled to FID. Another analytical development was conducted to determine the particle bound PAHs concentrations. The sampling of particles was realized by the mean of a 3-stages cascade impactor allowing an aerosol fractionation depending on their aerodynamic diameter. Finally, quantification of PAHs was realized by liquid chromatography coupled to fluorescence detection. These two techniques were applied in a field campaign in the frame of the MERMAID program.

Le Fossé rhénan bénéficie de circulations naturelles d’eau géothermale, ce qui le rend propice à l’exploitation géothermique. Comment et où les fluides géothermaux circulent-ils ? Quels liens ont-ils avec la tectonique et la sismicité induite ? La géodésie spatiale pourrait-elle apporter de nouveaux éclairages à ces questionnements ? L’objectif de cette thèse est la réalisation d’un suivi géodésique des sites géothermiques de Soultz-sous-Forêts et de Rittershoffen (Alsace, France). Les observations permettent de faire un état des lieux des déplacements de surface des environs des sites pendant leur mise en place et apportent de nouvelles connaissances à l’échelle locale sur le Fossé rhénan supérieur. Les résultats majeurs concernent l’analyse des déformations observées à Landau (Rhénanie-Palatinat, Allemagne). Cette approche illustre également les complémentarités des méthodes géodésiques utilisées (InSAR, GNSS, nivellement). / The Upper Rhine Graben benefits of natural circulation of geothermal fluid, which makes it suitable for geothermal exploitation. How and where do geothermal fluids circulate? What are their links with induced seismicity and tectonics? Could geodesy provide new insigth to these questions ? The objective of this thesis is the realization of a geodetic monitoring at Soultz and Rittershoffen (Alsace, France) geothermal sites. The results are an inventory of nearby sites surface displacements during the implementation of the geothermal sites. They bring new knowledge locally on the Upper Rhine Graben. The main results are the analysis of deformations observed in Landau (Palatinat, Germany). This approach also reflects the complementarities of geodetic methods (InSAR, GNSS, levelling).

Cette thèse contribue aux travaux récents sur les effets de la politique budgétaire à court terme sur l'économie. Plus précisément, sont étudiés dans cette thèse trois principaux aspects de la politique budgétaire à court terme. Premièrement, un des messages principaux consiste à dire que l'impact de la politique budgétaire sur l'économie dépend fortement de l'instrument fiscal utilisé. Augmenter les transferts aux ménages, augmenter l'investissement public ou diminuer les cotisations patronales sur les salaires produisent des effets fort différents sur les variables macroéconomiques clefs et notamment sur le niveau d'activité. Deuxièmement, au delà des effets sur l'activité économique, une large partie de cette thèse analyse l'impact de chocs budgétaires sur le marché du travail. Un des principaux résultats est qu'il paraît délicat de traduire des multiplicateurs sur l'activité en multiplicateurs sur le chômage, notamment à cause de la réponse de l'offre de travail.Troisièmement, nous savons que de multiples facteurs influencent la taille du multiplicateur budgétaire. Deux de ces éléments sont abordés dans cette thèse : la position de l'économie sur le cycle économique et la réponse de la politique monétaire. Les deux premiers chapitres de la thèse analysent ces différents aspects dans un cadre d'économie fermée. Les deux derniers chapitres traitent de la politique budgétaire en union monétaire en analysant les effets de débordement entre États membres ainsi que les capacités stabilisatrices de mécanismes de transferts budgétaires entre États membres afin d'amortir les chocs conjoncturels. / This thesis aims at contributing to the recent studies which investigate the short-run effects of fiscal policy on economic activity. More precisely, three main aspects of fiscal policy in the short run are analyzed. First, one major message is that the impact of fiscal policy on the economy depends strongly on the fiscal instrument used by the government. Rising transfers to households, increasing public investment or cutting social protection tax trigger very different effects on key macroeconomic variables and especially on output. Second, one large part of this thesis is dedicated to the analysis of the effects of fiscal policy shocks on the labor market. One main result is that we cannot determine unemployment fiscal multipliers according to the value of the output fiscal multiplier, especially because of the response of the labor force participation to fiscal policy shocks. Third, this is well-known that many elements influence the size of the output fiscal multiplier. Two of these elements are considered throughout this thesis: the position of the economy over the business cycle and the behavior of the monetary policy. The two first chapters of this thesis analyze these different aspects in some closed economy models. The two last chapters extend this study at the case of a monetary union by investigating the spillover effects of fiscal policy between member states but also the stabilizing properties of fiscal transfer mechanisms between member states in order to soften cyclical shocks.

Le suivi des variables biophysiques à l’échelle globale sur de longues périodes de temps est essentiellepour répondre aux nouveaux enjeux que constituent le changement climatique et la sécurité alimentaire. L’indice foliaire (LAI) est une variable de structure définissant la surface d’interception du rayonnement incident et d’échanges gazeux avec l’atmosphère. Le LAI est donc une variable importante des modèles d’écosystèmes et a d’ailleurs été reconnue comme variable climatique essentielle (ECV). Cette thèse a pour objectif de fournir des estimations globales et continues de LAI à partir d’observations satellitaires en temps quasi-réel en réponse aux besoins des utilisateurs pour fournir des diagnostiques et pronostiques de l’état et du fonctionnement de la végétation. Quelques produits LAI sont déjà disponibles mais montrent des désaccords et des limitations en termes de cohérence et de continuité. Cette thèse a pour objectif de lever ces limitations. Dans un premier temps, on essaiera de mieux définir la nature des estimations de LAI à partir d’observations satellitaires. Puis, différentes méthodes de lissage te bouchage des séries temporelles ont été analysées pour réduire le bruit et les discontinuités principalement liées à la couverture nuageuse. Finalement quelques méthodes d’estimation temps quasi réel ont été évaluées en considérant le niveau de bruit et les données manquantes.Les résultats obtenus dans la première partie de cette thèse montrent que la LAI effectif et bien mieux estimé que la valeur réelle de LAI du fait de l’agrégation des feuilles observée au niveau du couvert. L’utilisation d’observations multidirectionnelles n’améliore que marginalement les performances d’estimation. L’étude montre également que les performances d’estimation optimales sont obtenues quand les solutions sont recherchées à l’intérieur d’une enveloppe définie par l’incertitude associée aux mesures radiométriques. Dans la deuxième partie consacrée à l’amélioration de la continuité et la cohérence des séries temporelles, les méthodes basées sur une fenêtre temporelle locale mais de largeur dépendant du nombre d’observations présentes, et utilisant la climatologie comme information a priori s’avèrent les plus intéressantes autorisant également l’estimation en temps quasi réel. / Monitoring biophysical variables at a global scale over long time periods is vital to address the climatechange and food security challenges. Leaf Area Index (LAI) is a structure variable giving a measure of the canopysurface for radiation interception and canopy-atmosphere interactions. LAI is an important variable in manyecosystem models and it has been recognized as an Essential Climate Variable. This thesis aims to provide globaland continuous estimates of LAI from satellite observations in near-real time according to user requirements to beused for diagnostic and prognostic evaluations of vegetation state and functioning. There are already someavailable LAI products which show however some important discrepancies in terms of magnitude and somelimitations in terms of continuity and consistency. This thesis addresses these important issues. First, the nature ofthe LAI estimated from these satellite observations was investigated to address the existing differences in thedefinition of products. Then, different temporal smoothing and gap filling methods were analyzed to reduce noiseand discontinuities in the time series mainly due to cloud cover. Finally, different methods for near real timeestimation of LAI were evaluated. Such comparison assessment as a function of the level of noise and gaps werelacking for LAI.Results achieved within the first part of the thesis show that the effective LAI is more accurately retrievedfrom satellite data than the actual LAI due to leaf clumping in the canopies. Further, the study has demonstratedthat multi-view observations provide only marginal improvements on LAI retrieval. The study also found that foroptimal retrievals the size of the uncertainty envelope over a set of possible solutions to be approximately equal tothat in the reflectance measurements. The results achieved in the second part of the thesis found the method withlocally adaptive temporal window, depending on amount of available observations and Climatology as backgroundestimation to be more robust to noise and missing data for smoothing, gap-filling and near real time estimationswith satellite time series.