Un radar Multiple-Input Multiple-Output (MIMO) est celui où les émetteurs envoient des formes d'ondes différentes (orthogonales ou partiellement corrélées) qui peuvent être séparées à la réception. En outre, les émetteurs et récepteurs peuvent être colocalisés ou largement séparés. La première partie de la thèse porte sur la détection dans des environnements gaussiens et non gaussiens en utilisant un radar MIMO, qui contient plusieurs sous-réseaux largement séparés avec un ou plusieurs éléments chacun. Deux situations différentes sont considérées. Premièrement, nous considérons que les interférences sont gaussiennes, mais une corrélation entre les sous-réseaux peut survenir en raison d'un espacement insuffisant et de l'orthogonalité imparfaite des formes d'ondes. Deuxièmement, nous considérons que les interférences sont non gaussiennes, une situation qui se présente quand il y a du fouillis de sol ou de mer et lorsque la résolution est très élevée. La deuxième partie est dédiée à l'utilisation de techniques MIMO pour le Space-Time Adaptive Processing (STAP). La configuration MIMO cohérente est étudiée en changeant la distribution et l'espacement des éléments d'antenne pour améliorer les performances de détection et d'estimation. En outre, une étude préliminaire est également présentée sur l'utilisation de la diversité spatiale pour rendre le radar plus robuste aux fluctuations de la RCS et à la variation de la vitesse de la cible par rapport à l'angle d'incidence du signal émis et reçu. / A Multiple-Input Multiple Output (MIMO) radar can be broadly defined as a radar system employing multiple transmit waveforms and having the ability to jointly process signals received at multiple receive antennas. In terms of configurations, the antennas can be widely separated or co-located. The first part of the thesis is on detection under Gaussian and non-Gaussian environments using a MIMO radar which contains several widely separated subarrays with one or more elements each. Two different situations are considered. Firstly, we consider that the interference is Gaussian but correlation between subarrays can arise due to insufficient spacing and the imperfect orthogonality of waveforms. Secondly, we consider that the interference is non-Gaussian, a situation which arises under sea and ground clutter and when the resolution is very high. The second part is on the application of MIMO techniques to Space-Time Adaptive Processing (STAP). The coherent MIMO configuration is studied in terms of antenna element distribution and inter-element spacing to improve detection and estimation performance. A preliminary study is also done on the use of spatial diversity to improve detection stability w.r.t. target Radar Cross Section (RCS) fluctuations and velocity direction changes.

L'utilisation des convertisseurs de puissance pour des applications de la vie quotidienne devient de plus en plus importante. Les applications technologiques actuelles demandent simultanément un haut niveau de précision et de performance, ainsi les convertisseurs DC-DC ont un rôle très important dans les systèmes nécessitant la conversion et l’adaptation du niveau d'énergie. Nous nous intéressons dans le cadre des travaux de cette thèse à une analyse des approches de modélisation et de synthèse de loi de commande permettant d’assurer la stabilité et un certain niveau de performances dans l’ensemble du domaine de fonctionnement défini par un cahier des charges tout en prenant en compte la problématique de leur application dans un environnement industriel. L'objectif de nos travaux de recherche est donc de proposer des lois de commandes dont la synthèse est fondée sur une approche formalisé {modélisation + commande} en vue d’obtenir des lois de commande adaptées au point de fonctionnement. Les principes exploités sont fondés sur la commande et l’observation par modes glissants d’une part, et sur la théorie de passivité pour la synthèse des lois de commande, complétées par un couple {observateur d’état + estimateur de charge} dont la synthèse est fondée sur l’exploitation des principes d'immersion et invariance, d’autre part. Le souci de la validation expérimentale et de l’implantation des structures de commande avec du matériel disponible industriellement a été en permanence un fil conducteur. Pour démontrer l’efficacité des méthodes proposées, leur application expérimentale a été effectuée sur un convertisseur de type SEPIC. Ce convertisseur présente plusieurs avantages par rapport à autres convertisseurs. Cependant, il reste peu exploité, en dépit de ces avantages, en raison des difficultés pour obtenir des lois commande performantes permettant la stabilisation de sa tension de sortie dans tout l’ensemble du domaine de fonctionnement. / The use of power converters for real life applications is continuously increasing. Technological requirements include high precision levels and very good performances at the same time, where DC-DC converters have always played an important role in energy conversion-based systems. Our interest, throughout this thesis, is to analyze modeling and control law synthesis approaches in order to provide efficient control laws that are stable within the operating range, in response to certain specifications and also taking into account the problem of being industrially applicable. The aim of our research is hence to propose control law synthesis based on formalized {modeling + control} approaches, and adaptable to the operating point change. The exploited principles deal with Sliding Mode Observation and Control on one hand, and with the Passivity theory for control law synthesis coupled with the Immersion and Invariance principle for synthesizing {observers + load estimators} on the other. Also, the ease of implementing and validating the control law structures with common hardware available in the industry has always been a main issue throughout our study. In the view of illustrating the efficacy of the proposed methods, their experimental validation has been carried out on the SEPIC. This type of converter has many advantages compared to other converters. However, despite its advantages, it is still not well-exploited due to the difficulty in obtaining control laws capable of stabilizing its output voltage within a wide operating range.

L'objectif de cette thèse est de proposer des solutions aux problèmes liés à la commande optimale de systèmes dynamiques multi-agents en présence de contraintes. Des éléments de la théorie de commande et d'optimisation sont appliqués à différents problèmes impliquant des formations de systèmes multi-agents. La thèse examine le cas d'agents soumis à des contraintes dynamiques. Pour faire face à ces problèmes, les concepts bien établis tels que la théorie des ensembles, la platitude différentielle, la commande prédictive (Model Predictive Control - MPC), la programmation mixte en nombres entiers (Mixed-Integer Programming - MIP) sont adaptés et améliorés. En utilisant ces notions théoriques, ce travail de thèse a porté sur les propriétés géométriques de la formation d'un groupe multi-agents et propose un cadre de synthèse original qui exploite cette structure. En particulier, le problème de conception de formation et les conditions d'évitement des collisions sont formulés comme des problèmes géométriques et d'optimisation pour lesquels il existe des procédures de résolution. En outre, des progrès considérables dans ce sens ont été obtenus en utilisant de façon efficace les techniques MIP (dans le but d'en déduire une description efficace des propriétés de non convexité et de non connexion d'une région de faisabilité résultant d'une collision de type multi-agents avec des contraintes d'évitement d'obstacles) et des propriétés de stabilité (afin d'analyser l'unicité et l'existence de configurations de formation de systèmes multi-agents). Enfin, certains résultats théoriques obtenus ont été appliqués dans un cas pratique très intéressant. On utilise une nouvelle combinaison de la commande prédictive et de platitude différentielle (pour la génération de référence) dans la commande et la navigation de véhicules aériens sans pilote (UAVs). / The goal of this thesis is to propose solutions for the optimal control of multi-agent dynamical systems under constraints. Elements from control theory and optimization are merged together in order to provide useful tools which are further applied to different problems involving multi-agent formations. The thesis considers the challenging case of agents subject to dynamical constraints. To deal with these issues, well established concepts like set-theory, differential flatness, Model Predictive Control (MPC), Mixed-Integer Programming (MIP) are adapted and enhanced. Using these theoretical notions, the thesis concentrates on understanding the geometrical properties of the multi-agent group formation and on providing a novel synthesis framework which exploits the group structure. In particular, the formation design and the collision avoidance conditions are casted as geometrical problems and optimization-based procedures are developed to solve them. Moreover, considerable advances in this direction are obtained by efficiently using MIP techniques (in order to derive an efficient description of the non-convex, non-connected feasible region which results from multi-agent collision and obstacle avoidance constraints) and stability properties (in order to analyze the uniqueness and existence of formation configurations). Lastly, some of the obtained theoretical results are applied on a challenging practical application. A novel combination of MPC and differential flatness (for reference generation) is used for the flight control of Unmanned Aerial Vehicles (UAVs).

Ce travail de thèse porte sur le développement d’une méthodologie efficace pour la conception analogique, des algorithmes et des outils correspondants qui peuvent être utilisés dans la conception dynamique de fonctions linéaires à temps continu. L’objectif principal est d’assurer que les performances pour un système complet peuvent être rapidement investiguées, mais avec une précision comparable aux évaluations au niveau transistor.Une première direction de recherche a impliqué le développement de la méthodologie de conception basée sur le processus d'optimisation automatique de cellules au niveau transistor et la synthèse de macro-modèles analogiques de haut niveau dans certains environnements comme Mathworks - Simulink, VHDL-AMS ou Verilog-A. Le processus d'extraction des macro-modèles se base sur un ensemble complet d'analyses (DC, AC, transitoire, paramétrique, Balance Harmonique) qui sont effectuées sur les schémas analogiques conçues à partir d’une technologie spécifique. Ensuite, l'extraction et le calcul d'une multitude de facteurs de mérite assure que les modèles comprennent les caractéristiques de bas niveau et peuvent être directement régénéré au cours de l'optimisation.L'algorithme d'optimisation utilise une méthode bayésienne, où l'espace d’évaluation est créé à partir d'un modèle de substitution (krigeage dans ce cas), et la sélection est effectuée en utilisant le critère d’amélioration (Expected Improvement - EI) sujet à des contraintes. Un outil de conception a été développé (SIMECT), qui a été intégré comme une boîte à outils Matlab, employant les algorithmes d’extraction des macro-modèles et d'optimisation automatique. / The aim of this thesis is to establish an efficient analog design methodology, the algorithms and the corresponding design tools which can be employed in the dynamic conception of linear continuous-time (CT) functions. The purpose is to assure that the performance figures for a complete system can be rapidly investigated, but with comparable accuracy to the transistor-level evaluations. A first research direction implied the development of the novel design methodology based on the automatic optimization process of transistor-level cells using a modified Bayesian Kriging approach and the synthesis of robust high-level analog behavioral models in environments like Mathworks – Simulink, VHDL-AMS or Verilog-A.The macro-model extraction process involves a complete set of analyses (DC, AC, transient, parametric, Harmonic Balance) which are performed on the analog schematics implemented on a specific technology process. Then, the extraction and calculus of a multitude of figures of merit assures that the models include the low-level characteristics and can be directly regenerated during the optimization process.The optimization algorithm uses a Bayesian method, where the evaluation space is created by the means of a Kriging surrogate model, and the selection is effectuated by using the expected improvement (EI) criterion subject to constraints.A conception tool was developed (SIMECT), which was integrated as a Matlab toolbox, including all the macro-models extraction and automatic optimization techniques.

Les travaux présentés dans cette thèse concernent la modélisation et l’optimisation d’un ensemble Convertisseur-Machine devant fonctionner à haute vitesse. La première partie établit un état de l’art des méthodologies de conception relatives au dimensionnement optimal de systèmes d’entrainement et analyse les particularités du fonctionnement à haute vitesse. Puis, une modélisation analytique multiphysique des éléments du système est réalisée. Afin de mener une conception globalement optimale, les interactions significatives entre les éléments du système doivent être modélisées. Cela est effectué à l’aide d’une modélisation électrique fine – qui est le cœur de la caractérisation des interactions – mettant en œuvre une approche harmonique originale. Il en découle alors une modélisation des interdépendances entre onduleur et machine au niveau des pertes dans le système et de la qualité du couple. La modélisation est ensuite couplée à un algorithme génétique selon une méthodologie de conception hybride faisant intervenir des modèles analytiques puis par éléments finis. Enfin, cette démarche est appliquée au dimensionnement de deux systèmes d’entrainement dont le moteur est une MSAP à aimantation orthoradiale. Ces deux cas d’application ont été traités avec succès et ont mis en avant l’intérêt d’une approche « Système » dans la conception de systèmes d’entrainement. Par ailleurs nous avons analysé les morphologies des machines en fonction de la vitesse de rotation. Ceci a fait ressortir des capacités intéressantes de ce type de machines – pour la haute vitesse – d’un point de vue magnétique, mécanique, et des pertes au rotor. / The work presented in this thesis aims at the modelling and optimisation of a set Converter-Machine that is intended to run at high speeds. The first part is a state of the art of the conception methodologies related to the optimal design of drives and investigates the particularities of high speed operations. Then, an analytic and multiphysic modelling of the elements of the system is performed. But, in order to carry out a global optimal conception, the significant interactions between the various elements of the system must be modelled. This is achieved through a precise electrical model – that is the core of the characterization of the interactions – involving an original harmonic approach. From this follows a modelling of the interdependences between inverter and machine in the system losses and in the torque quality. The models are then associated with a genetic algorithm according to a hybrid methodology of conception involving analytical and finite-element models. Finally, this procedure is applied to the design of two drives of which the motor is a PMSM with circumferentially magnetised magnets. These two cases have been successfully handled and clearly show the assets of a “System” approach for the design of drives. In addition, the morphologies of the optimal machines are analysed according to their rotation speed. This analysis highlights some interesting abilities of this kind of machines – in high speed – regarding the magnetic and mechanical behaviours, and the rotor losses.

Les travaux effectués lors de cette thèse se sont focalisés sur les applications des méthodes et techniques d’Automatique avancée à des problématiques actuelles de l’automobile. Les sujets abordés ont porté sur trois axes fondamentaux en s’appuyant sur des techniques telles que la synthèse H infini LTI et q-LPV, la linéarisation par bouclage dynamique, la retouche de correcteurs de type PI en particulier et l’optimisation des pondérations des filtres nécessaires aux synthèses H infini :• Contrôle de la trajectoire d’un véhicule automobile. Nous avons proposé une structure de commande reprenant une démarche classiquement mise en œuvre dans le milieu aéronautique ou spatial.• Contrôle de la chaîne d’air d’un moteur essence, turbocompressé. Nous avons proposé une formulation novatrice de type q-LPV du modèle du moteur. Cette formulation d’un nouveau modèle de commande nous a permis de synthétiser des correcteurs évolués à paramètres variables qui s’adaptent automatiquement au point de fonctionnement.• Contrôle du freinage d’un véhicule électrique. Pour cette partie, nous avons précisé la motivation et l’intérêt des véhicules électriques, puis étudié le gain d’autonomie potentiellement accessible par la mise en œuvre d’une récupération d’énergie au freinage. Finalement, des solutions permettant de réduire les oscillations induites dans la chaîne de traction par des demandes de couple freineur à la machine électrique ont été développées. / The work achieved in this PhD thesis is dedicated to applications of advanced control methodologies to problems currently faced in the automotive field. Three main areas of investigation were successively considered, using advanced techniques such as H infinity LTI and q-LPV design procedures, dynamic feedback linearization, retuning of controllers, in particular PI-type, and optimization of filters required by the H infinity design procedure:• Trajectory control of automotive vehicle. A control structure has been proposed which is based on the procedure classically developed in the aeronautics field.• Robust nonlinear control of the air path of an internal combustion engine. An innovative q-LPV formulation of the motor has been proposed, which has enabled design of advanced controllers with varying parameters. These parameters are automatically updated according to the operating point.• Optimal control laws for brakes’s torque blending on electrical vehicle. Motivation and interest for electrical vehicle has been first detailed, then potential gain in autonomy due to regenerative braking has been studied. Finally, solutions which reduce oscillations in the power train chain induced by torque demand to the electrical machine during braking phases has been developed.

La reconnaissance des perturbations survenant sur les réseaux HTA est une problématique essentielle pour les clients industriels comme pour le gestionnaire du réseau. Ces travaux de thèse ont permis de développer un système d’identification automatique. Il s’appuie sur des méthodes de segmentation qui décomposent de manière précise et efficace les régimes transitoires et permanents des perturbations. Elles utilisent des filtres de types Kalman linéaire ou anti-harmoniques pour extraire les régimes transitoires. La prise en compte des variations harmoniques et de la présence de transitoires proches se fait à l’aide de seuils adaptatifs. Des méthodes de correction du retard a posteriori permettent d’améliorer la précision de la décomposition. Des indicateurs adaptés à la dynamique des régimes de fonctionnement analysés sont utilisés pour caractériser les perturbations. Peu sensibles aux erreurs de segmentation et aux perturbations harmoniques, ils permettent une description fiable des phases des perturbations. Deux types de systèmes de décision ont également été étudiés : des systèmes experts et des classifieurs SVM. Ces systèmes ont été mis au point à partir d’une large base de perturbations simulées. Leurs performances ont été évaluées sur une base de perturbations réelles : ils déterminent efficacement le type et la direction des perturbations observées (taux de reconnaissance moyen > 98%). / The recognition of disturbances affecting MV networks is essential to industrials and distribution system operators. The aim of this thesis work is to design a near real-time automatic system able to detect and identify disturbances from their waveforms. Segmentation methods split the disturbed waveforms into transient and steady-state intervals. They use Kalman filters or anti-harmonic filters to extract the transient intervals. Adaptive thresholding methods increase the detection capacity while a posterior delay compensation methods improve the accuracy of the decomposition. Indicators adapted to the disturbance dynamic are used to characterize its steady-state and transient phases. They are robust to segmentation inaccuracies as well as to steady-state disturbances such as harmonics. Two distinct decision systems are also studied: expert recognition systems and SVM classifiers. During the learning stage, a large simulated event database is used to train both systems. Their performances are evaluated on real events: the type and direction of the measured disturbances are determined with a recognition rate over 98%.

Le déferlement mondial des services de télécommunications, impose, aux réseaux qui les supportent, d’augmenter de plus en plus leurs capacités afin de subvenir aux besoins de ses utilisateurs dont le nombre ne cesse de croître. Le spectre radio, ressource de base pour les communications sans fils, ne suit malheureusement pas cette croissance. Même si des marges réutilisables sont disponibles, leur accès est limité par des politiques strictes de gestion du spectre radio-fréquentiel. Pour remédier à cette situation, les organismes régulateurs des télécommunications se dirigent vers un paradigme de gestion plus flexible, en autorisant de nouvelles méthodes basées sur l’accès dynamique au spectre (DSA - dynamic spectrum access) et les radio cognitives (CR - cognitive radio). Dans ce travail doctoral, est proposée une nouvelle technique pour traiter la problématique de la disponibilité du spectre radio-fréquentiel. Appelée multiplexage fréquentiel par sous-espace de Vandermonde (VFDM -Vandermonde-subspace frequency division multiplexing), elle permet à deux technologies d’accès radio (RATs - radio access technologies) de fonctionner côte-a-côte dans un environnement de petites cellules CR. Ceci se fait en partageant la bande radio tout en protégeant des interférences les systèmes pour lesquels le spectre radio avait été originellement réservé. VFDM transmet les données pré-codées dans le noyau du canal interférant entre l’émetteur opportuniste et le récepteur originel en utilisant la sélectivité en fréquence des canaux et duplexage temporel (TDD - time division duplexing). Le travail de cette thèse propose une approche exhaustive du développement de la technologie VFDM, en allant des bases théoriques jusqu’à la démonstration de faisabilité. Ainsi, les bases théoriques proposées ont été en premier lieu analysées. Puis, en partant de ces bases théoriques, VFDM a été graduellement développé vers une chaîne émetteur-récepteur complète. Des résultats significatifs sont apparus à mi-chemin dans la phase de développement, comme par exemple, l’établissement de stratégies de précodage optimales ou la mise en évidence d‘aspects critiques lors de l’implémentation. Sous certaines conditions, VFDM permet aux réseaux secondaires opportunistes d’être utilisés en même temps que le réseau originel, aux seules contraintes de la connaissance des canaux et de l’accroissement de la complexité du système. Au travers des résultats obtenus en simulation, il a été démontré que des taux de transfert de données significatifs peuvent être atteints, et ce, malgré que les capacités de VFDM soient toujours limitées par la taille du sous-espace de Vandermonde du canal interfèrent primaire-secondaire. Finalement, la chaîne émetteur-récepteur développée démontre la faisabilité de cette méthode. / The global deployment of PCS is pushing for more and more network capacity to accommodate an exponentially growing user base. Radio spectrum, the basic resource in radio communications, unfortunately does not follow this growth. Even though the current spectrum usage leaves margins for re-use, it is limited by the current fixed spectrum management policies. To remediate this issue, spectrum regulators are switching to a flexible management paradigm, leveraging new DSA schemes based on CR. In this PhD work, a novel CR-DSA technology is introduced to address spectrum scarcity problem. Called VFDM, it allows two RAT to operate side-by-side in a small-cell CR setting, sharing the band while protecting the legacy system from interference. VFDM transmits data pre-coded on the null-space of the interfering cross channel (channel from the opportunistic transmitter to the legacy receiver), assuming frequency selectivity and TDD communications. This PhD work proposes a rather exhaustive approach to the development of VFDM: to go from the theoretical basis up to a proof-of-concept development. Initially the theoretical background, basis of the technique itself was introduced and analyzed. Then, VFDM was gradually developed from a pure mathematical concept up to a full transceiver. During this development, several important mid-way results were developed, such as the multi-user strategy for pre-coding and critical implementation aspects. VFDM, under certain constraints, has been shown to allow a secondary opportunistic network to successfully be installed along with a legacy primary one at merely the cost of channel knowledge and added complexity. By means of numerical examples, it has been shown that significative rates can be attained, even though VFDM's performance is constrained by the size of the Vandermonde-subspace of the interfering channel between the secondary transmitter and primary receiver. Finally, a working VFDM transceiver implementation is shown, providing a proof-of-concept of the technique.

L'Ingénierie Dirigée par les Modèles (IDM) place les modèles au cœur des processus de d'ingénierie logicielle et système. L'IDM permet de maitriser la complexité des logiciels et d'améliorer la rapidité et la qualité des processus de développement. Le Model Driven Architecture (MDA) est une initiative de l'Object Management Group (OMG) définissant un cadre conceptuel, méthodologique et technologique pour la mise-en-œuvre de flots de conception basés sur l'IDM. Le MDA s'appuie particulièrement sur une utilisation intensive des formalismes normalisés par l'OMG pour la mise-en-œuvre des flots IDM (UML pour la modélisation, QVT pour les transformations, etc.). Ce travail s'intéresse à la sémantique d'exécution du langage UML appliqué à l'exécution de modèles des applications temps réel embarquées. Dans ce contexte, l'OMG propose une norme qui définit un modèle d'exécution pour un sous-ensemble d'UML appelé fUML (foundational UML subset). Ce modèle d'exécution définit une sémantique précise non ambigüe facilitant la transformation de modèles, l'analyse, l'exécution de modèles et la génération de code. L'objectif de cette thèse est d'étudier et mettre-en-œuvre un moteur d'exécution de modèles UML pour les systèmes temps réel embarqués en explicitant les hypothèses portant sur la sémantique d'exécution des modèles à un niveau d'abstraction élevé afin de permettre l'exécution d'un modèle le plus tôt possible dans le flot de conception de l'application. Pour cela, nous avons étendu le modèle d'exécution défini dans fUML, en apportant une contribution sur trois aspects importants concernant les systèmes temps réel embarqués : * Gestion de la concurrence: fUML ne fournit aucun mécanisme pour gérer la concurrence dans son moteur d'exécution. Nous répondons à ce problème par l'introduction d'un ordonnanceur explicite permettant de contrôler les différentes exécutions parallèles, tout en fournissant la flexibilité nécessaire pour capturer et simuler différentes politiques d'ordonnancements. * Gestion du temps : fUML ne fixe aucune hypothèse sur la manière dont les informations sur le temps sont capturées ainsi que sur les mécanismes qui les traitent dans le moteur d'exécution. Pour cela, nous introduisons une horloge, en se basant sur le modèle de temps discret, afin de prendre en compte les contraintes temporelles dans les exécutions des modèles. * Gestion des profils : les profils ne sont pas pris en compte par ce standard, cela limite considérablement la personnalisation du moteur d'exécution pour prendre en charge de nouvelles variantes sémantiques. Pour répondre à ce problème, nous ajoutons les mécanismes nécessaires qui permettent l'application des profils et la capture des extensions sémantiques impliquées par l'utilisation d'un profil. Une implémentation de ces différentes extensions est réalisée sous forme d'un plugin Eclipse dans l'outil de modélisation Papyrus UML. / Model Driven Engineering (MDE) places models at the heart of the software engineering process. MDE helps managing the complexity of software systems and improving the quality of the development process. The Model Driven Architecture (MDA) initiative from the Object Management Group (OMG) defines a framework for building design flows in the context of MDE. MDA relies heavily on formalisms which are normalized by the OMG, such as UML for modeling, QVT for model transformations and so on. This work deals with the execution semantics of the UML language applied to embedded real-time applications. In this context, the OMG has a norm which defines an execution model for a subset of UML called fUML (foundational UML subset). This execution model gives a precise semantics to UML models, which can be used for analyzing models, generating code, or verifying transformations. The goal of this PhD thesis is to define and build an execution engine for UML models of embedded real-time systems, which takes into account the explicit hypothesis made by the designer about the execution semantics at a high level of abstraction, in order to be able to execute models as early as possible in the design flow of a system. To achieve this goal, we have extended the fUML execution model along three important axes with regard to embedded real-time systems: - Concurrency: fUML does not provide any mechanism for handling concurrent activities in its execution engine. We address this issue by introducing an explicit scheduler which allows us to control the execution of concurrent tasks. - Time: fUML does not provide any mean to handle time. By adding a clock to the model of execution, we can take into account the elapsed time as well as temporal constraints on the execution of activities. - Profiles: fUML does not take profiles into account, which makes it difficult to personalize the execution engine with new semantic variants. The execution engine we propose allows the use of UML models with profiles, and interprets these profiles as semantic extensions of the execution model. An implementation of these extensions has been realized as an Eclipse plug-in using the Papyrus UML modeling tool.

Au cours de la dernière décennie, les réseaux cellulaires ont connu une augmentation exponentielle de la demande de données. En conséquence, nous constatons des chutes de capacités occasionnelles et des problèmes de couverture, aggravés par des politiques de gestion du spectre inefficaces et des structures réseaux obsolètes. Le développement de nouvelles politiques pour le management du spectre, telles que les schémas de dynamic spectrum access (DSA), permettra, avec le déploiement de réseaux multi-niveaux, de traiter les problèmes précédemment évoqués et encadrer les réseaux mobiles de prochaine génération. Un réseau ainsi conçu pourra augmenter la capacité offerte par les réseaux actuels et atteindre les niveaux de performance requis par les demandes de data des utilisateurs, via une utilisation plus efficace du spectre disponible et une meilleure réutilisation spatiale. Dans cette thèse, nous nous concentrons principalement sur le problème inhérent au fait de posséder deux niveaux de transmission au sein de notre réseau (mini et macro stations de base) qui doivent dès lors se partager une bande commune, capitaliser sur le spectre disponible et éviter les situations d’interférences où elles s’annihilent mutuellement. Dans ce cas, la question de la coexistence se pose et elle ne peut être atteinte que si des techniques de management d’interférence sont développées pour mitiger/annuler l’interférence générée par ces deux transmetteurs. Le travail se décompose en trois parties et propose une approche plutôt exhaustive pour le développement de nouvelles techniques de DSA et gestion de l'interférence, d’un niveau purement théoriques aux premières trames de preuve de concept. / In the last decade, cellular networks have been characterized by an ever-growing user data demand. This caused increasing capacity shortfall and coverage issues, aggravated by inefficient fixed spectrum management policies and obsolete network structures. From a practical point of view, novel technical and architectural solutions have been proposed to frame next generation cellular networks, capable of meeting the identified target performance to satisfy the user data demands. Specifically, new spectrum management policies based on the so-called dynamic spectrum access (DSA), together with hierarchical approaches to network planning, where a tier of macro base stations is underlaid with a tier of massively deployed low-power small base stations, are seen as promising candidates to achieve this scope. The resulting two-tiered network layout may improve the capacity of current networks in several ways, thanks to a better average link quality between the devices, a more efficient usage of spectrum resources and a potentially higher spatial reuse. In this thesis, we focus on the challenging problem arising when the two tiers share the transmit band, to capitalize on the available spectrum and avoid possible inefficiencies. In this case, the coexistence of the two tiers is not feasible, if suitable interference management techniques are not designed to mitigate/cancel the mutual interference generated by the active transmitters in the network. This thesis is divided in three main parts, and proposes a rather exhaustive approach to the development of new DSA and interference management techniques, to go from the theoretical basis up to a proof-of-concept development.