Les réseaux temps-réels, comme ceux spécifiés par IEEE Time-Sensitive Networking (TSN) et IETF Deterministic Networking (DetNet), fournissent aux applications critiques un service déterministe avec des bornes de latence garanties.Plusieurs mécanismes comme les ordonnanceurs et les régulateurs de trafic (TSN ATS, asynchronous traffic shaping) ont été développés et leurs effets sur les bornes de latences pire-cas ont été abondamment étudiés dans la littérature en utilisant la théorie du calcul réseau.Toutefois, les réseaux temps-réels doivent désormais aussi offrir une reconfiguration simplifiée avec des chemins alternatifs, un haut niveau de fiabilité et parfois un service de synchronisation du temps.Pour répondre à ces besoins, l'utilisation de topologies à plusieurs chemins a été encouragée pour faciliter la reconfiguration et des mécanismes de redondance et de synchronisation ont été développés pour fournir un haut niveau de fiabilité et une synchronisation du temps.Tandis que chacun de ces mécanismes dispose d'une théorie pour valider son efficacité dans son objectif respectif, la littérature n'a que peu étudié leurs effets secondaires sur les bornes de latences et leurs interactions avec les ordonnanceurs et les régulateurs de trafic.Dans cette thèse, nous utilisons la théorie du calcul réseau pour analyser les combinaisons de mécanismes et leurs effets sur les bornes de latences dans les réseaux temps-réel avec des topologies à plusieurs chemins.Nos principales contributions sur le plan théorique sont :1/ Nous développons un algorithme (FP-TFA) qui calcule des bornes de latence dans les réseaux dans lesquels la variété des chemins crée des dépendances cycliques.Nous proposons et analysons l'approche de déploiement partielle des régulateurs de trafic (soit par flux, soit avec TSN ATS) ainsi qu'un autre algorithme (LCAN) qui casse toutes les dépendances cycliques à coût minimal.2/ Nous analysons les effets des mécanismes de redondance sur les bornes de latence en modélisant leur comportement dans la théorie du calcul réseau.Nous analysons aussi leurs interactions avec les régulateurs de trafic.En particulier, nous observons que TSN ATS peut mener à des latences non bornées lorsqu'il est utilisé avec les mécanismes de redondances.3/ Nous proposons un modèle d'horloge qui décrit, au sein de la théorie du calcul réseau, les imperfections des horloges des réseaux synchronisés ou non.Nous montrons que l'usage de régulateurs de trafic avec des horloges imparfaites occasionne une pénalité dans les bornes de latence.Avec TSN ATS, cette pénalité n'est pas bornée, y compris dans les réseaux synchronisés avec une grande précision.Nous proposons deux méthodes (cascade et ADAM) pour adapter les paramètres des régulateurs et ainsi résoudre ce problème.Nous fournissons également des contributions d'intérêt pratique :a) l'outil modulaire xTFA, qui calcule des bornes de latences en utilisant les résultats de la thèse,b) un module pour simuler l'effet des horloges locales dans le simulateur à évènements discrets ns-3, etc) une application de nos résultats sur une étude de cas industrielle.

Dans cette thèse, nous examinons le canal wiretap de Wyner dans la pratique, pour atteindre la sécurité en terme de théorie de l'information. Ce type d'approche de la sécurité a longtemps été écarté des applications pratiques. Ceci est principalement dû à une définition légèrement différente de la sécurité (Sécurité forte vs sécurité sémantique), en plus du fait que ces méthodes sont étudiées de manière asymptotique, donc pas en pratique. Les spécialistes ont donc préféré des solutions cryptographiques sur les couches supérieures du réseau afin d'assurer la sécurité. Cependant, il a été montré que ces définitions de la sécurité sont en fait équivalentes les unes aux autres. De plus, nous montrons que le comportement asymptotique des codes polaires, utilisés sur un canal wiretap, appelés codes polaires wiretap, est compatible avec son comportement asymptotique, ce qui rend les codes polaires wiretap utiles pour des applications pratiques. Un autre avantage principal de l'utilisation de la sécurité de la couche physique est que les types de réseaux émergents tels que les réseaux de capteurs, les réseaux ad hoc qui passent par plusieurs intermédiaires de la source à la destination, ou les réseaux d'identification par radiofréquence (RFID), sont de faible complexité, sur lesquels la gestion des clés cryptographiques, ainsi que la complexité de calcul rendent l'utilisation des techniques cryptographiques typiques difficile. Nous nous appuyons principalement sur les schémas présentés par Vardy et al. pour obtenir un secret faible et fort. Étant donné que nous utilisons ces schémas dans des longueurs de bloc finies, des fuites d'informations peuvent se produire. Il existe des méthodes dans la littérature pour calculer et estimer cette fuite d'information, mais nous montrons comment ces méthodes sont soit infaisables en pratique, soit simplement inexactes. De plus, nous introduisons une nouvelle méthode, pour estimer cette fuite, qui s'avère être très précise et plus légère en calcul que les méthodes connues. D'autre part, nous étudions également la construction pratique de codes polaires wiretap à longueur de bloc finie et examinons l'impact des principaux paramètres de construction sur le taux de code réalisable et la fuite d'information. Enfin, nous présentons notre banc d'essai, utilisé pour mettre en œuvre les codes polaires wiretap en pratique, en utilisant un émetteur et deux récepteurs, simulant le récepteur légitime et l'espion. Nous montrons que plus l'espion est éloigné de l'émetteur, plus il y a de bruit, et donc une moins bonne capacité de décodage, et qu'au-delà d'une certaine distance, il est incapable de décoder quoi que ce soit, et reçoit une image très bruyante, de laquelle aucune information utile ne peut être extraite.

Dans le secteur aérospatial, la conception de contrôleurs pour des systèmes évoluant sur un domaine de vol étendu constitue un défi majeur. La dépendance non-linéaire de la dynamique de ces systèmes à des paramètres variant dans le temps, les saturations des actionneurs, et les incertitudes de modélisation comptent parmi les sources de difficulté les plus importantes. Les exigences croissantes en terme de performance et les contraintes de coût associées aux applications industrielles modernes rendent la tâche d’autant plus ardue pour l’ingénieur automaticien, qui doit alors le plus souvent recourir à un processus itératif coûteux. Il existe donc un réel besoin de développer des algorithmes et des outils avancés pour traiter les non-linéarités et les incertitudes, et qui soient applicables à des systèmes aérospatiaux réalistes. Les travaux de thèse s’inscrivent dans ce contexte. L’objectif est de mettre en place une méthodologie pour la conception de lois de contrôle pour des systèmes incertains à paramètres variants, et avec saturation des actionneurs. Pour ce faire, l’idée est d’exploiter et de combiner de manière pertinente le séquencement de gain, la théorie de la commande robuste H-infini, la synthèse anti-windup, et les méthodes d’analyse de robustesse (mu-analyse et analyse IQC) durant la phase de conception. Dans cette optique, la mu-analyse probabiliste fait l’objet de contributions théoriques et algorithmiques qui permettent de mieux répondre aux besoins industriels par rapport à la mu-analyse classique. Le développement de la méthodologie générale s’appuie sur l’étude d’une application aéronautique spécifique, à savoir un concept innovant de projectile guidé gyrostabilisé, caractérisé par de fortes non-linéarités et des couplages dynamiques importants. L’étude de ce système va de la modélisation en boucle ouverte jusqu’aux simulations de Monte Carlo non-linéaires en boucle fermée, illustrant la méthodologie proposée dans un cadre applicatif réaliste.

La formation de givre sur les profils aéronautiques présente un danger important pour la sécurité des appareils. Les stratégies d’anti-givrage peuvent amener à la formation de ruisselets liquides à la suite de films d’eau continus, mais ces ruisselets ne sont pas pris en compte dans la simulation des phénomènes et peuvent regeler sur les profils, rendant leur compréhension nécessaire. A travers l’étude de la littérature, deux dispositifs sont étudiés. Le premier dispositif est celui de la plaque inclinée, sur laquelle le liquide s’écoule sous l’effet de la gravité. Le second dispositif est celui du disque tournant, où un volume de liquide est posé au centre d’un disque : les forces d’inertie induites par la rotation provoquent l’étalement du liquide. L’étude du premier dispositif permet d’observer deux états d’équilibre : le pincement lorsque l’hystérésis est restreinte, et le film parallèle lorsqu’elle est étendue. L’étude de l’état transitoire montre l’apparition de ruisselets transitoires, dont les lignes triples restent fixées si l’hystérésis est trop grande. Les codes de simulations utilisés à l’ONERA arrivent à retrouver ces ruisselets et l’état d’équilibre de pincement, mais l’hystérésis n’est pas prise en compte, et ils n’arrivent pas à retrouver le comportement en film parallèle. Les études sur le disque tournant permettent d’étendre une partie des résultats de la littérature mais une influence de l’état de surface sur le déclenchement de la transition est observée expérimentalement. Il manque des données expérimentales pour être interprété plus en détail. Un premier modèle est développé pour modéliser le comportement des ruisselets, mais une meilleure modélisation de l’écoulement dans la tête semble ici aussi nécessaire.

De par leurs hautes caractéristiques mécaniques rapportées à leur faible masse, les matériaux composites sont de plus en plus utilisés pour la fabrication de structures primaires aéronautiques. Néanmoins les mécanismes d’endommagement de ces matériaux restent complexes, en particulier lorsqu’ils sont soumis à des sollicitations telles que les impacts, les chargements en compression induisant flambage ou post-flambage ou encore les chargements multiaxiaux. La simulation de ces endommagements reste un challenge et limite l’utilisation de modèles numériques lors du processus de design et de certification. Il en résulte l’allongement de la durée de conception et l’augmentation des coûts de développement.Pour réduire ces coûts, de nombreux travaux portent sur la modélisation de l’impact basse vitesse et de la compression après impact, cas de chargement le plus critique pour un stratifié composite endommagé en impact. Généralement, ces études portent sur des éprouvettes à l’échelle du coupon pour évaluer la tenue résiduelle de ces structures et les dimensionner en tolérance aux dommages d’impact. Le « Discrete Ply Model » (DPM), développé depuis une dizaine d’années à l’Institut Clément Ader, s’inscrit dans cette démarche. Pour évaluer la tenue résiduelle de la structure après impact, le DPM permet de simuler les endommagements se développant lors d’un impact et lors de la compression après impact à partir d’un même modèle de calcul par éléments finis.Toutefois, les conditions aux limites préconisées par les normes d’impact et de compression après impact semblent conservatives. Elles ne permettent pas de représenter le comportement réel des structures composites. En effet ces dernières sont, dans la majorité des cas, des panneaux raidis, qui ne sont pas soumis uniquement à des sollicitations uniaxiales mais également à des chargements multiaxiaux couplés au flambage de la structure.L’objectif des travaux de thèse est d’étudier l’interaction entre les dommages d’impact à moyenne vitesse et des chargements complexes après impact sur des stratifiés composites à l’échelle des détails structuraux. La réalisation d’une campagne expérimentale d’impacts suivis de chargements complexes a permis d’effectuer un dialogue essai/calcul entre les résultats expérimentaux et les résultats numériques du DPM pour valider son utilisation avec de nouveaux cas de chargement.La modélisation de l’endommagement des stratifiés composites coûte très cher en temps de calcul et limite grandement l’utilisation de modèles tels que le DPM dans l’industrie. Ce problème est logiquement accentué lorsque les modélisations portent sur des essais à l’échelle des détails structuraux. C’est pourquoi les travaux de thèse ont également porté sur l’optimisation du DPM avec le développement d’un nouvel élément permettant de mieux représenter le comportement des matériaux composites et de diminuer les coûts de simulation.

L'accès à Internet par satellite permet de connecter des régions isolées de la terre ou des utilisateurs en mouvement, pour lesquels une solution terrestre peut s’avérer couteuse voire impossible. L’utilisation de constellations de satellite en orbite basse permet de transmettre avec des délais similaires à ceux des transmissions terrestres, permettant l’utilisation des protocoles de transport classiques comme TCP. L’utilisation d’un tel environnement engendre cependant des contraintes spécifiques à ce type de réseau, comme des délais de transmission variables et un important taux d’erreur, principalement lors de la traversée de l’atmosphère. Pour compenser ces forts taux de pertes, des mécanismes de fiabilisation doivent être introduit au niveau des couche basse. Ces mécanismes ont toutefois un impact négatif sur les performances des protocoles de transport, notamment TCP, limitant grandement le débit. Le but de cette thèse est de comprendre dans un premier temps les interactions entre les mécanismes de fiabilisation et les protocoles de transport, pour ensuite proposer des solutions permettant d’améliorer la qualité des transmissions.

La réduction des émissions polluantes est actuellement un enjeu majeur au sein du secteur aéronautique. Parmi les solutions développées par les motoristes, la combustion en régime pauvre apparaît comme une technologie efficace pour réduire l’impact de la combustion sur l’environnement. Or, ce type de technologie favorise l’apparition d’instabilités de combustion issues d’un couplage thermo-acoustique. Des études expérimentales précédemment menées à l’ONERA ont mis en évidence l’importance de l’atomisation au sein d’un injecteur multipoint sur le phénomène d’instabilités de combustion. L’objectif de cette thèse est de mettre en place la méthodologie multi-échelle pour reproduire les phénomènes de couplage entre l’atomisation du jet liquide en présence d’un écoulement gazeux transverse (configuration simplifiée d’un point d’injection d’un injecteur multipoint) et d’une perturbation acoustique imposée, représentative de l’effet d’une instabilité de combustion. Ce type d’approche pourra, à terme, être utilisé pour la simulation instationnaire LES d’un système de combustion, et permettra de déterminer les temps caractéristiques de convection du carburant liquide pouvant affecter les phénomènes d’évaporation et de combustion, et donc l’apparition des instabilités de combustions. Afin de valider cette approche, les résultats issus des simulations sont systématiquement comparés aux observations expérimentales obtenues dans le cadre du projet SIGMA. Dans un premier temps, une simulation du jet liquide en présence d’un écoulement gazeux transverse est réalisée. Cette simulation a permis de valider l’approche multi-échelle : pour cela, les grandes échelles du jet, ainsi que les mécanismes d’atomisation reproduits par les simulations, sont analysés. Ensuite, l’influence d’une perturbation acoustique sur l’atomisation du jet liquide est étudiée. Les comportements instationnaires du jet et du spray issu de l’atomisation sont comparés aux résultats expérimentaux à l’aide des moyennes temporelles et des moyennes de phase.

L’occlusion est un problème dans la visualisation volumétrique car elle empêche la visualisation directe d’une région d’intérêt. Alors que la plupart des systèmes existants utilisent une combinaison de techniques de rendu en volume direct (DVR) et de leur fonction de transfert (TF) correspondante, nous avons envisagé des techniques d’interaction alternatives pour explorer ces ensembles de données.Tout d’abord, nous avons proposé un nouveau système de visualisation interactive pour les bagages numérisés en 3D, accéléré par les techniques GPGPU, conformément aux besoins que nous avons extraits de l’enquête contextuelle auprès des agents de sécurité de l’aéroport.Deuxièmement, nous avons proposé une nouvelle technique qui associe un rendu volumétrique de haute qualité à une lentille rapide, polyvalente et facile à utiliser pour prendre en charge l’exploration interactive des données occluses dans des volumes.

Cette thèse s’inscrit dans le domaine de l’automatique, et a pour but de fournir des outils utiles à l’atterrissage en mer d’hélicoptères (sur navire ou plateforme) et employés dans le cadre d’un potentiel pilotage automatique. L’objectif a donc été de développer une série de lois de commande pilotées manuellement, puis commandées de façon autonome à l’aide d’informations caméra. Les lois ainsi développées à l’aide de modèles dynamiques d’hélicoptères, limitations mécaniques incluses, se basent sur les critères de Qualité de Vol issus de la norme ADS-33. L’ensemble a fait appel à une approche anti-windup pour améliorer la robustesse face aux situations d’actionneurs en saturation. Enfin les lois issues de ces travaux ont été testées en temps-réel sur le banc de pilotage d’hélicoptères de l’ONERA Salon-de-Provence.

Cette thèse étudie des méthodes de conception aérodynamique pour les avions de ligne de demain. A l'heure actuelle, les avions de ligne sont en général conçus de manière à ce que les moteurs, conçus séparément du reste de l'aéronef, n'interagissent que très peu avec la cellule de l'avion (la voilure, le fuselage,...). Pour diminuer la consommation de carburant, de nouveaux concepts comme l'ingestion de couche limite émergent, dans lesquels l'avion est conçu pour tirer profit des interactions aérodynamiques qui peuvent s'établir entre le moteur et la cellule de l'avion sur certaines configurations. Il devient alors nécessaire de simuler ces interactions pour s'assurer que le bénéfice pour l'avion en termes de consommation de carburant est réel. La méthode développée dans cette thèse a pour objectif de rendre possible la simulation de ces interactions, à un coût de calcul qui reste acceptable. La soufflante, qui est l'élément du moteur le plus à même d'interagir avec l'avion, est modélisée à l'aide d'un champ de force qui reproduit son aspiration de l'écoulement d'air. Cette approche permet de reproduire les interactions aérodynamiques entre l'avion et ses moteurs à un coût 50 fois inférieur à celui d'une simulation complète du moteur et de l'avion, ce qui permettra en pratique d'optimiser les lignes aérodynamiques des futurs avions.