Les systemes temps reel sont des dispositifs constitues de materiels et de logiciels soumis a des contraintes a la fois fonctionnelles et temporelles pour realiser des traitements, et agir sur leur environnement. Des exemples de domaines o u on rencontre de tels systemes sont les telecommunications, le nucl eaire, l'avionique ou le medical. Ces systemes sont souvent critiques a cause d'enjeux humains et economiques importants. Leur developpement exige donc des methodes tres ables. L'approche synchrone a et e proposee dans le but de repondre a cette attente. Ses fondements mathematiques o rent un cadre formel propice a la description et la validation des systemes temps reel. Parmi les modeles de specification synchrone, le modele multi-horloge ou polychrone se distingue par le fait qu'il permet de decrire des systemes o u chaque composant peut avoir sa propre horloge d'activation. Outre la validation formelle, il favorise des approches orientees composants et le d eveloppement modulaire de systemes a grande echelle. Cette these propose une m ethodologie de conception de syst emes temps reel en utilisant comme formalisme de description le langage synchrone Signal fond e sur le mod ele polychrone. Elle utilise les outils et techniques formels bas es sur ce modele pour verifier des proprietes comportementales portant sur des aspects tant fonctionnels que non fonctionnels. Cette demarche facilite l' evaluation des choix de conception. La methodologie propos ee permet de concevoir des systemes comportant des m ecanismes asynchrones a l'aide de l'approche synchrone. Elle illustre la caracterisation de comportements temps r eel dans le modele polychrone. L'avionique est le domaine d'application privilegie par la these. Cette derniere s'inscrit dans le cadre du projet europ een IST SafeAir (Advanced Design Tools for Aircraft Systems and Airborne Software), regroupant plusieurs industriels. Nous nous sommes particulierement interesses a la conception d'applications suivant le mod ele d'architecture IMA (Integrated Modular Avionics) sur lequel repose la norme avionique ARINC. Cela a conduit a la r ealisation d'une bibliotheque Signal de composants, constituee en majeure partie de services d'un ex ecutif temps reel d e nis par ARINC.

Les langages synchrones sont apparus autour des années quatre-vingt, en réponse à un besoin d’avoir un modèle mathématique simple pour implémenter des systèmes temps réel critiques. Dans ce modèle, le temps est découpé en instants discrets durant lesquels tous les composants du système reçoivent et produisent une donnée. Cette modélisation permet des raisonnements beaucoup plus simples en évitant de devoir prendre en compte le temps de calcul de chaque opération. Dans le monde du logiciel critique, la fiabilité du matériel et de son fonctionnement sont primordiaux, et on accepte d’être plus lent si on devient plus sûr. Afin d’augmenter cette fiabilité, plutôt que de concevoir manuellement tout le système, on utilise des machines qui synthétisent automatiquement le système souhaité à partir d’une description la plus concise possible. Dans le cas du logiciel, ce mécanisme s’appelle la compilation, et évite des erreurs introduites par l’homme par inadvertance. Elle ne garantit cependant pas la bonne correspondance entre le système produit et la description donnée. Des travaux récents menés par une équipe INRIA dirigée par Xavier Leroy ont abouti en 2008 au compilateur CompCert d’un sous-ensemble large de C vers l’assembleur PowerPC pour lequel il a été prouvé dans l’assistant de preuve Coq que le code assembleur produit correspond bien à la description en C du programme source. Un tel compilateur offre des garanties fortes de bonne correspondance entre le système synthétisé et la description donnée. De plus, avec les compilateurs utilisés pour le temps réel critique, la plupart des optimisations sont désactivées afin d’éviter les erreurs qui y sont liées. Dans CompCert, des optimisations elles aussi prouvées sont proposées, ce qui pourrait permettre ces passes dans la production de systèmes temps réel critiques sans en compromettre la fiabilité. Le but de cette thèse est d’avoir une approche similaire mais spécifique à un langage synchrone, donc plus approprié à la description de systèmes temps réel critiques que ne l’est le C. Un langage synchrone flots de données semblable à Lustre, nommé Ls, et un langage impératif semblable au langage C, nommé Obc y sont proposés ainsi que leur sémantique formelle et une chaîne de compilation avec des preuves de préservation de sémantique le long de cette chaîne. / Synchronous languages first appeared during the 80’s, in order to provide a mathematical model for safety-critical systems. In this model, time is discrete. At each instant, all components of the system simultaneously receive and produce some data. This model allows simpler reasonning on the behaviour of the system, as it does not involve the time required for each of the operations for every component. In safety-critical systems, safety is the rule, so a poor performance behaviour can be allowed if it improves safety. In order to improve safety, rather than conceiving directly the system, machines are used to automatically design the system from a given concise description. In the case of software, this machine is called a compiler, and avoids issues due to some human inadvertence. But it does not ensure that the produced system and the description specification really show the same behaviour. Some recent work from an INRIA team lead by Xavier Leroy achieved in 2008 the realisation of the CompCert compiler from a large subset of C to PowerPC assembly, for which it was proven inside of the Coq proof assistant that the produced system fits its source description. Such a compiler offers strong guarantees that the produced system and its given description by the programmer really fit. Furthermore, most current compiler’s optimizations are disabled when dealing with safety-critical systems in order to avoid tedious compilation errors that optimizations may introduce. Proofs for optimizations may allow their use in this domain without affecting the faith we could place in the compiler. The aim of this thesis is to follow a similar path, but this one on a language which would be more suited for safety-critical systems than the C programming language. Some dataflow synchronous programming language very similar to Lustre, called Ls is described with its formal semantics, as well as an imperative programming language similar to a subset of C called Obc. Furthermore some compilation process is described as well as some proofs that the semantics is preserved during the compilation process.

Le coût, l'autonomie et la durée de vie sont les principaux aspects qui freine le public dans l'achat d'une voiture électrique. Tous ces aspects sont liés à la batterie qui ne permet de stocker qu'une quantité limitée d'énergie. Dans ces conditions, il est indispensable de maîtriser les pertes d'énergie de la chaîne de traction. La machine électrique étant le principal consommateur d'énergie, elle joue un rôle important dans l'efficacité énergétique globale. Dans ce contexte, comment réduire les pertes de la machine électrique pour la rendre plus efficace ? Pour répondre à cette question, l'objectif de ce travail est de modéliser (avec une précision suffisante) et réduire les pertes fer dans notre application machine électrique de traction afin de les maîtriser. On comblera ainsi le manque de confiance en les modèles de pertes fer que peut avoir le concepteur de machine du concepteur de machine en lui permettant de réaliser des optimisations fines jusque dans les dernières phases de développement. Dans la première partie de ce manuscrit, le lecteur découvrira alors une machine synchrone à rotor bobiné du point de vue du matériau magnétique doux. Les premières conclusions montrent qu'une modélisation fine est nécessaire pour bien prendre en compte les phénomènes générateurs de pertes. On s'intéresse également à la mesure des matériaux magnétiques doux afin de comprendre de manière générale et tangible les pertes dans le matériau. On prend également conscience de la toute première source d'incertitude des modèles, la mesure du matériau. Enfin, nous présentons les démarches couramment rencontrées dans la littérature pour la modélisation des pertes fer. Face aux limitations des modèles couramment rencontrés, le modèle LS (un modèle d'hystérésis scalaire qui décompose les pertes en une contribution statique et une contribution dynamique) est redéveloppé afin qu'il réponde encore mieux aux exigences de l'industrie automobile. Il est précis et facilement identifiable à partir de mesures faciles à réaliser. La contribution statique reprend le modèle de Preisach formulé à l'aide des fonctions d'Everett dont l'identification à partir des caractéristiques mesurées est directe. La contribution dynamique quant à elle est dorénavant identifiable à partir de caractérisations en induction sinusoïdales. La précision du modèle ainsi améliorée est ensuite validée sur 63 cas tests exigeants dont la forme de l'induction est à fort contenus harmoniques. Le modèle développé est ensuite couplé avec un modèle électromagnétique élément finis de la machine électrique et validé par l'expérience. Les mesures faites sur le matériau étant l'un des points faibles des modèles, une méthodologie permettant d'évaluer la pertinence de la plage des mesures est proposée. On dresse également un état de l'art de l'impact du process (découpage, empilement et assemblage des tôles) sur les pertes fer afin d'aider le concepteur à mettre en balance les impacts liés au process qui n'ont pu être modélisés. Enfin des méthodologies parmi lesquels, les méthodologies des plans d'expériences sont mises en place afin d'optimiser les cartographies de commandes en des temps de calcul raisonnables. On montre des gains allant jusqu'à 50% de réduction des pertes totales de la machine dans certaines zones de fonctionnement par rapport à une optimisation dont l'objectif serait de minimiser uniquement les pertes dans les conducteurs de la machine. Ces résultats montrent l'intérêt d'utiliser un modèle de pertes fer précis afin de réduire les pertes totales de la machine. / Cost, range and lifetime are the main aspects that hold back the consumer to buy electric cars. These three aspects are all related to the battery which stores a limited amount of energy. Under such condition energy consumption is a major concern in electric cars. As the major electricity consumer, electrical machines play a key role for global energy savings. In this context how the electric machine can be made more energy efficient? To answer this question this thesis aim to model (accurately enough) and reduce the iron losses in traction electrical machine for electrical car. Indeed iron loss model suffer from a lack of confidence when it comes to fine optimization during the late phase of development. This thesis answers this question and takes into account the development criteria of the car industry and the constraints of the electric car. The first part of the thesis gives an overview of the application by taking a wounded rotor synchronous machine as a case study. The reader will discover the electrical machine with a soft magnetic material perspective. First, conclusion show that fine modelling of the electric machine is necessary to achieve desired accuracy. An overview on soft magnetic material behavior and measurements is then given. The reader will then acquire a broad feeling on soft magnetic material behavior and understands the first source of inaccuracy of the models (the measurements). Then, the typical models for predicting iron losses in magnetic materials are presented in a literature review. The second part of this study focus on iron loss modelling aspect. The loss surface model (a scalar hysteresis model made of a static and dynamic contribution) is used as the base of this modelling work. The static contribution is re-developed using Everett function formulation of the Preisach model is used to allow easy identification of the model directly from measurements. The identification of the dynamic contribution is re-worked to allow identification from sine-wave measurements (triangular wave measurement previously required). The model accuracy is improved and validated on 63 test cases with high harmonic distortion wave forms. The iron loss model is then coupled to finite element model of the electric machine and the limits of the model are investigated. One of the limits coming from measurement limitation, a methodology to evaluate the relevance of the measurement range is proposed. A literature review of the main impact of the process including cutting, stacking and assembling effects on electrical steel magnetic characteristics is intended to complement the modelling work to help the decision making of the designer on aspects that cannot be modeled. Finally methodologies playing with the modelling hypothesis and involving design of experiment and response surface are presented to reduce computational time and allow the optimization of the control of the machine. The optimizations carried out show total machine loss reduction up to 50% for some working point of the machine compared to an optimization dedicated to minimize only Joule's losses. This results show the interest of using a reliable iron loss model to reduce the total loss of the machine.

La conception de produits industriels complexes exige la collaboration de plusieurs acteurs de différents domaines et est distribuée géographiquement tout au long du processus de conception. Afin d'améliorer les résultats au regard du triptyque qualité, coût, délais et de la mondialisation des marchés, des concepteurs, distribués dans l'espace et dans le temps ont besoin d'un environnement de travail pour collaborer, afin de : créer une compréhension partagée entre les différents acteurs d'une équipe, les concepteurs doivent négocier et argumenter les solutions. partager des informations sur le produit entre différents métiers dans les étapes du processus de conception. synchroniser les différentes versions de modèles du produit entre les concepteurs. Le travail collaboratif s'organisant comme une alternance de travaux synchrones et asynchrones, nous souhaitons améliorer la continuité des flux d'informations entre ces différents modes de collaboration. Ceci passe par une amélioration des outils de communication technique en mode synchrone, et par la possibilité pour les concepteurs de synchroniser les versions de modèles modifiées en mode asynchrone. Ce deuxième point est obtenu par une identification de conflits entre version, et une facilitation du dialogue argumentatif synchrone afin de converger dans la négociation des choix de résolution de ces conflits. La démarche générale de la thèse se base sur la Design Research Methodology, basée sur une observation de situation industrielle et une analyse de scénarios d'usage, la proposition et le développement de nouveaux outils, et finalement une évaluation de l'utilisabilité / The design of complex industrial products requires the collaboration of several actors of various domains and is geographically distributed throughout the process of design. To improve the results with regard to the triptych quality, cost, time and of the globalization of markets, designers, distributed in the space and in the time need a working environment to collaborate, to: To create an understanding shared between the various actors of a team, the designers have to negotiate and argue the solutions. Share information on the product between various trades in the stages of the process of design. Synchronize the various versions of models of the product between the designers. Collaborative design is organized as alternating synchronous and asynchronous work, we wish to improve continuity of information flow between these different modes of collaboration. This requires improved communication technology tools in synchronous mode, and the possibility for developers to synchronize models modified versions asynchronously. This second point is obtained by identifying conflicts between version, and facilitation of synchronous argumentative dialogue to converge in the negotiation of choice for resolving these conflicts.

Le développement d'un environnement collaboratif est un processus complexe. La complexité réside dans le fait que ce développement implique beaucoup de prise de décisions. De multiples compromis doivent être faits pour répondre aux exigences actuelles et futures d'utilisateurs aux profils variés. La prise en compte de cette complexité pose des problèmes aux chercheurs, développeurs et utilisateurs. Les informations et données requises pour prendre des décisions adéquates de conception et évaluer rigoureusement ces décisions sont nombreuses, parfois indéterminées et en constante évolution. Dans la partie-I de cette thèse, nous formulons les connaissances générales sur le travail collaboratif synchrone qui constituent l'état de l'art du domaine du problème. Nous pratiquons de même pour les environnements collaboratifs synchrones (domaine de la solution technique) et leur cette formulation s'appuie sur une étude de la littérature et conduit à la proposition de Schéma Conceptuel (Concept Maps). Nous en déduisons trois modèles: SyCoW (travail collaboratif synchrone), SyCoE (environnement collaboratif synchrone) et SyCoEE (évaluation environnement collaboratif synchrone). Dans la partie II de cette thèse, nous proposons un processus pour la sélection / développement d'un environnement collaboratif, où nous démontrons comment les modèles SyCoW, SyCoE et SyCoEE structurent ce processus. Grâce à la mise en œuvre de la démarche proposée, nous présentons le développement d'un nouvel environnement collaboratif synchrone pour une réunion de revue de conception nommé MT-DT. MT-DT a été conçu, développé et évalué par l'auteur dans sa thèse de doctorat. MT-DT est une application logicielle 3D spécifique à une table multi-touche qui assiste les activités de revue de conception collaborative. Les résultats de l'évaluation ont confirmé la convivialité de MT-DT et fournissent des éléments de validation des choix que nous avons faits au cours du développement de MT-DT. / Development of collaborative environment is a complex process. The complexity lies in the fact that collaborative environment development involves a lot of decision making. Several tradeoffs need to be made to satisfy current and future requirements from a potentially various set of user profiles. The handling of these complexities poses challenges for researcher, developers and companies. The knowledge required to make suitable design decisions and to rigorously evaluate those design decisions is usually broad, complex, and evolving. In Part-I of this thesis we investigate to formulate the general knowledge about: synchronous collaborative work which conceptualize the problem domain, synchronous collaborative environment which conceptualize the solution domain and synchronous collaborative environment evaluation which conceptualize the evaluation of whole or part of the proposed solution for the specified problem. This formulation has been done through literature study and leaded to the Concept Maps. The results generate three models: SyCoW (synchronous collaborative work), SyCoE (synchronous collaborative environment) and SyCoEE (synchronous collaborative environment evaluation). In Part-II of this thesis we proposed a process for selection/development of collaborative environment, where we demonstrate how SyCoW, SyCoE and SyCoEE support this process in different ways. Through the proposed process we present the development of new synchronous collaborative environment for design review meeting, named, MT-DT. MT-DT has been designed, developed and evaluated by the author in her PhD. MT-DT consist of a multi-touch table with specific 3D software application which support collaborative design review activities. The results of evaluation confirmed the usability of MT-DT and provide arguments for our choices which we made during development of MT-DT.

Cette thèse est consacrée à l’étude de théorèmes limites : grandes déviations et déviations modérées pour des estimateurs liés à des modèles financiers. Dans une première partie, nous nous sommes intéressés à l’étude des déviations grandes et modérées des estimateurs de la covariation et de la (co)volatilité réalisée issus des fonctionnelles associées à deux processus de diffusion couplés de manière synchronisée. Les techniques utilisées dans ces travaux sont basées d’une part sur celles utilisées dans Djellout-Guillin-Wu et sur la sous additivité et sur la notion d’approximation exponentielle inspirées des travaux de J. Najim d’autre part. Dans une deuxième partie, on considère que les deux processus de diffusion sont observés de manière non synchronisée et on établit des déviations modérées pour l’estimateur de la variation généralisée et pour celui de Hayashi-Yoshida. Les résultats sont obtenus par l’utilisation d’une nouvelle approche sur les déviations modérées des variables aléatoires m−dépendantes vérifiant des conditions de type "Chen-Ledoux". Dans la troisième et dernière partie, on s’intéresse à l’étude processus autorégressif d’ordre p dont le bruit est un processus autorégressif d’ordre q. On montre des déviations modérées pour certains estimateurs associés à notre modèle dont la statistique de Durbin-Watson. Les résultats sont donnés dans le cas où le bruit est gaussien puis dans le cas de condition de type "Chen-Ledoux" portant sur le bruit. / This thesis is devoted to the study of the limits theorem : large and moderate déviations for some financial mathematicals estimators. In the first part, we studied the large and moderate deviations of the estimators of covariation and the realized (co)volatility obtained from the functional associated to two diffusion processes coupled in synchronous manner. The techniques used in this work are based, on the one hand, on those used in Djellout-Guillin-Wu and the subadditivity and the exponential approximation notion inspired by J. Najim results on the other hand. In the second part, we consider that ours two diffusion processes are observed in a nonsynchronized manner and on the establish the moderate deviations for the generalised bipower variation estimator and the Hayashi-Yoshida estimator. The results are obtained by using a new approach on the moderate deviations of the m−dependent random variables based on the Chen-Ledoux type condition. In the third and last part, we study the stable autoregressive process of order p where the driven noise is also given by a q-order autoregressive process. We prove the moderate deviations for some estimators associated with our model such as the Durbin-Watson statistic. The results are given in the case where the driven noise is the normally distributed then in the case where the driven noise satisfy a Chen-Ledoux type condition.

Le travail de recherche présenté dans ce mémoire concerne le développement de capteurs logiciels de position pour la commande de la machine synchrone à aimants permanents. La commande vectorielle de la MSAP nécessite une connaissance précise de la position rotorique. Traditionnellement, cette position est obtenue à partir de l’utilisation d’un capteur mécanique.Depuis des années, l’attention de la communauté scientifique s’est portée sur la limitation du nombre de capteurs vu que leur présence, non seulement augmente le coût et la complexité matérielle totale, mais aussi réduit sa fiabilité avec une sensibilité additionnelle aux perturbations extérieures. Dans une première partie, nous présentons plusieurs types de capteurs logiciels deposition pour la MSAP. En fonction du régime de fonctionnement de la machine, nous proposons le capteur, selon nous, le mieux adapté pour une application automobile. Ce capteur est basé sur le couplage intelligent entre un observateur et un capteur logiciel basé sur la technique d’injection de signaux. Dans une deuxième partie, nous proposons une méthode simple et rapidepermettant l’estimation de la résistance et des inductances statoriques à l’arrêt. La méthode proposée, basée sur la technique d’injection de signaux de haute fréquence, exploite la mise en oeuvre des filtres à variable d’état afin d’obtenir un modèle linéaire par rapport aux paramètres. La combinaison de l’identification à l’arrêt et du capteur logiciel permet une bonne estimationde la position de la MSAP sur une large plage de vitesse y compris les basses vitesses et à l’arrêt. Nous abordons également certains aspects de commande de robustesse vis-à-vis de l’ensemble des paramètres incertains de la machine, mais ce de manière plus prospective. / This thesis focuses on the development of soft sensors for position control of the permanent magnet synchronous machine. Vector control of PMSM requires accurate knowledge of the rotor position. Traditionally, this position can be obtained from a mechanical sensor. Many years ago, the attention of the scientific community has focused on reducing the number of sensorsbecause their presence not only increases the cost and the total hardware complexity, but also reduces its reliability with an additional sensitivity to external disturbances. As a first step, we present several known types of soft sensors for PMSM. We present the complete design of a soft sensor for speed measurement of permanent magnet synchronous motor. The rotor speedand position can be estimated in a wide speed range even at low speed and standstill. We introduce two soft sensors operating in two different ranges of speed. Secondly, a simple method based on high frequency signal injection and exploiting the implementation of state variable filters to obtain a linear model with respect to the parameters is presented. Thus, a simplifiedprocedure of identification based on a least squares algorithm can be used. In an automotive application, the PMSM parameters can change due to temperature variation and aging of the material. Therefore, the coupling of the hybrid soft sensor and the simplified pocedure of identification provides a good estimate of the PMSM position over a wide speed range including standstill. We also consider a new approach to the robust control of the PMSM, but just as a newtrack for further investigations.

Cette thèse aborde la conception optimale des chaînes de traction par l'exemple d'une chaîne de traction pour métro. Les données d'entrée de la conception d'une chaîne de traction sont la performance attendue et l'encombrement des équipements nécessaires. Pour aider le concepteur, l'outil informatique donne aujourd'hui la possibilité de construire une grande variété de modèles. D'autre part, les algorithmes d'optimisation permettent de trouver les configurations optimales. Ces possibilités ont été exploitées au cours de ce travail. Les modèles développés permettent d'estimer un large nombre de critères. A travers l'exemple de ces modèles, la méthode de conception suivie est détaillée dans le rapport. D'un point de vue technique, la chaîne de traction proposée est détaillée dans le dernier chapitre / This thesis deals with the optimal design of electric drivetrains. A drivetrain for metro is taken as an example. The input data for the design are the expected performance and the size of the required equipments.To assist the designer, the computing tool now gives the opportunity to build different sort of models. In addition, optimization algorithms allow finding optimal configurations. This work is an attempt to exploit these possibilities. The design models are used to value a large number of criteria. Through the example of these models, the design method followed is detailed in the document. From a technical point of view, the proposed drivetrain is detailed in the last chapter

La technologie de la réfrigération magnétique présentée dans ce manuscrit constitue une alternative prometteuse à la technologie de production de froid. Le travail effectué a porté tout d’abord sur une étude de la production de froid magnétique et un état de l’art de cette technologie émergente. Nous nous sommes fixés pour objectif de dimensionner et réaliser un réfrigérateur magnétique qui se présente sous la forme d’un actionneur intégré. Le dimensionnement a été réalisé par le biais d’un modèle à éléments finis. Il s’agit d’un dispositif présentant deux entrefers, dont un suffisamment large pour pouvoir accueillir un régénérateur magnétocalorique au sein duquel la valeur de l’induction est la plus élevée possible tout en offrant un profil d’induction de forme trapézoïdale. La réalisation du démonstrateur sur la base des étudeseffectuées par éléments finis constitue la première étape vers la réalisation d’un réfrigérateur magnétique intégré pouvant être logé dans une automobile. Pour finir, et afin d’améliorer encore les performances de notre dispositif, une optimisation de l’inducteur électromagnétique a été effectuée par le biais d’un modèle à éléments finis couplé à un algorithme d’optimisation. / The magnetic refrigeration technology is a promising alternative technology to the production of cold. The work carried out focuses on the technology of magnetic refrigeration, a state of the art of this emerging technology has also been done. A magnetocaloric regenerator is placed in the air gap of the motor. It is necessary to design a motor with an air gap wide enough and where the induction will be as high as possible in order to insert the magnetocaloric regenerator. The regenerator is a hollow cylinder whose dimensions are adapted to the air gap of the synchronous machine. It is intended to contain the magnetocaloric material. The design of the electric motor is made in order to obtain a maximal variation of induction ΔB in the air gap and a temperature difference ΔT as large as possible, improving the magnetocaloric performance of the prototype. The profile of induction should also be as close as possible to a rectangular signal. The realization of the demonstrator based on the finite element studies is the first step towards the realization of integrated magnetic refrigerator which can be housed in an automobile. Finally, and in order to improve the performance of our device, an optimization of the electromagnetic inductor was carried out with a finite element model coupled to an optimizationalgorithm.

L’imagerie à très haute dynamique s’applique à de nombreux domaines de recherche en astronomie et astrophysique. Cette problématique observationnelle est abordée sur plusieurs fronts par de nombreuses techniques complémentaires : coronographie, interferométrie, optique adaptative, controle de front d’onde et discrimination des speckles. La combinaison de celles ci permet d’atteindre un haut contraste avec pour ultime objectif l’imagerie d’exoplanètes et l’étude de l’environnement stellaire. Le travail présenté dans ce manuscrit se focalise sur la coronographie et plus particulièrement sur l’optimisation active du procedé d’occultation en fonction du contexte observationnel.La première partie de cette recherche traite de l’observation d’objets résolus par le développement d’un masque focal de Lyot de diamètre variable. La deuxième partie s’applique à étendre le concept du masque focal adaptatif au masque de phase de type Roddier pour l’observation de l’environnement proche d’objets non résolus. L’utilisation des propriétés des cristaux liquides permet de réaliser un déphasage par rotation de polarisation et une modulation de transmission à l’extérieur du masque. Cette modulation permet un controle actif d’optimisation de l’interférence pour une adéquation du masque au contexte observationnel : longueur d’onde, morphologie d’image et défauts intrinsèques au masque, agitation atmosphérique. La dernière partie de ce manuscrit ébauche de nouvelles perspectives quant à la possibilité d’une imagerie à haut contraste. La modulation temporelle de phase transmise par un masque focal adaptatif est mise à profit par l’utilisation des méthodes de détection synchrone. / High contrast imaging of extra-solar planets and environments of bright astro- physical objects in general, such as stars, active galactic nuclei or objects of the Solar System is a challenging task. Different approaches are needed if the bright region to occult is optically resolved or not. We present the Adaptive Mask concept, observations on sky and numerical simulations show the usefulness of the proposed methods to optimize the efficiency of the coronagraphs for optically resolved or non resolved objects. Accessing small IWA is considered as an edge as it provides substantial scientific and technical advantages. One of the difficulties of accessing small IWA is that coronagraphs become very sensitive to low-order aberrations such as tip-tilt. Our original approach aims at integrating the small IWA capability and the mitigation of sensitivity to low-order aberrations within the coronagraph itself. Our concept is applicable to both low and high Strehl regimes, corresponding to current and next generation AO systems. The adaptive coronagraph can adapt dynamically, in quasi real time, to adjust to the observing conditions to deliver a stable and optimized contrast at the science image level. The mask adaptability both in size, phase and amplitude also compensates for manufacturing errors of the mask itself, and potentially for chromatic effects. The mask adaptability concept using a local phase modulation in the focal plane allows synchronous modulation for high dynamic range synchronous detection of a faint target immersed in a background. The coherence of the speckles with the central star is used to discriminate them from proper companions.