Pour faire face aux impératifs de diminution du poids des avions et des hélicoptères tout en maintenant le confort acoustique à l'intérieur des appareils, les solutions de contrôle du bruit doivent être élaborées dès les premières phases de la conception.Pour assister les ingénieurs dans cette tâche, ce projet vise à développer un modèle analytique rapide et précis pour la prédiction de la transmission sonore à travers les parois aéronautiques à double panneaux (murs latéraux des cabines d'avion). La stratégie de modélisation utilisée est basée sur l'hypothèse d'une structure infinie et périodique. Tout d'abord, une configuration composée de deux plaques métalliques connectées par des poutres en C est étudiée. Les modèles simples existant dans la littérature sont implémentés et une approche périodique est développée. Ces modèles et cette approche sont ensuite comparés à une expérience de validation. Les résultats montrent que les modèles simples sont mal adaptés aux structures légères, car la plupart de ces modèles ont été originalement conçus pour les murs du domaine de la construction. En contrepartie, l'approche périodique concorde bien avec les mesures. Au chapitre suivant, l'approche périodique est modifiée pour prendre en compte les structures composites et les liens résilients discrets reliant le panneau interne au panneau externe. À l'aide du modèle développé, plusieurs études paramétriques sont conduites sur les propriétés dynamiques des liens, sur l'absorption dans la cavité et sur l'amortissement des panneaux. Grâce à ces études, des conclusions pratiques pour les concepteurs sont tirées, notamment au niveau de la pertinence d'atténuer la transmission structurelle entre les panneaux à l'aide de liens résilients. L'approche périodique est aussi comparée à des calculs par éléments finis et une bonne concordance est obtenue. Au dernier chapitre, il est montré comment les traitements multicouches remplissant la cavité entre les panneaux peuvent être intégrés dans le cadre de l'approche périodique. Un exemple est donné pour un traitement à trois couches. Dans le cadre de la présente maitrise, deux articles ont été publiés dans le Journal of Sound and Vibration ([43],[55]) et un troisième article sera soumis à l'Acoustical Society of America.

Thèse ou mémoire avec insertion d’articles / L'électrification des transports, de pair avec l'émergence de la mobilité aérienne urbaine, créer un regain d'intérêt du secteur de l'aéronautique envers les hélices carénées. Cette technologie se veut intéressante pour ces deux champs d'application en raison du gain d'efficacité qu'elle peut permettre pour les missions où le vol stationnaire ou à basse vitesse représente une partie significative du temps de vol de l'appareil. Ceci est sans compter leur émission sonore réduite et leur sécurité améliorée, deux aspects inhérents aux hélices carénées. Lors de la conception de ces systèmes, l'ingénieur peut, en fonction de ses besoins, utiliser des outils simples et rapides comme la théorie de la quantité de mouvement et les méthodes numériques en découlant ou encore des outils plus fidèles à la vraie physique, mais côuteux en temps et en ressources comme la CFD (Computational Fluid Dynamics). Il existe, pour des rotors non-carénés, des outils numériques pouvant être qualifiés de fidélité moyenne et qui sont intéressants au moment de la conception préliminaire lorsqu'une précision supplémentaire est nécessaire, mais que l'utilisation de la CFD résolvant la couche limite jusqu'à la paroi n'est pas envisageable. L'adaptation de ces outils de moyenne fidélité aux rotors carénés est, toutefois, des années en retard en comparaison à l'état de l'art pour des rotors non-carénés. Inspiré d'une de ces méthodes de moyenne fidélité nommée la modélisation par ligne actuatrice (acronyme anglais ALM) qui est bien implémentée pour des rotors non-carénés, le présent travail cherche à étendre l'utilisation de cette technique à des hélices carénées et à en évaluer les performances. Le projet est mené en collaboration avec Bell Textron Canada® qui fournit les géométries à l'étude ainsi que des données expérimentales pour la validation des simulations par ligne actuatrice. Comme la physique d'une hélice carénée est complexe et dépend d'une forte interaction entre l'hélice et le carénage, des cas de validation plus simples sont aussi utilisés pour valider différents aspects du code de simulation. Les résultats obtenus avec l'ALM montrent que cette technique peut être utilisée comme outil de simulation pour les géométries carénées, notamment pour calculer les courbes de performance d'un système, ainsi que pour étudier l'effet de changements macroscopiques tels que le nombre de pales, la vitesse de rotation ou le diamètre du rotor. Certaines faiblesses de la technique sont aussi soulevées. Il s'agit particulièrement d'effets plus locaux comme le comportement du chargement en bout de pale. Néanmoins, l'ALM appliqué aux géométries carénées permet d'identifier rapidement, et à un coût de calcul moindre, les idées de conception ou les conditions d'opération les plus intéressantes. Ce travail aborde la théorie pertinente au modèle numérique de l'ALM, les modèles physiques sous-jacents, ainsi qu'une comparaison détaillée des résultats ALM avec ceux obtenus en CFD et en soufflerie. Plusieurs pistes d'améliorations sont aussi proposées pour de futurs travaux de recherche. / The emerging market of urban air mobility alongside the increasing number of hybrid-electric or purely electric propulsion systems has renewed the interest of the aeronautical sector for ducted fans. Ducted propulsion systems are particularly well suited for these use cases, as they often result in power savings during flight missions where hovering and low flight speed are prominent. Other advantages of ducted fans include lower and more directional sound emissions and inherently increased safety. When designing these systems, the aerodynamicist can choose between rapid but low-fidelity tools such as numerical methods based on the momentum theory, or more accurate but also more time-consuming tools such as wall-resolved CFD. In between these two extremes, there are also medium-fidelity tools available if a more detailed solution is needed but resorting to wall-resolved CFD is still cost-prohibitive. Although medium-fidelity methods are well developed and continue to make progress for conventional unducted rotors, their application to their ducted counterpart is years behind the state of the art for open rotors. Inspired by one of these medium-fidelity methods called the Actuator Line Method (ALM), which is widely adopted by the scientific community and extensively used for open rotor simulations, the aim of this work is to extend the ALM to ducted geometries. This research project is conducted in collaboration with the industrial partner Bell Textron Canada® which provided the studied ducted fan geometry as well as experimental data used to validate the ALM code. Since the flow inside a ducted propulsion system is quite complex and involves a strong interaction between the duct and the rotor, simpler validation cases are also used to validate specific attributes of the ALM code. The ALM results indicate that the technique is suitable for simulating ducted propulsion systems. It is particularly interesting for rapid computation of performance curves and for evaluating the effect of macroscopic changes such as the number of blades, rotational speed or rotor diameter. Shortcomings in the predictive capabilities are also reported concerning more local effects, such as the behaviour of the blade loading at the tip of the blade. Nevertheless, the ALM developed in this work still allows the design space to be explored rapidly and at a reduced computational cost when compared with wall-resolved CFD. This work presents the theory behind the ALM code, the underlying physical models as well as a detailed comparison of the ALM results with wind tunnel and wall-resolved CFD data. Numerous improvements to the code are also proposed for future research on the subject.

L'aéronautique est une industrie qui a un ancrage local très important. Depuis ses débuts, ce secteur est concentré dans les centres urbains tels Toulouse, Seattle et Montréal. À Montréal, la force de ce secteur repose sur plusieurs types d'acteurs, soit les acteurs publics, les entreprises et les organismes intermédiaires (centres de recherche, associations industrielles, écoles, universités, syndicats, instances de gouvernance locale, etc.) qui forment ensemble un système régional d'innovation. La notion de système régional d'innovation est au centre du renouveau des travaux sur la relation entre l'innovation et le territoire. Un tel renouveau est largement associé à la crise des conceptions de l'espace qui étaient associées au mode de régulation fordiste et au keynésianisme. L'espace se voit ainsi attribuer un rôle actif dans la structuration des activités économiques et des processus de développement. On parle plutôt de territoire, considéré désormais comme source d'actifs tangibles et intangibles et comme cadre de configuration du capital social des acteurs. Dans les recherches sur les systèmes régionaux d'innovation, on insiste sur l'importance des dynamiques territoriales et sociales pour structurer des réseaux productifs, faciliter les interactions, les échanges d'informations et par conséquent les innovations. De quelle façon et dans quelle mesure ces facteurs contribuent-ils au dynamisme innovateur du secteur de l'aéronautique à Montréal et à son ancrage territorial? L'objectif général de cette thèse cherche à répondre à ces questions et à analyser le rôle du territoire dans la structuration d'un système régional d'innovation d'échelle métropolitaine associé à cette industrie. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Aéronautique, système régional d'innovation, territoire, proximité, capital social, gouvernance.

De nos jours, la complexité des systèmes implique fréquemment la participation des différentes équipes d'ingénierie dans la gestion des modèles descriptifs. Chaque équipe ayant une diversité d'expériences, de connaissances du domaine et de pratiques de modélisation, l'hétérogénéité des modèles mêmes est une conséquence logique. Ainsi, malgré la bonne gestion des modèles d'un point de vue individuel, leur variabilité devient un problème quand les ingénieurs nécessitent partager leurs modèles afin d'effectuer des validations globales. Nous défendons l'utilisation des connaissances implicites comme un moyen important de réduction de l'hétérogénéité. Ces connaissances sont implicites car elles sont dans la tête des ingénieurs mais elles n'ont pas été formalisées dans les modèles bien qu'elles soient essentielles pour les comprendre. Après avoir analysé les approches actuelles concernant l'intégration de modèles et l'explicitation de connaissances implicites nous proposons une méthodologie qui permet de compléter (annoter) les modèles fonctionnels et de conception d'un système avec des connaissances partagées du domaine formalisées sous la forme d'ontologies. Ces annotations facilitent l'intégration des modèles et la validation de contraintes intermodèles. En outre, il s'agit d'une approche non intrusive car les modèles originaux ne sont pas modifiés directement. En effet, ils sont exportés dans un environnement unifié en exprimant leurs méta-modèles dans un langage de modélisation partagé qui permet l'homogénéisation syntactique. L'approche a été validée formellement en utilisant le langage de modélisation EXPRESS en tant que langage partagé. Ensuite, afin de la valider d'un point de vue industriel, trois cas d'étude du domaine aéronautique ont été implémentés en appliquant l'approche. Cet aspect industriel a été complété par le développement d'un prototype permettant de travailler avec les ingénieurs depuis une perspective processus.ctly modified. Thus, they are exported into a unified framework by expressing their meta-models in a shared modeling language that permits the syntactical homogenization. The approach has been formally validated by using the EXPRESS modeling language as shared language. Then, in order to validate it from an industrial point of view, three aircraft domain case studies have been implemented by applying the approach. This industrial aspect has been completed by the development of a prototype allowing engineers to work from a process perspective.

Les traitements acoustiques jouent un rôle important dans la réduction du bruit des avions et doivent satisfaire de nombreuses contraintes de conception et d’exploitation. Ils sont utilisés depuis longtemps au niveau de l’isolation. Le concept étudié dans ce projet est basé sur l’ajout ou l’intégration d’un écran résistif ou microperforé dans les traitements usuels à base de fibre de verre ou de mousse afin d’optimiser l’absorption des traitements acoustiques et améliorer l’isolation en configurations double-paroi dans une bande étroite en basses fréquences et sans la détruire en hautes fréquences. Cette étude a pour objectif final de définir les propriétés physiques et mécaniques d’un traitement acoustique à base d’écrans avec performance maximale pour un ajout de poids minimal. Les résultats de cette étude visent donc à améliorer le confort des passagers dans les avions.

L'objectif principal de cette étude est de constituer un cadre d'analyse systémique en conciliant les approches de la gestion des connaissances avec le concept et les outils de l'intelligence économique, et d'appliquer ce cadre au gouvernement et aux entreprises de haute technologie appartenant aux secteurs aéronautiques. La recherche s'effectue en deux grandes étapes. La première étape, basée sur la revue de la littérature, définit les différents concepts de la gestion des connaissances, ainsi que ceux reliés à l'intelligence économique (IE) et aux systèmes nationaux d'intelligence économique, pour aboutir à la création du modèle conceptuel d'analyse. La deuxième étape de la recherche sera constituée de l'étude du gouvernement et des entreprises. La première étape de notre recherche se retrouve dans les chapitres 2, 3, 4, 5 et 6. Le chapitre 2 a pour objet de définir les principaux aspects et concepts liés à la gestion des connaissances ainsi que les différentes approches existantes dans la littérature scientifique. Le chapitre 3 présente le concept d'intelligence économique (lE) et les principaux outils et méthodes d'analyse de ce champ de recherche. Le chapitre 4 est dédié à la présentation des théories et concepts de l'intelligence économique. Le chapitre 5 recense les dispositifs nationaux d'intelligence économique par pays. Le chapitre 6 vise l'élaboration du modèle conceptuel basé sur les concepts et approches retenus dans les deux chapitres précédents. Le chapitre 7 présente notre démarche méthodologique. À partir de notre modèle vérifié selon les données recueillies auprès du gouvernement et des entreprises, nous présenterons ensuite l'analyse des résultats obtenus dans le chapitre 8 et nos conclusions dans le chapitre 9, et ce, en soulignant nos contributions personnelles à l'avancement des connaissances dans le domaine de la gestion des connaissances. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Intelligence économique, Gestion des connaissances, Veille, Veille stratégique, Modèle conceptuel d'analyse de la création de nouvelles connaissances par les pratiques d'intelligence économique, Systèmes nationaux d'intelligence économique.

Dans ce mémoire nous étudions le processus d'intégration d'éoliennes à des réseaux électriques isolés utilisant des génératrices diesel en conditions de climat froid, en se basant sur le cas de la base scientifique antarctique argentine Jubany. Le but du mémoire est de développer une procédure de conception selon les méthodologies, recommandations et expériences actuelles des organismes de normalisation et de l'industrie, pour implanter un système hybride éolien-diesel opérant dans le climat froid de Jubany dans des conditions optimales d'efficacité et durabilité. La conception du système est faite jusqu'à un niveau architectural afin d'illustrer la disposition et les spécifications techniques générales des principaux équipements. La méthode suivie est d'utiliser la série des spécifications techniques TS 62257 de PIEC (la Commission électrotechnique internationale), ensemble de documents pour concevoir et implanter des systèmes hybrides, comme une procédure de conception de base, d'ajouter à cette procédure la prise en compte des effets du froid sur le système, tels que décrits dans les documents sur l'exploitation de l'énergie éolienne en climats froids de PIEA (l'Agence internationale d'énergie). Cette méthodologie est enrichie par l'analyse d'autres installations hybrides éolien-diesel en climat arctique/antarctique utilisées comme sources d'énergie. Les architectures proposées sont modélisées dans le logiciel Homer afin d'évaluer la production d'énergie et la diminution possible de consommation de carburant. Nous concluons que la série de normes TS 62257 est une procédure adéquate pour évaluer les conditions d'implantation du projet et réaliser de façon normalisée les premières étapes de conception, toujours en considérant les effets du froid sur le système. Pour le cas de Jubany, nous avons évalué l'état actuel des conditions climatiques (vitesses de vent, températures) et le système électrique en activité pour proposer des recommandations pour l'installation du système hybride éolien-diesel. - The present work studies the process of coupling wind turbines with local isolated diesel generator to provide electricity to remote power grids in a cold climate. Different scenarios of wind penetration are evaluated and the methodology is applied to a specific site, the scientific Antarctic Argentinean base "Jubany". The goal of the thesis is to develop a design procedure in agreement to the most recent methodologies, recommendations and experiences of the standardization organisations and of the industry to successfully implement an effective and sustainable wind-diesel hybrid system operating in the cold climate at Jubany. The system design is made up to an architectural level, showing the layout and general technical specifications of the major equipments. The method follows the technical specifications TS 62257 of the IEC, the International Electrotechnical Commission, which is a set of recommendations to design and implement hybrid systems. This norm has been used as a basic design procedure, to which have been added specific aspects of the cold climate effects, as described in documents of the IEA, the International Energy Agency. Other examples of hybrid winddiesel facilities in Arctic/Antarctic climate, either operational or proposed, have been analyzed as a source of technological ideas to make design proposals for the hybrid system at Jubany. The proposed architectures are simulated with Homer software to assess their energy production, cost of energy and fuel savings. It is concluded that the norm TS 62257 is a good basic procedure to organise and evaluate the input information and complete the first steps of design in a standardized way, even considering the effects of the cold climate on the system. For the Jubany case, conclusions are presented regarding the current state of information of the climate (wind, cold) and of the electrical system in operation and recommendations are made to prepare the installation of the hybrid wind-diesel system.

Le dégivrage au moyen d'actuateurs piézoélectriques est considéré comme une avenue prometteuse pour le développement de systèmes à faible consommation d'énergie applicables aux hélicoptères légers. Ce type de système excite des fréquences de résonances d'une structure pour produire des déformations suffisantes pour rompre l'adhérence de la glace. Par contre, la conception de tel système demeure généralement mal comprise. Ce projet de maîtrise étudie l'utilisation de méthodes numériques pour assister la conception des systèmes de protection contre le givre à base d'éléments piézoélectriques. La méthodologie retenue pour ce projet a été de modéliser différentes structures simples et de simuler l'excitation harmonique des fréquences de résonance au moyen d'actuateurs piézoélectriques. Le calcul des fréquences de résonances ainsi que la simulation de leur excitation a ensuite été validée à l'aide de montages expérimentaux. La procédure a été réalisée pour une poutre en porte-à-faux et pour une plaque plane à l'aide du logiciel de calcul par éléments finis, Abaqus. De plus, le modèle de la plaque plane a été utilisé afin de réaliser une étude paramétrique portant sur le positionnement des actuateurs, l'effet de la rigidité ainsi que de l'épaisseur de la plaque. Finalement, la plaque plane a été dégivrée en chambre climatique. Des cas de dégivrage ont été simulés numériquement afin d'étudier la possibilité d'utiliser un critère basé sur la déformation pour prédire le succès du système. La validation expérimentale a confirmé la capacité du logiciel à calculer précisément à la fois les fréquences et les modes de résonance d'une structure et à simuler leur excitation par des actuateurs piézoélectriques. L'étude révèle que la définition de l'amortissement dans le modèle numérique est essentiel pour l'obtention de résultats précis. Les résultats de l'étude paramétrique ont démontré l'importance de minimiser l'épaisseur et la rigidité afin de réduire la valeur des fréquences de résonance et à maximiser l'amplitude des déplacements, ce qui contribue à réduire la puissance requise pour dégivrer la structure. De plus, l'étude révèle que le positionnement des actuateurs piézoélectriques est optimal aux endroits de déplacement maximal du mode de vibration excité. La plaque plane a été dégivrée expérimentalement en utilisant une densité de puissance moyenne de 0.77 W/in2. Les simulations numériques avec glace suggèrent que des déformations approchant 200 um/m étaient atteintes pour les cas expérimentaux où le dégivrage fut un succès. Ainsi, en ce basant sur un critère de déformation de l'interface glace/substrat suffisamment conservateur, le modèle numérique pourrait servir à approximer la puissance requise pour dégivrer une structure en fonction du nombre et du positionnement des actuateurs. Ce projet de recherche a atteint son objectif en démontrant que les systèmes de dégivrage piézoélectrique peuvent être efficacement modélisés. Les méthodes décrites dans ce travail peuvent être utilisées pour assister à la conception d'un système optimal pour des structures plus complexes.

L'objectif principal de ce travail était d'étudier les mécanismes perceptivo-moteurs qui sous-tendent l'apprentissage d'une tâche complexe. L'exemple choisi dans le présent manuscrit est celui de l'atterrissage et plus particulièrement de la phase d'approche d'un avion vers la piste. Cette manoeuvre est une phase de vol critique qui nécessite de nombreuses heures de formation et d'entraînement. Notre objectif était donc d'étudier, en s'appuyant sur l'approche écologique de la perception et de l'action, les différents moyens permettant de faciliter l'apprentissage de la phase d'approche. La première partie de ce travail détaille les différents aspects techniques permettant d'appréhender la procédure d'atterrissage puis dresse l'état actuel des connaissances sur la conception écologique de l'apprentissage. La partie centrale de cette thèse constitue le socle de notre démarche expérimentale et repose sur l'utilisation de la réalité virtuelle. Les manipulations effectuées pour améliorer l'apprentissage de la phase d'approche consistaient dans un premier temps, à ajouter une information artificielle dans l'environnement virtuel (Expériences 1 et 2) afin de faciliter la détection des informations utiles au contrôle de l'action. Les résultats de ces premières études montrent que l'apprentissage peut être amélioré à condition d'afficher l'information artificielle à la demande de l'apprenant. Par ailleurs, des tests de transferts réalisés à la fin de l'expérience 2 révèlent aussi que les participants apprennent à utiliser des informations visuelles différentes. L'objectif de notre dernière expérience (Expérience 3) était donc de manipuler l'aménagement des conditions de pratique pour éduquer l'attention de l'apprenant vers une information particulière,choisie par l'expérimentateur. Pris dans leur ensemble, ces résultats permettent de discuter des différents processus qui sous-tendent l'acquisition d'une nouvelle habileté perceptivo-motrice. La discussion générale de ce travail évoque notamment les conséquences des différentes manipulations effectuées au cours des trois chapitres expérimentaux sur le mécanisme d'éducation de l'attention et discute du rôle des différentes informations utilisées par les apprenants. Enfin, nous suggérons quelques pistes pratiques en relation avec le domaine de la formation des pilotes pour traduire de façon appliquée les résultats obtenus lors de ce travail. / The main objective of this work was to study perceptual-motor mechanisms underlying the learning of a complex task. The task chosen concerns the particular phase of plane landing called the approach phase. This maneuver is a critical phase of fliight and requires many hours of training. Our aim was to study ways to facilitate the learning of the approach phase from an ecological approach to perception andaction. The first part of this work details the technical aspects involved in understanding the landing procedure and describes the current state of knowledge on the ecological approach of learning. The second part of this thesis is the foundation ofour experimental work which was based on the use of virtual reality. In order toimprove the learning of the approach phase, the manipulation consisted of adding artificial information in the virtual environment (Experiment 1 and 2) which facilitated the detection of useful information to control action. The results of these studies show that learning can be improved if artificial information display is self-controlledby the participant. In addition, transfer tests performed at the end of Experiment 2revealed that the participants came to rely on different visual information. The aimof our last experiment (Experiment 3) was to vary the practice conditions in orderto educate the attention of the participants towards specific information, selectedby the experimenter. In sum, these results allow us to discuss the different processes underlying the acquisition of a new perceptual-motor skill. In the general discussion we refer to the consequences of the various operations performed during the three experimental chapters on the mechanism of education of attention and discuss therole of the various information used by the participants. Finally, we suggest several practical applications potentially useful for the improvement of pilots training

Les architectures des systèmes embarqués des nouvelles générations d'avions civils et militaires tendent à s'organiser autour d'une plateforme avionique constituée de calculateurs interconnectés par un réseau central. Ce type d'architecture a fait apparaitre le besoin de développer de nouvelles méthodes de conception afin d'assister le dialogue entre les concepteurs des fonctions à embarquer (commandes de vol, gestion de l'énergie, ...) et les architectes de la plateforme avionique. Il est, en particulier, primordial de s'assurer que l'allocation des ressources de la plateforme aux fonctions embarquées respecte les exigences de sûreté de fonctionnement propres aux systèmes avioniques. Dans un premier temps, un cadre général a été proposé pour modéliser et vérifier l'effet de l'allocation des ressources d'une plateforme avionique du point de la sûreté de fonctionnement. Ce cadre est fondé sur l'utilisation du langage AltaRica pour décrire formellement la propagation des défaillances au sein de systèmes embarqués et des outils associés à ce langage (model-checking, génération de séquences et d'arbres de défaillances) pour vérifier la tenue des exigences de sûreté de fonctionnement. Ce cadre a été utilisé pour étudier, d'une part, l'allocation d'équipements informatiques aux fonctions de systèmes embarqués, et d'autre part, les placements des équipements au sein de l'avion en tenant compte de risques tels que l'éclatement d'un pneu ou l'explosion d'un moteur. Dans un second temps, la génération d'allocations respectant les exigences de sûreté de fonctionnement a été étudiée. L'approche retenue est fondée sur l'expression de contraintes d'allocation sous forme d'inégalités linéaires entières et sur l'utilisation de techniques de résolution de ces contraintes. Plusieurs types de contraintes (ségrégation, co-location, exclusion, ...) sont pris en compte. De plus, des critères d'optimisation permettent de guider la résolution des contraintes de façon à proposer des allocations les plus pertinentes du point de vue des besoins des systèmes aéronautiques. Finalement, une approche intégrant les techniques de vérification et de génération a été proposée. La première étape consiste à vérifier un modèle des fonctions embarquées qui est indépendant de la plateforme avionique. Il est possible d'extraire automatiquement des contraintes d'allocation à partir des résultats de cette vérification. L'étape de résolution de contraintes génère alors une allocation sûre. Les travaux sont illustrés par deux études de cas industrielles : une fonction de suivi de terrain d'un avion de chasse et un système de génération et de distribution hydraulique d'un avion de type A320. / Abstract