Un Système de production peut être représenté par les systèmes à événements discrets. En dehors de la planification (où les gens travaillent avec des ratios de produits fabriqués par semaine ou par jour), la modélisation pourrait être basée sur les concepts d'événement et d'activités. Un événement correspond à un changement d'état. Une activité est une boîte noire d'encapsulation de ce qui se passe entre deux événements. En utilisant les réseaux de Petri (RdP), les événements sont représentés par les transitions, et les activités par les lieux. Notre travail propose une synthèse de commande par supervision pour les systèmes d'événements discrets modélisés par une classe de réseaux de Petri appelé graphe d'événements. L'objective de cette thèse est de concevoir un superviseur capable d'aider à améliorer la performance de système et de protéger le système en respectant des spécifications données par le fabricant ou le client selon les besoins et les conditions de travail. Pour modéliser ces spécifications, nous avons proposé un nouveau modèle mathématique de contrainte, appelé Contrainte d'Exclusion de Marquage (CEM). La deuxième contribution principale de ma thèse est de synthétiser une technique efficace et simple pour construire un superviseur qui impose le système de respecter des contraintes en évitant l'ensemble des états interdits modélisé par CEM. Nous avons également développé cette synthèse pour résoudre le problème d'existence des événements incontrôlables et des événements inobservables. Parfois, afin d'étudier les aspects liés à la performance, nous devons prendre le temps en considération. Donc, nous avons résolu aussi le problème des événements temporisé en utilisant RdP temporisés soumis à CEM / A manufacturing system may be represented by Discrete Event System (DES). Apart from planning (where people work with ratios of products fabricated per week or per day), any modelling could be based on the concepts of event and activities. An event corresponds to a state change. An activity is a black-box summarizing what is occurring between two events. When using Petri Nets, events are associated with transitions, and activities with places. Our work proposes a supervisory synthesis for Discrete Event System modelled by a class of Petri Net called Marked Graph. The objective of this synthesis is to build a control law that enforces the system to respect a set of given specifications. To model these specifications, we propose new mathematical formulas called Marking Exclusion Constraint (MEC). This model is our first contribution. The Second main contribution of my thesis is to synthesize a computationally efficient technique to build a supervisor that enforces the system to respect the constraints by avoiding a set of forbidden states modelled by MEC specifications. We extend this synthesis technique to solve the problem in the presence of uncontrollable events and unobservable events. Sometimes in order to study the performance aspects, we must take in consideration the time data. Thus we address control synthesis for Timed Discrete Event Systems under MEC specifications by using Timed Petri Nets

Si le problème d'équilibrage lors de la conception de lignes d'assemblage est largement étudié dans la littérature sous le nom d’ALBP (Assembly Line Balancing Problems), peu de travaux concernent leur rééquilibrage dans un horizon court terme et en-ligne. Les travaux présentés dans ce mémoire portent donc sur le rééquilibrage dynamique des lignes d’assemblage en réaction aux événements court terme perturbants la production. L’objectif étant de changer l’allocation des taches sur les postes de travail afin de lisser la charge induite par la perturbation. Le délai court sans arrêt de production étant plus important que l'optimalité de la solution, le temps de résolution rapide des méthodes de résolution approchées nous a intéressé. Deux approches ont été étudiées pour leur simplicité et leur nouveauté dans le domaine du ALBP : la méthode ILS (Iterated Local Search) et la recherche d’atteignabilité sur un réseau d’automates communicants. Cela nous a montré qu'elles peuvent répondre au besoin de réactivité imposé par notre problème mais qu’elles sont difficilement adaptables lorsque les leviers d’action pour rééquilibrer la ligne sont modifiés. Notre proposition pour répondre à ce besoin d’adaptabilité est une méthodologie de modélisation et de résolution des problèmes de rééquilibrage des lignes d’assemblage s’appuyant sur un réseau d’automates communicants et une recherche d’atteignabilité sur celui-ci. Pour assurer la généricité, la méthodologie est décomposée en deux niveaux d’abstraction : l'étude de la classe du problème ALBP considéré et al résolution du problème spécifique. Les travaux ont été validés sur des exemples industriels issus de la société Trane. / Assembly lines are flow-oriented production systems. They are still typical in industrial production systems despite the evolution from mass-production to more personalized and fluctuating production. In order to meet customer demand (quantity, time, etc.) and to reduce manufacturing costs, the lines must be well balanced. In other words, the products need to move from one workstation to another with the same pace, usually called takt time. This assembly line design problem is widely studied in the literature under the name of ALBP (Assembly Line Balancing Problems). Nonetheless, few studies concern the on-line reconfiguration and in particular, the dynamic rebalancing. The work presented in this thesis focuses on the dynamic rebalancing of assembly lines in response to short-term events disturbing production. Two approaches have been studied for their simplicity, speed of implementation and innovation in the field of ALBP: the ILS approach (Iterated Local Search) and the reachability analysis approach based on a network of communicating automata. This study showed that both approaches can address the need for a quick resolution required by dynamic rebalancing problem but lacked for adaptation when model constraints or objectives are changed. A methodological approach for assembly line balancing problems modeling and resolution is proposed to bridge the gap of adaptability. To ensure the genericity of obtained models., the methodology is composed of two levels of abstraction: a study of the class of the considered problem and a focus on the specific problem to solve. Studies have been validated on industrial examples from Trane factories.

Depuis plusieurs années, un nouveau phénomène lié aux données numériques émerge : des données de plus en plus volumineuses, variées et véloces, apparaissent et sont désormais disponibles, elles sont souvent qualifiées de données complexes. Dans cette thèse, nous focalisons sur un type particulier de données complexes : les séquences complexes d’événements, en posant la question suivante : “comment prédire au plus tôt et influencer l’apparition des événements futurs dans une séquence complexe d’événements ?”. Tout d’abord, nous traitons le problème de prédiction au plus tôt des événements. Nous proposons un algorithme de fouille de règles d’épisode DEER qui a l’originalité de maîtriser l’horizon d’apparition des événements futurs à travers d’une distance imposée au sein de règles extraites. Dans un deuxième temps, nous focalisons sur la détection de l’émergence dans un flux d’événements. Nous proposons l’algorithme EER pour la détection au plus tôt de l’émergence de nouvelles règles. Pour augmenter la fiabilité de nouvelles règles lorsque leur support est très faible, EER s’appuie sur la similarité entre ces règles et les règles déjà connues. Enfin, nous étudions l’impact porté par des événements sur d’autres dans une séquence d’événements. Nous proposons l’algorithme IE qui introduit la notion des “événements influenceurs” et étudie l’influence sur le support, la confiance et la distance à travers de trois mesures d’influence proposées. Ces travaux sont évalués et validés par une étude expérimentale menée sur un corpus de données réelles issues de blogs / For several years now, a new phenomenon related to digital data is emerging : data which are increasingly voluminous, varied and rapid, appears and becomes available, they are often referred to as complex data. In this dissertation, we focus on a particular type of data : complex sequence of events, by asking the following question : “how to predict as soon as possible and to influence the appearance of future events within a complex sequence of events?”. First of all, we focus on the problem of predicting events as soon as possible in a sequence of events. We propose DEER : an algorithm for mining episode rules, which has the originality of controlling the horizon of the appearance of future events by imposing a temporal distance within the extracted rules. In a second phase, we address the problem of emergence detection in an events stream. We propose EER : an algorithm for detecting new emergent rules as soon as possible. In order to increase the reliability of new rules, EER relies on the similarity between theses rules and previously extracted rules. At last, we study the impact carried by events on other events within a sequence of events. We propose IE : an algorithm that introduces the concept of “influencer events” and studies the influence on the support, on the confidence and on the distance through three proposed measures. Our work is evaluated and validated through an experimental study carried on a real data set of blogs messages

L'étude présentée dans ce mémoire concerne le diagnostic des machines électriques à l'aide d'une association innovante entre la modélisation à évènements discrets, la Simulation Comparative et Concurrente (SCC) et les Réseaux de Neurones Artificiels (RNAs). Le diagnostic des machines électriques est effectué à partir d'une analyse temporelle des signaux statoriques et rotoriques à l'aide de réseaux de neurones de type Feed-Forward. Afin de comparer les différentes configurations de ces réseaux de neurones, l'approche proposée dans ce document utilise la simulation comparative et concurrente implémentée grâce au formalisme à évènements discrets DEVS (Discrete EVent system Specification). L'intégration des algorithmes de la SCC et des RNAs au sein du formalisme DEVS a été effectuée de manière générique et indépendamment du simulateur en développent des extensions et une librairie de modèles dans l'environnement de modélisation et de simulation à évènements discrets DEVSimPy. L'application de cette nouvelle solution pour le diagnostic des machines électriques permet de détecter les défauts à partir d'une architecture logiciel facilement portable sur des systèmes embarqués de type FPGA. / This thesis deals with the time-domain analysis of the electrical machines fault diagnosis due to early short-circuits detection in both stator and rotor windings. It also introduces to the Discrete EVent system Specification (DEVS) a generic solution to enable concurrent and comparative simulations (CCS). The DEVS-based CCS is an extension introduced using an aspect-oriented programming (AOP) to interact with the classic DEVS simulator. A new DEVS-based artificial neural network (ANN) is also introduced with a separation between learning and calculation models. The DEVS-based CCS is validated on the proposed ANN DEVS library inside the DEVSimPy environment. The concurrent ANN contributes in the time-domains analysis for the electrical machine fault diagnosis. This new method is based on data coming directly from the sensors without any computation but with a new dedicated preprocessing technique. Later, some enhancements are brought to the artificial neural network based on a new multistage architecture reducing the training time and errors compared to the single ANN. The new architecture and techniques has been validated on real data sixteen non-destructive windings faults analysis and localization.

Ce travail de thèse porte sur l'étude du comportement morphodynamique d'une plage de poche, partiellement aménagée, lors des événements de tempête. La plage de Zarautz (Espagne) a été choisie comme site d'étude en raison de son climat de vagues et de sa configuration. La plage est limitée latéralement par des falaises rocheuses. Elle présente un système dunaire sur la partie est et une digue aménagée en promenade sur le reste de la plage. Le climat de houle au large de Zarautz (bouée de Bilbao) est caractérisé par une faible variabilité directionnelle. Dans 95 % des cas, les vagues proviennent de directions comprises entre l'Ouest (O) et le Nord (N). Les conditions de vague à l'approche de la plage de Zarautz sont quasi unidirectionnelles et peuvent présenter une variabilité longitudinale. La variabilité temporelle et spatiale des barres sableuses d'avant côte, a été étudiée à partir de l'analyse d'images vidéo enregistrées quotidiennement sur une période de deux années. Les résultats montrent que d'un point de vue hydrodynamique la plage se comporte la plupart du temps comme une plage ouverte. Toutefois, elle peut également présenter une circulation de type cellulaire au cours des événements de haute énergie. La morphologie de la plage présente une grande variabilité spatiale et temporelle. On remarque également des différences morphologiques notables entre la partie aménagée et la partie est de la plage. Pour étudier la réponse morphologique de la plage à des événements de haute énergie, des relevés topographiques ont été menés avant et après plusieurs tempêtes. Les courants d'arrachement, stables et persistants pendant des conditions énergétiques modérées à fortes peuvent éroder localement la zone intertidale de la plage. Dans des conditions de haute énergie et lors de marées de vives eaux le haut de plage et le cordon dunaire sont érodés. A l'inverse, lors de conditions de haute énergie qui coïncident avec des marées de mortes-eaux, l'évolution de l'estran, de l'arrière-plage et de la dune sont essentiellement contrôlées par les caractéristiques des vagues plutôt que par l'amplitude de la marée. Afin d'analyser et de compléter les résultats obtenus, une étude numérique a été réalisée à partir du code open source XBeach. En raison de l'absence de données de bathymétrie, le modèle d'assimilation de données Beachwizard a été utilisé afin d'estimer la bathymétrie à partir des images collectées par la station vidéo. La possibilité de forcer ce modèle avec des conditions de vagues variables le long de la limite du domaine de calcul a été mise en œuvre. Les résultats montrent que la prise en compte de conditions limites variables améliore la capacité du modèle à estimer la bathymétrie. Les tests de calibration du modèle XBeach révèlent que les résultats peuvent varier considérablement en fonction des paramètres choisis. Toutefois, les résultats du modèle XBeach semblent peu sensibles aux caractéristiques du spectre de vagues utilisé pour forcer le modèle. Une série de simulations ont été réalisées afin d'étudier le cluster de tempêtes de Février 2013 en analysant non seulement l'influence de la chronologie des différentes tempêtes mais aussi du niveau d'eau au cours de cette période. Ces simulations ont permis de mettre en évidence que les mouvements sédimentaires sont dominés par un transfert de sable de la dune vers la zone intertidale sans période de reconstruction de la dune. L'érosion des différentes sections de la plage est fortement corrélée au niveau d'eau. L'érosion de la dune et de l'arrière-plage ne se produit que lorsque les niveaux de marée élevés prévalent alors que la zone intertidale est érodée à marée basse. Il apparaît que l'impact des tempêtes sur la plage est beaucoup plus dépendant du niveau d'eau que de la chronologie des événements énergétiques au cours d'un cluster de tempêtes. / The aim of this study is to understand the response of engineered pocket beaches to storms. To that end, a series of video images, field topographical measurements and depth-averaged (2DH) process-based model have been used. The beach of Zarautz was chosen as a study site due to its wave climate characteristics and beach configuration. It is an embayed beach composed by two well defined regions, a dune system and an engineered section. The offshore wave climate is characterised by a low directional variability. The 95 % of the cases ranges from W to N directions. The high energetic events are seasonally variable. Most of the storms take place during winter and autumn. The wave climate at the beach of Zarautz is almost unidirectional and it presents certain alongshore variability. The temporal and spatial variability of nearshore sandbars, using daily video observations over 2 years was carried out. In general the beach acts as an open beach like circulatory system but it may present cellular and transitional circulation during high energy events. The nearshore sandbars evolution covers a wide range of temporal and spatial variability. Interestingly, the western engineered and more sheltered section of the beach sometimes exhibits a different beach state to that of the eastern section. To study the response of the beach to high energy events, systemically designed topographic surveys were undertaken before and after storm events. The location of the rip currents seems to play a role on the beach erosion. Static and persistent rips during moderate high energy conditions may erode locally the beach intertidal zone. During high energetic conditions and spring tides the beach backshore and dune area is eroded. Dune and backshore sections become important as they act as a buffer, preventing the foreshore erosion. On other hand, during high energetic conditions coinciding with neap tides, the evolution of the foreshore, backshore and dunes might be sensitive to the wave characteristics rather than to the tidal range. The findings obtained from the video images and field measurements were completed by means of the XBeach process based model. Due to the lack of a pre-storm bathymetry the XBeach-Beach Wizard model was used in order to infer the surfzone features. The possibility to force the model with non-uniform alongshore wave conditions was implemented. Results show that this new implementation improves the model skills. The XBeach calibration tests reveal that the results can vary considerably depending on the set of parameters chosen to run the model. Parameters such as short wave run-up, γ, γua, eps and hmin seem to be relevant for the model calibration. A series of storm impact simulations were performed. A chain transport mechanism was found in which the sand is transported from the dunes to the intertidal zone, and never in the other way around. The erosion of the different sections of the beach is highly related to the tidal level rather that to the wave power. The main differences in the beach response between the natural and engineered sections are related to the sand budget. The complete loss of the backshore sand makes the intertidal zone weak to the storms (the chain transport is interrupted). This scenario is only likely to happen at the engineered sector due to the narrow backshore and the absence of a dune system. Some tests were performed in order to relate the 'storm magnitude' to a certain value of beach erosion. These findings point out that, in general, the higher the storm power is, the larger is the beach erosion. However, the wave characteristics that define a given storm play an important role. Furthermore, in some cases a low power storm with high Hs and Tp can produce larger changes on the beach than a large storm with low Hs and Tp.

La Voix sur IP (VoIP) est devenue un paradigme majeur pour fournir des services de télécommunications flexibles tout en réduisant les coûts opérationnels. Le déploiement à large échelle de la VoIP est soutenu par l'accès haut débit à l'Internet et par la standardisation des protocoles dédiés. Cependant, la VoIP doit également faire face à plusieurs risques comprenant des vulnérabilités héritées de la couche IP auxquelles s'ajoutent des vulnérabilités spécifiques. Notre objectif est de concevoir, implanter et valider de nouveaux modèles et architectures pour assurer une défense préventive, permettre le monitorage et la détection d'intrusion dans les réseaux VoIP.<br /><br />Notre travail combine deux domaines: celui de la sécurité des réseaux et celui de l'intelligence artificielle. Nous renforcons les mécanismes de sécurité existants en apportant des contributions sur trois axes : Une approche basée sur des mécanismes d'apprentissage pour le monitorage de trafic de signalisation VoIP, un pot de miel spécifique, et un modèle de corrélation des évenements pour la détection d'intrusion. Pour l'évaluation de nos solutions, nous avons développés des agents VoIP distribués et gérés par une entité centrale. Nous avons développé un outil d'analyse des traces réseaux de la signalisation que nous avons utilisé pour expérimenter avec des traces de monde réel. Enfin, nous avons implanté un prototype de détection d'intrusion basé sur des règles de corrélation des événements.

Le cadre de cette thèse est la surveillance et le diagnostic de systèmes dynamiques complexes tels que les réseaux de télécommunications. Ces systèmes sont composés d'un ensemble d'équipements interconnectés. Des mécanismes liés à des capteurs permettent à un superviseur de recevoir les alarmes émises par tous les composants du réseau et de les interpréter.<br /><br />L'objectif de ces travaux est de fournir une aide à l'interprétation de ces alarmes afin d'avoir à tout moment une vision de l'état du réseau et de ses dysfonctionnements possibles. L'approche développée est issue des techniques de diagnostic à base de modèles. Elle consiste, à partir d'un modèle du fonctionnement et de dysfonctionnement des composants du réseau, à utiliser efficacement ce modèle pour analyser en-ligne le flux d'alarmes. Dans le cadre de la supervision de tels systèmes, le diagnostic consiste non seulement à établir à partir des observations les états possibles du système à un instant donné mais aussi la propagation des pannes. Nous proposons de représenter ces diagnostics sous forme de systèmes de transitions compacts (transducteurs réduits) basés sur des événements de pannes.<br /><br />Étant données la complexité et la nature répartie de ces systèmes, nous avons concentré notre étude sur l'élaboration d'une approche décentralisée de diagnostic, fondée sur le principe de "diviser pour régner". Dans un premier temps, nous établissons un ensemble de diagnostics locaux fondés sur des modèles de comportements locaux. Afin d'assurer l'efficacité de ces calculs, nous nous appuyons sur l'approche proposée par M. Sampath et al. qui consiste à construire hors-ligne une structure de données appelée "diagnostiqueur" qui rend le suivi en-ligne et la production d'un diagnostic local possible.<br /><br />Dans un deuxième temps, l'obtention du diagnostic du système est établi par fusion des diagnostics locaux. Cette fusion est nécessaire car elle permet de valider ou d'invalider les hypothèses locales de diagnostic. Une stratégie de fusion a été mise en place afin d'assurer l'efficacité de cette fusion.<br /><br />Cette thèse a été effectuée dans le cadre d'un projet RNRT : le projet Magda. Elle a abouti au développement d'une plate-forme pour le diagnostic décentralisé de systèmes dynamiques. Cette plate-forme nous a permis de valider notre approche sur deux types de réseaux : le réseau Transpac et un réseau SDH.

Le Conseil Régional de Champagne-Ardenne porte un intérêt particulier aux formations supérieures professionnalisantes en sciences et techniques. Dans ce cadre, il a été proposé de permettre l'utilisation de Systèmes Automatisés de Production (SAP) par des apprenants. Les travaux présentés dans cette thèse portent sur la conception de la commande de systèmes manufacturiers par des automaticiens au niveau de compétence variable, pouvant aller du novice jusqu'à l'expert. L'utilisation de Parties Opératives (PO) réelles, en particulier de façon distante à travers le web, par des automaticiens, qui sont tous susceptibles de commettre des erreurs de conception, soulève des problèmes originaux à la fois théoriques de validation et de vérification de la commande mais aussi de prise en compte du concepteur. Ces problèmes, que l'on retrouve dans l'industrie, nécessitent une approche de l'automatisation prenant en compte la composante humaine (expert - formateur, concepteur - apprenant) du Système Homme-Machine. Les contributions développées dans cette thèse portent sur l'adaptation du système aux savoirs du concepteur et la sécurisation de l'installation. Concernant le premier point, il est mis en évidence l'importance pédagogique de travailler sur toute l'installation plutôt que sur une partie. Une approche méthodologique est proposée, et consiste à décomposer fonctionnellement la PO en vue de pouvoir adapter le cahier des charges au concepteur, tout en conservant la vision globale du système manufacturier. Concernant le second point, deux approches sont envisagées pour assurer la sécurité de la Partie Opérative. La première, hors ligne, repose sur des travaux antérieurs de l'équipe « SED et Supervision du CReSTIC » dans le domaine de la synthèse par Ramadge et Wonham pour l'obtention d'une commande sûre, robuste et sans blocage. Celle-ci a été adaptée pour assurer d'une part que les modèles de PO et de spécifications sont justes, et d'autre part que la commande proposée respecte le comportement maximum admissible par le système, compte tenu des spécifications du cahier des charges. La seconde approche, en ligne, utilise un filtre, qui consiste à n'envoyer vers la PO que des commandes validées. La principale difficulté de ce type d'approche réside dans les spécifications du filtre, et dans son implémentation. Une structure de filtre à 2 niveaux, ayant des capacités explicatives pour le concepteur, est proposée. Le premier appelé « filtre de validation système » permet de sécuriser la PO et repose sur la spécification de contraintes logiques. Le second appelé « filtre de validation fonctionnel » permet de vérifier le respect du cahier des charges et n'a pas été développé dans cette thèse. Une erreur au niveau de la définition des spécifications de sécurité entraîne une validation de la commande erronée et met ainsi le système en danger. L'approche proposée pour s'assurer que les contraintes sont correctement définies, consiste à vérifier formellement, avant l'implémentation dans l'Automate Programmable Industriel (API), au moyen du model-checker UPPAAL, qu'elles sont nécessaires et suffisantes pour éviter toutes situations de détérioration de l'installation (éléments de PO et produit), et cela en considérant la commande la plus permissive possible. Le filtre de validation système revient à garantir un filtrage « robuste » sécuritaire des commandes. Deux applications du filtre « robuste » de commande sont présentées et permettent de montrer d'une part l'intérêt des concepts, méthodes et outils proposés et d'autre part leur applicabilité. La première concerne un système réel de conditionnement de médicaments. L'approche de sécurisation de la PO et d'adaptation au concepteur est mise en ?uvre. Celle-ci a été testée et son intérêt montré au moyen d'expérimentations menées avec des automaticiens novices et plus expérimentés. La seconde application concerne une simulation de magasin automatisé. Le filtre est utilisé dans ce cas, non pas pour éviter les détériorations, mais pour apporter des explications. Ces exemples mettent aussi en évidence les limites et les perspectives de ces travaux.

La Méditerranée nord-occidentale est affectée par des épisodes de pluie intense, prin- cipalement durant l'automne. L'objectif de la thèse était de mieux comprendre la relation entre les caractéristiques de l'environnement météorologique de méso-échelle et la lo- calisation et l'intensité de ces systèmes fortement précipitants, en étudiant les différents mécanismes de déclenchement et d'entretien de la convection profonde. Cette relation a d'abord été étudiée au moyen de simulations idéalisées de systèmes convectifs quasi-stationnaires affectant la région Cévenole. Des expériences de sensibilité aux caractéristiques du flux marin en terme d'humidité et de vitesse ont permis d'étudier les mécanismes expliquant la localisation du système précipitant. Les résultats de cette étude idéalisée ont ensuite été confrontés au cas des inondations du Var du 15 juin 2010. Un ensemble conséquent de simulations numériques a été réalisé afin d'obtenir la meilleure simulation de l'évènement permettant l'étude des mécanismes à l'origine du système précipitant quasi-stationnaire observé sur le Var.

Le travail présenté dans ce mémoire s'inscrit dans le domaine de la supervision des systèmes automatisés de production. Il traite plus particulièrement de la synthèse de lois de surveillance adaptées aux exigences des entreprises. La loi de surveillance est obtenue à partir d'un modèle de référence pour la supervision, la commande et la surveillance. Ce dernier fournit l'ensemble exhaustif de tous les traitements de supervision, de commande et de surveillance qui peuvent être appliqués en situation de défaillances au cours d'un cycle de production et ce, quel que soit le système de production considéré. La méthode de synthèse proposée s'appuie sur une démarche proche de la synthèse de correcteurs en automatique continue. Elle revient à raffiner successivement le modèle de référence par intégration progressive d'un ensemble de quatre propriétés qui doivent être recherchées. Ces propriétés, la sécurité, l'écologie, la qualité et la productivité sont à évaluer par le concepteur au moyen de grilles mettant en relation l'impact de quatre symptômes de défaillances sur l'ensemble des propriétés recherchées et ce, en fonction de la ressource physique considérée. Un exemple d'application basé sur un processus manufacturier réel, la plate-forme de recherche en productique SAPHIR du Laboratoire d'Automatique de Grenoble, illustre les apports de notre approche. Ces derniers se déclinent en terme de flexibilité des traitements proposés, de systématisation de la méthode proposée et de respect des propriétés recherchées.