Ce travail est consacré à l’étude et à la mise au point de récupérateurs d’énergie intégrés à une suspension automobile afin par exemple d’alimenter soit un microcontrôleur, soit des capteurs, soit de réaliser le contrôle santé des pièces ou encore de rendre l’amortisseur au sein d’une suspension d’un véhicule semi-actif autonome en fonction du niveau d’énergie disponible. Compte tenu des types de déplacement disponible dans la suspension, il est naturel de s’orienter vers des techniques électromagnétiques pour la récupération d’énergie liée aux grands déplacements et vers des techniques piézoélectriques pour les vibrations. L’utilisation de tels systèmes s’avère cependant complexe et un certain nombre de points techniques doivent être résolus pour les mettre en œuvre. En premier lieu, une parfaite connaissance des techniques de conversion piézoélectrique et électromagnétique est nécessaire. Dans ce but, le langage Bond Graph est utilisé et appliqué avec succès sur l’ensemble du système de suspension ainsi que sur les récupérateurs d’énergie en raison de sa capacité à traduire les effets physiques et les échanges énergétiques au sein de systèmes multiphysiques. D’autre part, des confrontations simulation/expérience sont réalisées en laboratoire sur chacun des récupérateurs d’énergie piézoélectrique et électromagnétique, afin de s’assurer du bon fonctionnement de ces systèmes lors de leurs intégrations dans un véhicule réel. Ainsi, des défauts de nature différente comme la force magnétique déformant le mouvement de translation de l’amortisseur, la mauvaise conduction des lignes de champ magnétique ou les endommagements du matériau piézoélectrique lors d’essais répétés, sont analysés dans les premiers démonstrateurs afin d'être ensuite corrigés. Enfin, un modèle global de suspension automobile intégrant simultanément les deux sous-systèmes de récupération d’énergie est étudié. Afin de compléter cette analyse, une modélisation du circuit de restitution et du stockage d’énergie est également proposée et permet une étude qualitative et quantitative des performances des systèmes de récupération d’énergie piézoélectrique et électromagnétique. Les résultats issus de ces modèles sont exploités dans le but de concevoir des récupérateurs d’énergie s’adaptant au mieux au domaine de l'automobile. Pour conclure, des tests sur route avec le récupérateur d’énergie piézoélectrique démontrent la validité de l’analyse théorique et la faisabilité des techniques développées. / This work is devoted to the study and the development of energy harvesters integrated in an automobile suspension, for example to supply either a microcontroller or sensors, or to perform an health check of parts or render semi-active the shock absorber within a suspension of an autonomous vehicle according to the level of energy available. Given the types of displacement available in the suspension, it is natural to move towards electromagnetic techniques for energy recovery related to large displacements and to piezoelectric techniques for vibrations. However, the use of such systems is complex and a number of technical issues need to be addressed to implement them. First, a perfect knowledge of piezoelectric and electromagnetic conversion techniques is required. To this end, the Bond Graph language is used and successfully applied to the entire suspension system as well as energy harvesters because of its ability to translate physical effects and energy exchanges into multiphysics systems. Furthermore, simulation / experiment confrontations are carried out in the laboratory on each of the piezoelectric and electromagnetic energy harvesters, to ensure the proper functioning of these systems during their integration into a real vehicle. Thus, defects of different nature such as the magnetic force deforming the translation movement of the damper, the poor conduction of the magnetic field lines or the damage of the piezoelectric material during repeated tests, are analyzed in the first demonstrators in order to be corrected. Finally, a global model of automobile suspension simultaneously integrating the two subsystems of energy recovery is studied. To complete this analysis, a modeling of the circuit of restitution and energy storage is also proposed and allows a qualitative and quantitative study of the performances of piezoelectric and electromagnetic energy recovery systems. The results from these models are used to design energy recovery systems that best fit the automotive field. To conclude, road tests with the piezoelectric energy harvesters demonstrate the validity of the theoretical analysis and the feasibility of the techniques developed.

Tout phénomène, qu’il soit biologique, géologique ou mécanique peut être décrit à l’aide de lois de la physique en termes d’équations différentielles, algébriques ou intégrales, mettant en relation différentes variables physiques. Les objectifs de la thèse sont de montrer comment les systèmes à paramètres distribués peuvent être modélisés par un modèle bond graph, qui est par nature un modèle à paramètres localisés. Deux approches sont possibles : - utiliser une technique d’approximation qui discrétise le modèle initialement sous forme d’équations aux dérivées partielles (EDP) dans le domaine spatial, en supposant que les phénomènes physiques distribués peuvent être considérés comme homogènes dans certaines parties de l’espace, donc localisés. - déterminer la solution des EDP qui dépend du temps et de l’espace, puis à approximer cette solution avec différents outils numériques. Le premier chapitre rappelle quelques méthodes classiques utilisées pour l’approximation des EDP et les modèles bond graphs correspondants.Dans le deuxième chapitre, l’approche port-Hamiltonienne est présentée et son extension aux systèmes à paramètres distribués est proposée. Dans le troisième chapitre, les principaux modèles utilisés pour la représentation des flux de trafic routier sont rappelés et mis en œuvre en simulation. Ceci conduit à des comparaisons, d’une part entre différentes méthodes de résolution numérique et d’autre part entre différents modèles. Dans le quatrième chapitre, une approche originale propose d’étendre la représentation bond graph issue de la méthodologie Computational Fluid Dynamics au flux de trafic, en utilisant un modèle EDP à deux équations proposé par Jiang / Virtually every phenomenon in nature, whether biological, geological, or mechanical, can be described with the aid of the laws of physics, in terms of algebraic, differential, or integral equations relating various quantities of interest. The objectives of the thesis were to show how distributed parameter systems can be modeled using a bond graph model, which is by its nature itself a lumped parameter model. Two ways are possible :- using an approximation technique to discretize the model in the space domain, assuming that physical distributed phenomena can be considered as homogenous in some parts of space, and thus lumped. Different bond graph models can be obtained depending on the technique used.- determining a solution of the PDE depending on space and time, and thus to approximate this solution by means of different kinds of tools.In chapter 1, some classical methods used for approximation of partial differential equations are recalled and the corresponding bond graph model is designed. For each of them advantages and drawbacks are presented.In the second chapter, the port-Hamiltonian approach for distributed parameter system is presented, and a new result is proposed for telegrapher’s equation solving.In the third chapter, the main models used for traffic flow representation are presented and some of them are implemented in simulation. A comparison is done on one hand on different numerical methods applied on the first class of models (1-eq. model) and on the other hand between 1-equation and 2- equation models.In chapter 4, we have proposed an original approach extending Computational Fluid Dynamics bond graph representation to traffic flow, using Jiang’s model

De par le fonctionnement de son rotor, l'hélicoptère est le siège de vibrations mécaniques importantes impactant notamment la fatigue des pièces mécaniques et le confort des passagers. La liaison BTP-Fuselage équipé du système SARIB est un système anti-vibratoire qui permet d'atténuer mono-fréquentiellement les vibrations transmises au fuselage. Des solutions intelligentes semi-actives sont donc étudiées afin que la filtration soit réglable en fonction des vibrations excitatrices. Ce type d'études souffre, par contre, d'un manque d'outils et de méthodes indispensables, d'une part, à la modélisation de systèmes mécaniques complexes et d'autre part, à l'élaboration d'une liaison intelligente. Ces travaux proposent une démarche de modélisation à partir d'un outil de modélisation structurel tel que le multi-bond graph (MBG) permettant une vision global et modulaire pour l'étude de systèmes mécaniques complexes tels qu'on peut les trouver sur un hélicoptère. Dans un premier temps, une analyse des outils de modélisation conduisant au choix du MBG a été présentée. Dans un second temps, les développements ont porté sur la modélisation MBG de la liaison BTP/ Fuselage 3D d'un banc d'essai réel qui a été conçu et réalisé au sein du laboratoire. Cette liaison est un système mécanique cinématiquement bouclé. Les équations de la dynamique d'un tel système forment un système d'équations algébro-différentiel (DAE) nécessitant des techniques de résolution spécifiques. Le modèle MBG de la liaison BTP-fuselage entier a été simulé à l'aide du logiciel 20-sim. Les résultats obtenus ont été vérifiés à l'aide du logiciel multicorps LMS Virtual Lab. Une comparaison des résultats obtenus par les deux méthodes a donné, pour différents cas d'excitations de la BTP (pompage, roulis, tangage), une corrélation très satisfaisante. Dans un troisième temps, le modèle MBG a été exploité pour la mise en place d'un dispositif de contrôle semi-actif. Le modèle du dispositif SARIB développé également sous 20-sim permet de régler la position des masses mobiles en fonctionnement de manière à minimiser le niveau de vibratoire du fuselage. L'algorithme de contrôle (algorithme de gradient) permet de calculer les consignes de position des masses mobiles sur les batteurs SARIB. La position des masses mobiles actionnée par un moteur électrique à courant continu et un système vis-écrou est ensuite asservie aux consignes générées par l'algorithme de contrôle. Enfin, la commande a pu être mise en place sur un modèle bond graph non-linéaire qui n'a pas nécessité une linéarisation en vue d'une transformation en fonction de transfert. / Due to the operation of the rotor, the helicopter is subject to important vibrations affecting namely the fatigue of mechanical parts and the passengers comfort. The MGB-Fuselage joint equipped with the DAVI system is an anti-vibration system that helps to reduce, in a single frequency way, vibrations transmitted to the fuselage. Semi-active intelligent solutions are studied so that the filtering can be adjusted according to the vibration sources. Such studies suffer from a lack of tools and necessary methods, firstly, for the design of complex mechanical systems and secondly, for the development of an intelligent joint. This work proposes a modeling approach using a structural modeling tool : the multi-bond graph (MBG) which offers a global and modular view for the study of complex mechatronic systems such as helicopter. At first, an analysis of modeling tools leading to the selection of MBG is presented. Secondly, developments have focused on the MBG modeling of the 3D MGB-fuselage joint of an experimental setup which was designed and built in the laboratory. This joint is a mechanical system with kinematic loops. The equations of the dynamics of such system are a differential-algebraic system (DAE) requiring specific solving methods. The MBG model of the MGB-fuselage was simulated using the 20-sim software. The results were verified using the multibody software LMS Virtual Lab. A comparison of results obtained by the two methods led to a very good correlation to various cases of excitations of the MGB (pumping, roll, pitch). Thirdly, the MBG model was used for the establishment of semi-active control system. The model of the DAVI device also developed in 20-sim allows to adjust the position of the moving masses in operation so as to minimize the level of vibration of the fuselage. The control algorithm (gradient algorithm) enables to calculate the setpoint positions of the moving masses on the DAVI beaters. The position of the moving masses driven by an electric DC motor and a screw-nut system is then controlled to the setpoints generated by the control algorithm. Finally, the command could be implemented on a non-linear bond graph model which did not require a linearization to get a transfer function.

La commande de systèmes physiques s’avère être une tâche difficile en général. En fonction du modèle choisi, les outils mathématiques pour l’analyse et la conception de lois de commande peuvent changés. Pour les systèmes décrits par une représentation entrée-sortie, type transfert, ou par une équation de type état, les principales informations exploitées lors de la phase d’analyse concerne la structure interne du modèle (structure finie) et la structure externe (structure à l’infini) qui permettent avant la phase de synthèse de connaître, sur le modèle en boucle ouverte, les propriétés des lois de commande envisagées ainsi que les propriétés du système piloté (stabilité…).Le travail porte principalement sur l’étude des zéros invariants des systèmes physiques représentés par bond graph, en particulier dans un contexte de modèle type LTV. L’approche algébrique est essentielle dans ce contexte car même si les aspects graphiques restent très proches du cas linéaire classique, l’extension aux modèles LTV reste très complexe d’un point de vue mathématique, en particulier pour le calcul de racines de polynômes. De nouvelles techniques d’analyse des zéros invariants utilisant conjointement l’approche bond graph (exploitation de la causalité) et l’approche algébriques ont permis de mettre en perspective certains modules associés à ces zéros invariants et de clarifier le problème d’annulation des grandeurs de sortie. L’application aux problèmes d’observateurs à entrées inconnues a permis d’illustrer nos propos sur des exemples physiques, avec certaines extensions, problèmes pour lesquels les zéros invariants apparaissent aussi comme éléments essentiels / The control synthesis of physical systems is a complex task because it requires the knowledge of a "good model" and according to the choice of a model some specific tools must be developed. These tools, mainly developed from a mathematical and theoretical point of view, must be used from the analysis step (analysis of model properties) to the control synthesis step. It is well-known that in many approaches, the properties of the controlled systems can be analyzed from the initial model. If the system is described with an input-output representation or with a state space representation, two kinds of information are often pointed out: the external structure (infinite structure) and the internal structure (finite structure). The first one is often related to the existence of some control strategies (input-output decoupling, disturbance decoupling...) and the second one gives some focus on the stability property of the controlled system.In this report, the focus has been on the study of invariant zeros of bond graph models in the context of LTV models. The algebraic approach was essential because, even if the problem is already solved for LTI bond graph models, the extension to LTV models is not so easy. The simultaneous use of algebraic and graphical approaches has been proven to be effective and convenient to solve this problem. First, some tools from the algebraic approach have been recalled in chapter one and results for the study of invariant zeros of LTI bond graph models recalled in chapter two. Some new developments are proposed in chapter three and some applications for the unknown input observer problem with some physical applications conclude this work

L’objectif de cette étude est de développer une alimentation multisources exploitant la complémentarité batterie/supercondensateurs pour gagner en masse sur le stockage de l’énergie électrique embarquée à bord des aéronefs et des véhicules spatiaux. L’étude se déroule en trois parties :Dans la première partie, un outil d’aide à la décision permettant développer une alimentation hybride pour une application donnée est présenté. Cet outil a pour but d’estimer la masse optimale d’une alimentation hybride à partir des seules informations d’énergies spécifiques et puissances spécifiques des sources candidatesLa deuxième partie de l’étude s’appuie sur la complémentarité d’une étude bibliographique sur le comportement interne des supercondensateurs, couplée avec une campagne expérimentale de caractérisation et de vieillissement des supercondensateurs, pour construire et identifier les modèles multiphysiques de références commerciales de supercondensateurs nécessaires à l’optimisation fine du dimensionnement de l’alimentation hybride.À partir du modèle des sources, la troisième et dernière partie de cette étude a pour objectif de présenter la conception d’une architecture électrique répondant au besoin. En particulier, l’alimentation hybride proposée dans cette partie exploite dynamiquement et au maximum de leur capacité chacune des deux sources, tout en prenant soin de ne pas les contraindre excessivement. De par cette manière de faire, on se prémunit contre d’éventuelles défaillances des sources liées à leur utilisation abusive / The aim of this study is to develop an hybrid power supply using the complementarities between batteries and supercapacitors in order to improve the mass of electrical storage systems on aircrafts and spacecrafts.The study is divided into three parts: In the first part, a decision-making tool to develop a hybrid power supply given a mission profile is presented. Thanks to this tool, an estimation of the optimal mass of the hybrid power supply is done based only on the specific energy and the specific power of the sources.The second part is firstly composed of a synthesis of bibliography results on the internal behavior of supercapacitors; secondly an experimental test campaign is described. Its aim is characterizing, modeling and identifying the multiphysics behavior and ageing of supercapacitors on several commercial references. Those models are required for the fine sizing optimization of the hybrid power supply. Basing on the internal model of the sources, the aim of the third part of this study is to present the development of an hybrid architecture battery/supercapacitors which fulfills the electrical need for a specific application. This hybrid power supply takes dynamically advantage of the electrical sources at the maximum of their possibilities, but without overstressing them at the same time. Thanks to that, the aging rate of the sources and the failure rate of the system are limited

Ce travail s’inscrit dans le cadre de la conception et réalisation d’un robot d’assistance à la personne. Dans cette thèse, nous nous intéressons particulièrement à la conception, à la modélisation et à la commande d’un robot manipulateur mobile. La conception mécanique couplée à un outil de simulation dynamique multi-corps nous a permis d’obtenir un modèle virtuel très réaliste. Le modèle cinématique du système a été obtenu en utilisant la méthode D-H modifiée. L’approche Bond graph et la méthode de Lagrange ont permis de construire le modèle dynamique. Un algorithme hybride qui combine la pseudoinverse du jacobien et la méthode RRT a été proposé pour la planification de mouvement d’un manipulateur redondant et rechercher de configurations continues, stables et sans collision. Un contrôleur basé sur les réseaux de neurones a été introduit pour la commande coordonnée d’un manipulateur mobile. Cette méthode ne nécessite pas un modèle précis du robot. Les paramètres inconnus sont identifiés et compensés en utilisant des réseaux de neurones RBF. Un algorithme de contrôle similaire est présenté pour la commande force/position d’un manipulateur mobile qui est soumis à des contraintes holonomes et nonholonomes. L’étude de la main robotique a été effectuée séparément avant d’être couplée au reste du système. Les modèles cinématique et dynamique du système main-objet ont été obtenus en utilisant les approches mathématiques et bond graph. Un algorithme est proposé afin d’assurer une prise ferme, éviter les dérapages et suivre les mouvements désirés. Les validations des modèles et des différentes lois de commande ont été effectuées grâce à la co-simulation Matlab/modèle virtuel / The purpose of this thesis is to design, model and control of a personal assistant robot used for domestic tasks. In order to make the robot’s design more efficient, a virtual simulation system is built using dynamic simulation software. The kinematic model is set up based on modified D-H principle. The dynamic model is built using the Lagrange theorem and elaborated in Matlab. We also employ an energy-based approach for modeling and its bond graph notation ensures encapsulation of functionality, extendibility and reusability of each element of the model. A hybrid algorithm of combining the Jacobian pseudoinverse algorithm with Rapidly-Exploring Random Tree method is presented for collision-free path planning of a redundant manipulator. An intelligent robust controller based on neural network is introduced for the coordinated control of a mobile manipulator. This method does not require an accurate model of the robot. Unknown dynamic parameters of the mobile platform and the manipulator are identified and compensated in closed-loop control using RBF neural network. A similar control algorithm is presented for coordinated force/motion control of a mobile manipulator suffering both holonomic and nonholonomic constraints. Kinematics and dynamics of a dexterous hand manipulating an object with known shape by rolling contacts are derived. A computed torque control algorithm is presented to ensure firm grip, avoid slippage and well track a given motion imposed to the object. The validation of models and different control laws were made by the co-simulation Matlab / virtual model

Dans le contexte de conception des systèmes mécatroniques, cette thèse aborde le problème de synthèse de tolérance paramétrique par rapport aux spécifications incluant incertitudes admissible. Nous prenons en compte deux types d’incertitude : incertitude aléatoire et incertitude épistémique. La méthodologie est basée sur l’inversion du modèle bond graph et sur la propagation de l’incertitude en sortie au paramètre de conception. Les incertitudes aléatoires sont modélisées par les fonctions densité de probabilité (FDP). Les incertitudes épistémiques sont modélisées par les fonctions d’appartenance (FA). Les modèles bond graph probabiliste et bond graph flou correspondants sont alors définis. En affectant la bicausalité et exploitant le modèle bond graph bicausal, nous obtenons le modèle inverse du système. Les FDP et FA sont ensuite propagées à travers ce modèle inverse jusqu’aux paramètres de conception. Nous proposons deux approches pour la propagation de l’incertitude : l’approche globale et l’approche locale. Dans l’approche globale, les FDP et FA en sortie sont propagée grâce à la relation globale entre les sorties et les paramètres de conception (le modèle inverse). Dans l’approche locale, le modèle considéré est divisé en plusieurs sous-modèles et les FDP et FA sont transférées de sous-modèle en sous-modèle jusqu’aux paramètres de conception. Nous utilisons ensuite les FDP et FA obtenues pour synthétiser les tolérances pour les paramètres de conception. La méthodologie proposée permet le traitement de l’incertitude aléatoire et l’incertitude épistémique par des outils appropriés, dans un problème de synthèse de tolérance paramétrique incluant des spécifications complexes. / In the context of mechatronic systems design, this thesis addresses the problem of parametric tolerance synthesis with respect to specifications including allowable uncertainties. We consider two types of uncertainty: aleatory uncertainty and epistemic uncertainty. The methodology is based on the inversion of the bond graph model and the propagation of uncertainty from output to design parameter. Aleatory uncertainties are modeled by the density probability functions (PDF). Epistemic uncertainties are modeled by membership functions (MF). The probabilistic and fuzzy bond graph are then defined. By affecting bicausality and exploiting the bicausal bond graph model, we obtain the inverse model of the system. The PDF and MF are then propagated through the inverse model to the design parameters. We propose two approaches for the propagation of uncertainty: the global approach and the local approach. In the global approach, the output PDF and MF are propagated through the overall relation between the outputs and the design parameters (the inverse model). In the local approach, the model is divided into several sub-models and the PDF and MF are transferred from sub-model to sub-model until they reach the design parameters. We then use the obtained PDF and MF for synthesizing the tolerances of the design parameters. The proposed methodology allows the treatment of aleatory uncertainty and epistemic uncertainty by appropriate tools, in a problem of parametric tolerance synthesis including complex specifications.

L'étude de lois de commande performantes pour les processus est le domaine de recherche le plus actif en automatique. Cette recherche répond aux besoins des industriels qui exploitent des machines de plus en plus performantes. Les approches proposées exigent une connaissance précise des phénomènes physiques mis en jeu dans ces processus et la possibilité d'adaptabilité à des situations différentes.<br />Le travail de recherche apporte une contribution à ces approches, par l'étude de la dualité aux différents niveaux de la conception de loi de commande.<br />Le travail a permis d'effectuer une caractérisation de la dualité au niveau modèle (dualité entre les représentations d'état, dualité entre les modules),<br />l'étude de la dualité entre les propriétés des modèles (commandabilité/observabilité) et l'étude de la dualité dans la conception de loi de commande<br />(retour d'état, injection de sortie). Ces concepts s'appliquent à différents types de modèles (linéaires LTI et LTV, non linéaires,...). Nous avons reformulé certains concepts d'analyse et de commande par une étude unifiée entre les différentes approches classiques, graphiques, algébriques (modules) et bond graphs, entre autre. De nombreuses perspectives sont envisagées.

Hybrid models are those containing continuous and discontinuous behaviour. In constructing dynamic systems models, it is frequently desirable to abstract rapidly changing, highly nonlinear behaviour to a discontinuity. Bond graphs lend themselves to systems modelling by being multi-disciplinary and reflecting the physics of the system. One advantage is that they can produce a mathematical model in a form that simulates quickly and efficiently. Hybrid bond graphs are a logical development which could further improve speed and efficiency. A range of hybrid bond graph forms have been proposed which are suitable for either simulation or further analysis, but not both. None have reached common usage. A Hybrid bond graph method is proposed here which is suitable for simulation as well as providing engineering insight through analysis. This new method features a distinction between structural and parametric switching. The controlled junction is used for the former, and gives rise to dynamic causality. A controlled element is developed for the latter. Dynamic causality is unconstrained so as to aid insight, and a new notation is proposed. The junction structure matrix for the hybrid bond graph features Boolean terms to reflect the controlled junctions in the graph structure. This hybrid JSM is used to generate a mixed-Boolean state equation. When storage elements are in dynamic causality, the resulting system equation is implicit. The focus of this thesis is the exploitation of the model. The implicit form enables application of matrix-rank criteria from control theory, and control properties can be seen in the structure and causal assignment. An impulsive mode may occur when storage elements are in dynamic causality, but otherwise there are no energy losses associated with commutation because this method dictates the way discontinuities are abstracted. The main contribution is therefore a Hybrid Bond Graph which reflects the physics of commutating systems and offers engineering insight through the choice of controlled elements and dynamic causality. It generates a unique, implicit, mixed-Boolean system equation, describing all modes of operation. This form is suitable for both simulation and analysis.

La conception des systèmes mécatroniques, vu leur complexité, nécessite d'entreprendre une approche systémique. Une approche systémique implique l'utilisation d'une méthodologie permettant, en premier lieu, de considérer le système avec toutes ses composantes (mécanique, électronique, informatique, etc.) et de fournir les moyens de concevoir et de spécifier ce système par la définition de ses composants et des liens qui existent entre eux. D'autre part, cette méthodologie doit aussi donner la possibilité de décrire ces composants avec les outils existants dédiés aux domaines technologiques. Nous nous sommes tournés vers des technologies orientées-objet, en l'occurrence l'ingénierie guidée par les modèles MDE, pour construire une méthodologie permettant d'entreprendre cette approche systémique supportant les activités d'ingénierie décrites dans le standard ISO/IEC/IEEE 15288. Dans cette thèse, nous proposons donc une méthodologie qui répond à ces besoins et que nous avons intitulé MISSyM. Dans MISSyM, les activités de conception sont réalisées sur des modèles SysML étendus par des profiles supportant le standard ISO/IEC/IEEE 15288. De plus, MISSyM intègre le support d'éléments de modélisation spécifiques aux systèmes mécatroniques qui sont le composant mécatronique ainsi que des extensions et des design pattern spécifiques. Nous avons aussi intégré dans MISSyM une extension au langage SysML supportant les Bond Graphs et permettant d'entreprendre une analyse énergétique des systèmes hétérogènes. Nous avons par la suite enrichi la méthodologie MISSyM par une méthode de vérification de la qualité de l'architecture qui repose sur un algorithme utilisant des métriques sur les modèles décrivant l'architecture d'un composant donné ou du système puis appliquant un algorithme de partitionnement de la matrice de dépendances ou DSM (existant) pour proposer une amélioration de cette architecture. Nous avons en plus fourni l'ouverture vers le langage de simulation Modelica par la génération de code. Et finalement, nous avons décrit le processus global de la méthodologie basé sur l'architecture de modèles MDA et en concordance avec le standard d'ingénierie système ISO/IEC/IEEE 15288. Nous avons fourni un exemple d'application pour permettre aux ingénieurs système de mieux utiliser le nouveau langage SysML à travers cette méthodologie.