Multidomain modeling has become more and more important, especially since integrated design strategies have imposed themselves for reaching higher standards in system efficiency and precision. This research deals with electromechanical systems with large multibody structure and tight interaction between electrical and mechanical parts. In the first part of this work, the author present an in depth confrontation of existing unified modeling theories: Bond Graphs, Linear Graphs and Virtual Work Principle. A simple example is used to illustrate the use of these theories and their application on multibody systems is discussed. A new modeling strategy is proposed in the second part of this text. On the basis of a symbolic implementation of dedicated formalisms, the author proposes to generate the symbolic submodels for the mechanical and the electrical parts separately and to couple the obtained equations into one global symbolic model, provided to the numerical integrator. This modeling strategy is then applied to several applications. Firstly, simple electrical circuits and electromechanical systems are considered in order to validate the tools which were developed during this work. The validation was achieved by comparison with existing modeling tools and also with experimental measurements. Secondly, more complex industrial applications are presented : 1. a parking gate system, consisting in a flexible barrier mounted on a six-bar mechanism driven by a three phase induction motor, 2. an articulated railway bogie actuated by two induction motors.

Dans cette thèse nous avons proposé une méthode d’étude des variations paramétriques pour les systèmes mécatroniques continus et hybrides puis une approche du tolérancement mécatronique. Nous avons d’abord étudié les différentes approches existantes pour la prise en compte de la variation de paramètres. Pour les systèmes continus à paramètres variables nous avons choisi la méthode des inclusions différentielles. Nous avons repris l’algorithme de Raczynski et nous avons développé un algorithme d’optimisation qui se base sur la méthode du steepest descent, avec une extension permettant d’obtenir l’optimum global. Pour les systèmes hybrides, contenant des évolutions continues et des sauts discrets, et qui présentent des variations paramétriques, nous avons choisi le formalisme de l’inclusion différentielle impulsionnelle comme outil de modélisation. Nous avons repris ce formalisme et identifié ses éléments sur un système mécatronique. Nous avons développé des algorithmes de résolution des inclusions différentielles impulsionnelles pour un puis pour plusieurs paramètres variables. Pour visualiser les résultats, les algorithmes développés ont été implémentés sous Mathématica. Nous avons fini cette partie par une comparaison entre notre approche et d’autres comme celles autour des automates hybrides à invariant polyèdre, les inclusions différentielles polygonales et l’algorithme pratique de résolution des inclusions différentielles. Nous avons montré alors certains avantages de notre approche. En dernière partie, nous avons repris les différents outils utilisés et résultats obtenus pour définir et affiner notre approche du tolérancement. Nous avons défini la zone du fonctionnement désiré, les différents cas de figures qu’elle peut présenter et son intersection avec le domaine atteignable. Nous avons présenté un outil métrique basé sur la distance topologique de Hausdorff pour le calcul des distances entre ces différents ensembles. Munis de ces éléments, nous avons proposé une démarche itérative pour le tolérancement dans l’espace d’état. / In this thesis we proposed a method for the study of parametric variation for continuous and hybrid systems and an approach for mechatronics tolerancing. We first studied the different existing approaches to take into account the variation of parameters. For continuous systems with variable parameters we chose the method of differential inclusions. We took the Raczynski algorithm and we have developed an optimization algorithm which is based on the steepest descent method with an extension to obtain global optimum. For hybrid systems, containing continuous evolutions and discrete jumps, and have parametric variations, we have chosen the formalism of impulse differential inclusion as a modeling tool. We took this formalism and identified its components on a mechatronic system. We have developed algorithms for solving impulse differential inclusions for several variable parameters. To view the results, the developed algorithms were implemented in Mathematica. We ended this part by a comparison between our approach and others like those around hybrid automata invariant polyhedron, polygonal differential inclusions and practical algorithm for solving differential inclusion. We showed then some advantages of our approach. In the last part, we organized the different tools used and results obtained to define and refine our approach to tolerancing. We defined the area of the desired operation, the various scenarios that may present, and its intersection with reachable area. We presented a metric tool based on topological Hausdorff distance for the calculation of distances between the different sets. With these elements, we proposed an iterative approach to tolerancing in the state space.

Le travail présenté concerne la modélisation d'actionneurs piézoélectriques utilisés comme générateur de vibrations mécaniques pour l'assistance à la mise en forme de matériaux massifs. L'actionneur multicouche est monté en mode encastré-libre et seule la direction de déplacement longitudinale est considérée dans le cadre de ces travaux de recherche. La modélisation est fondée sur l'application du principe d'Hamilton pour établir les équations du mouvement du système global. L'approche analytique utilise une décomposition modale pour résoudre les équations de fonctionnement de l'actionneur piézoélectrique. Un modèle de type fonction de transfert entrées-sorties permet l'analyse des réponses dans les domaines temporel et fréquentiel. La difficulté du modèle analytique est de recalculer toutes les données modales dés que les conditions aux limites sont modifiées. Une approche par éléments finis placés selon la direction longitudinale de l'actionneur est également développée. Par comparaison au modèle analytique, une étude de la précision de modèle par éléments finis fonction du nombre d'éléments est effectuée. Les deux modèles développés sont ensuite couplés à un modèle analytique simplifié du procédé de forgeage basé sur des lois viscoplastiques afin de modéliser l'ensemble du procédé soumis à des vibrations mécaniques. Le principal avantage de ce modèle tient en la possibilité d'analyser et d'optimiser l'ensemble actionneur-procédé.Une comparaison entre les simulations par éléments finis sous Forge2008®, le modèle de couplage et les essais expérimentaux est présentée. Lors des essais, l'actionneur piézoélectrique alimenté par un onduleur de tension commandé en modulation à largeur d'impulsion fait vibrer la matrice inférieure à des amplitudes allant de 0 à et 80 um des fréquences entre 10 et 130Hz. La comparaison des résultats expérimentaux et des simulations dans le cas d'un écrasement plan est encourageante. La modélisation du comportement du dispositif expérimental constitue un élément de base d'un futur outil de conception des dispositifs mécaniques vibrants / The work presented concerns the modelling of piezoelectric actuators used as a generator of mechanical vibrations for assistance in shaping bulk materials. The multilayer actuator is set in clamped-free mode and only the direction of longitudinal displacement is considered in the context of this research. The modelling is based on the application of Hamilton principle to establish the equations of motion of the global system. The analytic approach uses a modal composition to solve the equations of operation of the piezoelectric actuator. A transfer function of Multiple-Input Multi-Output (MIMO) systems permits the analysis of the responses in time and frequency domains. The difficulty of the analytical model is to recalculate all the modal data when the boundary conditions are changed. A finite element approach placed along the longitudinal direction of the actuator is also developed. Compared to the analytical model, a study of the accuracy of finite element model function of the number of elements is performed. The two models developed are then coupled to a simplified analytical model of the forging process based on viscoplastic laws in order to model the entire process subject to mechanical vibrations. The main advantage of this model lies in the ability to analyze and optimize the entire process actuator. A comparison between the finite element simulations under Forge2008®, the coupling model and experimental tests is presented. During testing, the piezoelectric actuator fed by Pulse Width Modulated voltage inverter vibrates the lower die at amplitudes ranging from 0 to 80 um and frequencies between 10 and 130Hz. The comparison of experimental results and simulations in the case of upsetting process is encouraging. The modelling of the behaviours of the experimental device constitutes a basic element of a future design tool of vibrating mechanical devices

Le verrou de l'intégration de la simulation multi-physique dans la conception des systèmes mécatroniques est lié, entre autres, aux problèmes d'interopérabilité entre les outils de simulation. Ces problèmes engendrent des difficultés pour assurer des optimisations multidisciplinaires. Dans cette thèse, nous avons développé une approche de conception intégrée permettant de franchir cet obstacle. Cette approche s'appuie sur l'utilisation d'une plateforme d'intégration permettant de coupler divers outils de modélisation et de simulation. La modélisation du comportement multi-physique des composants au niveau détaillé est assurée par les méta-modèles, également utilisés pour l'optimisation multidisciplinaire des composants du système mécatronique. Ces méta-modèles permettent aussi d'intégrer le comportement multi-physique des composants et des modules mécatroniques pour la simulation au niveau système. Cette approche a été validée avec une modélisation d'un véhicule électrique. Ainsi, le niveau conceptuel de modélisation a été effectué avec le langage de modélisation des systèmes SysML et la véri_cation d'un test de performance d'accélération a été réalisée avec le langage de modélisation Modelica. Le module de conversion de puissance électrique du véhicule avec les fils de bonding a été modélisé avec la CAO 3D et son comportement multi-physique a été vérifié avec la méthode des éléments finis. Des méta-modèles sont ainsi élaborés en utilisant les techniques de surfaces de réponse et les réseaux de neurones de fonctions à base radiale. Ces méta-modèles ont permis ensuite d'effectuer des optimisations géométriques bi-niveaux du convertisseur de puissance et des fils de bonding. Le comportement électro-thermique du convertisseur de puissance et celui thermo-mécanique des fils de bonding ont été alors intégrés au niveau système à travers les méta-modèles. Les résultats montrent la flexibilité de l'approche du point de vue échange des méta-modèles et optimisation multidisciplinaire. Cette approche permet ainsi un gain très important du temps de conception, tout en respectant la précision souhaitée.

Ce mémoire présente une synthèse des travaux de recherche conduit par l'auteur depuis la fin de sa thèse de doctorat en 2000. Ces travaux se situent dans le cadre des sciences de l'ingénieur et s'intéressent plus particulièrement à la modélisation et à la commande des systèmes mécatroniques. En effet, les dispositifs techniques construits par l'homme étant de plus en plus complexes, leur conception requière de plus en plus de compétences et de connaissances pluridisciplinaires. De plus, le processus de conception de ces dispositifs nécessitent désormais d'importantes phases préliminaires de modélisation. Celles-ci permettent de prédire le comportement du système conçu et ainsi d'aider à sa conception, non seulement au niveau du dispositif lui même (partie matérielle) mais également au niveau de la commande qui permettra d'atteindre les performances désirées (partie logicielle). Les travaux abordés portent plus spécifiquement sur les dispositifs micro-mécatroniques, c'est-à-dire sur les systèmes de très petite taille ou de grande précision mettant en oeuvre simultanément des parties électriques, mécaniques, thermodynamiques et informatiques dans lesquelles les phénomènes de couplages multiphysiques sont prépondérants. La réduction d'échelle influe fortement sur la conception, la réalisation et le fonctionnement de ces dispositifs, c'est pourquoi elle doit être prise en compte comme une contrainte de conception à part entière. Le manuscrit s'organise autour de trois grandes problématiques scientifiques qui sont abordés successivement dans trois chapitres. Après avoir présenté quelques règles et contraintes de conception associées aux micro-systèmes, le premier chapitre présente les outils de modélisation développés pour la conception et la simulation de micro-systèmes robotiques réalisés en technologie « salle blanche ». Le deuxième chapitre s'intéresse à la modélisation et à la conception de dispositifs micro-robotiques pour des applications de micro-manipulation (fonctions de préhension, de perception et de positionnement). Enfin le troisième chapitre aborde la problématique de la miniaturisation des systèmes de positionnement à haute résolution et le remplacement des systèmes classiques par des actionneurs utilisant des matériaux actifs. Ces travaux abordent principalement les matériaux piézoélectriques et les alliages à mémoire de forme magnétique. Les différents travaux de modélisation présentés dans cette HDR ont permis de concevoir un certain nombre de dispositifs réels sur lesquels ont pu être expérimentées les stratégies de commande développées au cours de ces années de recherche. Les performances de ces dispositifs ont été évaluées et confrontées aux résultats théoriques issus de simulations sur les modèles développés et présentés dans le document.

Dans le domaine de la méctronique, l'utilisation de matériaux actifs est en constante évolution en raison de l'arrivée de nouveaux matériaux toujours plus performants. Les Alliages à Mémoire de Forme Magnétiques (AMFMs) sont des matériaux actifs apparus relativement récemment qui peuvent se déformer de 6 à 10 % sous l'application d'un champ magnétique. Permettant un actionnement rapide avec des déformations importantes, ces alliages sont des bons candidats pour la conception de nouveaux actionneurs. Cependant, ils présentent des caractéristiques non-linéaires avec hystérésis qu'il faut prendre en compte dès la phase de conception et de développement de leur commande afin d'améliorer les performances des nouveaux systèmes. Dans cette thèse, nous proposons une modélisation des AMFMs basée sur la thermodynamique des processus irréversibles à variables internes prenant en compte les effets du champ magnétique, des contraintes mécaniques appliquées ainsi que de la température. Une modélisation dynamique non-linéaire de systèmes mettant en oeuvre des AMFMs est également développée en utilisant les formalismes de Lagrange et Hamilton. Ces modèlisations énergétiques nous permettent de proposer des nouvelles structures d'actionneurs ainsi que des nouvelles lois de commande hybrides bien adaptées au comportement dynamique hystérétique de ce type d'actionneurs. Les résultats théoriques de ces études sont validés par des réalisations de prototypes et des essais expérimentaux.

Le pré-dimensionnement se situe en amont du processus de conception d'un système : à partir d'un ensemble d'exigences, il consiste à déterminer un ensemble de solutions techniques possibles dans un espace de recherche souvent très grand et structuré par une connaissance partielle et incertaine du futur système et de son environnement. Bien avant de penser au choix définitif des composants et au dimensionnement précis du système complet, les concepteurs doivent s'appuyer sur un premier cahier des charges, des modélisations des principaux phénomènes et divers retours d'expériences pour formaliser des contraintes, faire des hypothèses simplificatrices, envisager diverses architectures et faire des choix sur des données imprécises (i.e. caractérisées sous la forme d'intervalles, de listes de valeurs possibles, etc…). Les choix effectués lors du pré-dimensionnement pouvant être très lourds de conséquences sur la suite du développement, il est primordial de détecter au plus tôt d'éventuelles incohérences et de pouvoir vérifier la satisfaction des exigences dans un contexte incertain. Dans ce travail, une méthodologie de vérification des exigences basée sur l'échange de modèles ensemblistes entre donneurs d'ordre et fournisseurs est proposée. Elle s'inscrit dans le cadre d'un paradigme de conception basé sur la réduction d'incertitudes. Après un travail portant sur la modélisation des systèmes mécatroniques, une attention particulière est portée à la prise en compte d'incertitudes déterministes sur des grandeurs continues : des techniques basées sur l'analyse par intervalles telles que la satisfaction de contraintes (CSP), des calculs d'atteignabilité pour des modèles dynamiques de connaissances ou encore l'identification de modèles de comportements ensemblistes sont ainsi mis en œuvre et développés afin d'outiller la méthodologie proposée et contribuer à répondre à l'objectif d'une vérification à couverture garantie. / The pre-sizing takes place upstream to the process of designing a system: from a set of requirements, it consists in determining a set of possible technical solutions in an often very large search space which is structured by the uncertain and partial knowledge available about the future system and its environment. Long before making the final choice and the final sizing of the system components, the designers have to use specifications, models of the main phenomena, and experience feedbacks to formalize some constraints, make simplifying assumptions, consider various architectures and make choices based on imprecise data (i.e. intervals, finite sets of possible values, etc…). The choices made during the pre-sizing process often involving strong commitments for the further developments, it is very important to early detect potential inconsistencies and to verify the satisfaction of the requirements in an uncertain context. In this work, a methodology based on the exchange of set-membership models between principals and suppliers is proposed for the verification of requirements. This methodology is fully consistent with a design paradigm based on the reduction of uncertainties. After a work dedicated to the modeling of mechatronic systems, a special attention is paid to dealing with deterministic uncertainties affecting continuous values: some techniques based on interval analysis such as constraint satisfaction (interval CSP), reachability computations for knowledge dynamic models or identification of set-membership behavioral models are used and developed, so providing a set of tools to implement the proposed methodology and contribute to reach the goal of a verification with a full and guaranteed coverage.

En propulsion électrique, le freinage régénératif consiste à récupérer l’énergie cinétique du véhicule en freinant la roue propulsée avec la motorisation électrique. Afin d'optimiser la quantité d'énergie récupérée à partir du freinage électrique, la plupart des études antérieures proposent des stratégies qui consistent à définir le couple de freinage en fonction de la vitesse du véhicule. Dans cette étude nous proposons une stratégie originale qui consiste à commander le glissement de la roue freinée en fonction de la vitesse du véhicule. Les deux principales hypothèses qui ont motivé ce travail sont que cette stratégie de récupération, réglée à l’optimum, est moins sensible aux incertitudes et qu’elle permet d’éviter une perte d’adhérence de la roue, étant donné que le glissement est contrôlé. L’objectif ultime est de démontrer expérimentalement qu’il est possible de mettre en œuvre une telle approche sur un véhicule électrique afin d'assurer une récupération optimale de l'énergie tout en assurant la stabilité du véhicule. Le premier volet de cette étude est d’étudier l’avantage de la stratégie de commande du glissement quand elle est globalement optimisée au sens de maximiser la récupération d’énergie en considérant le rendement énergétique de la chaine électrique et des pertes mécaniques. Pour cela, un simulateur basé sur Matlab/Simulink a été développé et validé par des mesures expérimentales. La nouvelle stratégie en glissement est alors comparée en simulation à d’autres stratégies, et sa sensibilité est évaluée par rapport à des incertitudes paramétriques sur l’inclinaison de la route, la masse et les conditions routières. Les simulations numériques, validées par des essais expérimentaux, montrent qu’un freinage régénératif qui commande le glissement est la stratégie la moins sensible aux variations paramétriques. Le deuxième volet de cette étude porte sur la synthèse et la mise en œuvre d’un contrôleur temps-réel, embarqué sur un véhicule électrique à trois roues, afin de procéder à des tests routiers de la stratégie en glissement. Considérant qu'il n'est pas possible de mesurer directement le glissement, il doit être estimé en temps réel à partir des mesures des encodeurs des roues. Pour ce faire, un modèle d’état non-linéaire du comportement du système de propulsion électrique, incluant la dynamique du glissement, a été expérimentalement identifié. Ce modèle original, combiné à un modèle classique de dynamique longitudinale du véhicule, est utilisé pour la synthèse et la comparaison de deux observateurs de Kalman étendu. Finalement, un estimateur d’adhérence, basé sur un algorithme d’identification de type RLS-[lambda], est mis en place pour corriger en-ligne un facteur lié à l’adhérence. Il devient ainsi possible d’estimer avec précision le glissement de la roue motrice, même en présence de variations paramétriques importantes. Un contrôleur non-linéaire temps réel a été développé et implanté dans le but de suivre une consigne de glissement optimal. Considérant la présence d’un retard pur important dans la chaine de contrôle, le contrôleur se décompose en une partie boucle ouverte afin d’atteindre rapidement la consigne de couple et une rétroaction non-linéaire afin de corriger finement la valeur finale. La synthèse des compensateurs (boucle ouverte et rétroaction) se base sur une linéarisation par morceaux du système à contrôler: les paramètres du modèle d’état sont fixés pour une commande de couple de freinage donnée. La structure de contrôle implantée a été réduite afin de minimiser la puissance de calcul requise. La combinaison de l’observateur de glissement avec le contrôleur de glissement a permis de valider expérimentalement la stratégie de freinage par glissement sur un véhicule électrique. Les conditions de la route (niveau d’adhérence) ont été modifiées pour valider la robustesse du contrôleur sur une surface glissante.

Cette thèse commence avec un état de l’art des domaines d’études importants pour notre objectif (différentes techniques usuelles de réduction des vibrations en usinage, méthodes de contrôle actif) avant de valider le principe de contrôle actif du fraisage en se plaçant en repère fixe. On a alors développé un modèle d’état d’une poutre d’Euler Bernoulli perturbée en un point et corrigée en un autre via un actionneur piézoélectrique. Ce modèle a permis d’obtenir plusieurs compensateurs, suivant différentes stratégies de commande. Nous avons par la suite procédé, d’un point de vue expérimental, à l’étude sur un dispositif similaire à notre besoin d’un point de vue de l’actionnement et des ordres de grandeurs (amplification mécanique, gamme de fréquences etc.). Les stratégies de commande robustes que nous avons développé pour pouvoir atténuer les déplacements vibratoires de cette poutre ont conduit à des résultats concluants présentés dans le même chapitre, d’abord en simulation (qui nous a permis une étude comparative), avec ou sans la présence du processus d’usinage, puis expérimentalement. La robustesse de ces stratégies de commande a été étudiée (en simulation) en ajoutant des incertitudes au modèle étudié de différentes manières. Ensuite, nous avons identifié le modèle du système étudié, déterminé les correcteurs correspondants et testé ces derniers sur notre banc d’essai pour valider le bon fonctionnement des différentes stratégies de contrôle utilisées tout le long de cette thèse. Enfin, pour préparer un déploiement de ces stratégies en repère tournant (porte-outil de contrôle actif), nous avons modélisé et implémenté les mêmes démarches pour le cas où l’actionnement se situe en repère tournant et concerne deux axes simultanément, situés dans le plan XY du porte-outil. Nous avons d’abord étudié les vibrations transversales d’une poutre en rotation dans le cas général avant de négliger les phénomènes d’inertie et gyroscopique. En effet, on s’intéresse au contrôle actif du fraisage particulièrement dans les applications de finition, là où on utilise des outils longs de faibles diamètres. Les nouvelles expressions des deux fonctions de transfert de notre système usinant ont été déterminées pour obtenir sa représentation d’état, clé du contrôle actif. La projection du processus de coupe sur le repère tournant est indispensable pour effectuer les simulations du fraisage via le porte outil actif. Ce dernier chapitre met en relief les perspectives de cette thèse, à savoir le contrôle actif du fraisage quelque soit le type de l’opération ou du diamètre de l’outil avec un porte outil mécatronique destiné pour ce genre d’opérations. / This thesis deals with the fields of study which are important for our objective (different usual vibration reduction techniques in machining, active control methods) before validating the principle of active control of milling in a fixed reference. We then developed a state space model of an Euler Bernoulli beam excited at one point and corrected in another one by a piezoelectric actuator. This model allowed us to obtain several compensators, according to different control strategies. We then proceeded from an experimental point of view to study a device similar to our need from an actuating point of view and levels of magnitude (mechanical amplification, frequency range, etc.). ). The robust control strategies that we have developed to attenuate the vibratory displacements of this beam have led to conclusive results presented in the same chapter, first in simulation (which allowed us a comparative study), with and without the cutting process and then experimentally. The robustness of these control strategies was studied (in simulation) by adding uncertainties to the model in different ways. Then we have identified the model of the system, calculated the corresponding compensators and tested them on the test bench in order to validate the good functioning of the different control strategies used in this thesis. Finally, in order to use these strategies in rotating reference (active control tool holder), we have modeled and implemented the same steps for the case where the actuation is located in rotating reference and concerns two axes simultaneously, located in the XY plane of the tool holder. We first studied the transverse vibrations of a rotating beam in the general case before neglecting the inertia and gyroscopic phenomena. Actually, we are interested in the active control of milling, particularly in finishing applications, where long tools of small diameters are used. The new expressions of the two transfer functions of the system have been determined to obtain its state space representation, key of the active control. Projection of the cutting process on the rotating reference is essential to perform milling simulations with the active tool holder. This last chapter highlights the prospects of this thesis,that is the active control of the milling for all kinds of milling operations as well as for different tools with a mechatronic tool holder aimed for this kind of operation.

L'importance croissante des systèmes électroniques embarqués implique de les rendre de plus en plus sûrs. En effet, certains systèmes tels que les systèmes mécatroniques fonctionnent dans des conditions environnementales sévères les exposants à des erreurs dues aux perturbations. Ainsi, les concepteurs doivent considérer ces erreurs avec attention pour élaborer des remèdes adaptés. Dans ce travail, un intérêt particulier est porté sur la sûreté de fonctionnement des architectures de processeur. Le paradigme du processeur à pile a été choisi puisqu'il présente un bon compromis entre simplicité et efficacité. L'approche que nous avons proposée, évaluée et validée, est basée sur le développement et l'exploitation d'un émulateur logiciel du processeur. La sûreté de fonctionnement est assurée par une exploitation mixte de techniques de protection : une détection matérielle d'erreurs et une correction logicielle. La technique de correction est implantée dans des benchmarks et est validée dans l'émulateur à travers une simulation de différents scenarii d’apparition d’erreurs. Divers paramètres sont évalués tels que la capacité de correction et le surcoût temporel. Cette technique de correction est indépendante de l'application et des moyens de détection, ce qui confirme l'aspect méthodologique de la démarche. Par ailleurs, dans le cadre de la collaboration sollicitée par le projet CIM'Tronic, nous avons fait converger nos travaux avec ceux de l'équipe du CRAN de Nancy/A3SI de Metz en appliquant l'approche du flux informationnel sur le jeu d’instructions du processeur. Nous avons montré la capacité de cette approche d'évaluer la fiabilité de l'ensemble processeur/application / Nowadays, embedded systems are becoming increasingly attractive for many applications. Furthermore, these systems should be more and more dependable. Indeed, systems such as mechatronic or automatically controlled ones often work in harsh environmental conditions making them more prone to errors due to disturbances. Thus, designers should consider ways to protect them against such errors. In this work, a special interest is dedicated to processor architecture dependability as we consider processor-based systems. The stack computer philosophy has been chosen for the processor architecture in order to achieve a good trade-off between simplicity and effectiveness. Our approach to introduce and evaluate the dependability is based on the development and the use of a software emulator of the processor to be designed. Dependability of the processor is ensured through the collaborative use of hardware and software protection techniques: hardware error detection means and software error correction means. The correction technique is implemented in benchmarks and is validated on the emulator through a simulation of various scenarios of errors appearance. Different parameters are evaluated such as correction capability and time overhead. This correction technique is independent from the target application and from the detection means, what confirms the methodological aspect of our approach. Otherwise, as requested by the CIM’tronic project, we integrated our work with the CRAN Nancy/A3SI Metz one by applying the information flow approach on the processor instruction set. We showed the ability of this approach to evaluate the whole processor/application dependability