WorldCat Identities

Pétin, Jean-François

Works: 19 works in 20 publications in 2 languages and 21 library holdings
Roles: Thesis advisor, Other, Opponent, Author
Publication Timeline
Most widely held works by Jean-François Pétin
Diagnostic en ligne des systèmes à événements discrets complexes : approche mixte logique/probabiliste by Dang-Trinh Nguyen( )

1 edition published in 2015 in French and held by 2 WorldCat member libraries worldwide

Today's manufacturing systems are challenged by increasing demand diversity and volume that result in short product life cycles with the emergence of high-mix low-volume production. Therefore, one of the main objectives in the manufacturing domain is to reduce cycle time (CT) while ensuring product quality at reduced cost. In such competitive environment, product quality is ensured by introducing more rigorous controls at each production step that results in extended cycle times and increased production costs. This can be reduced by introducing R2R (run to run) loops where control on the product quality is carried out after multiple consecutive production steps. However, product quality drift, detected by metrology at the end of run-to-run loop, results in stopping respective sequence of production equipment. The manufacturing systems are equipped with sensors that provide basis for real time monitoring and diagnosis; however, placement of these sensors is constrained by its structure and the functions they perform. Besides this, these sensors cannot be placed across the equipment due to associated big data analyses challenge. This also results in non-observable components that limit our ability to support effective real time monitoring and fault diagnosis initiatives. Consequently, production equipment in R2R loop are stopped upon product quality drift detection at the inspection step. It is because of the fact that we are unable to diagnose that which equipment or components are responsible for the product quality drift. As a result, production capacities are reduced not because of faulty equipment or components but due to our inability for efficient and effective diagnosis.In this scenario, the key challenge is to diagnose faulty equipment and localize failure(s) against these unscheduled equipment breakdowns. Moreover, the situation becomes more complex if the potential failure(s) is unknown and requires experts' intervention before corrective maintenance can be applied. In addition to this, new failures can emerge as a consequence of different failures and associated delay in its localization and detection. Therefore, success of the manufacturing domain, in such competitive environment, depends on quick and more accurate fault isolation, detection and diagnosis. This paper proposes a methodology that exploits historical data over unobserved equipment components to reduce search space of potential faulty components followed by more accurate diagnosis of failures and causes. The key focus is to improve the effectiveness and efficiency of real time monitoring of potential faulty components and causes diagnoses.This research focuses on potential diagnosis using Logical Diagnosis model (Deschamps et al., 2007) which that offers real time diagnosis in an automated production system. This reduces the search space for faulty equipment from a given production flow and optimizes the learning step for the subsequent BN. The BN model, based on the graphical structure, received from Logical Diagnosis model then computes joint and conditional probabilities for each node, to support corrective maintenance decisions upon scheduled and unscheduled equipment breakdowns. The proposed method enables real time diagnosis for corrective maintenance in fully or semi-automated manufacturing systems
Extension des systèmes MES au diagnostic des performances des systèmes de production au travers d'une approche probabiliste Bayésienne by Ngoc Hoang Tran( )

1 edition published in 2018 in French and held by 2 WorldCat member libraries worldwide

This Phd thesis takes place in the diagnostic field, especially in contexte of Manufacturing Execution System (MES). It contributes to the diagnostic system in the presence of potential failures following a triggering signal OEE drift, an indicator performance that gives a picture of the production system state (equipment, production line, site, and enterprise) by estimating downtime from 3 major origins: availability, performance, and quality. Our objective is to provide maximum information of the origins of an OEE variation and to support making the best decision for four categories users of OEE (operator, leader team, supervisor, direction). Also, basis on that model, the purpose will provides a deployment methodology to integrate with MES solution in an industrial context
Modélisation et Vérification Formelles de Systèmes de Contrôle de Trains by Yuchen Xie( )

1 edition published in 2019 in English and held by 1 WorldCat member library worldwide

The automation degree of railway control systems is constantly increasing. Railway industry needs the enhanced level of safety and reliability guarantee to replace the drivers by Automatic Train Control (ATC) systems. However, the system complexity is also heavily increased by the integration of automatic functions, which has caused the difficulty to analyze these systems.Different modeling methods can be used to build the system models at the appropriate level of abstraction. Formal modeling methods and formal verification methods can provide crucial support to ensure safety and reliability properties. Petri Nets are a suitable tool for modeling and verifying critical systems such as automatic train control systems. In this thesis, we use more specifically Colored Petri Nets (CPNs) to exploit modularity and hierarchization for the modeling and verification of a large-scale system
Calcul d'indicateurs de sûreté de fonctionnement de modèles AltaRica 3.0 par simulation stochastique by Benjamin Aupetit( )

1 edition published in 2020 in French and held by 1 WorldCat member library worldwide

Safety assessment of a critical and complex system allows choices of technical solutions.The chosen modelling language for those assessments must have sufficient power of expression to represent the different behaviours envisaged: AltaRica 3.0 is here used.But computation of dependability indicators on complex models is then difficult: stochastic simulation is a solution, but only allow to estimate values.It is then necessary for the analyst to describe which indicators he wishes to estimate, and what their relations with the model are: a set of measures, covering the conventional needs in dependability, is proposed.The estimation quality is related to the number of measurements, and therefore to the performances of the stochastic simulator software tool: improvements of stochastic simulation of AltaRica 3.0 models have been implemented in the tool of the OpenAltaRica platform.The use of software computation tools in a certification context must be evaluated on their quality: a stochastic simulator reliability evaluation methodology, not limited to AltaRica 3.0, is presented.Finally, a case study of a complex mechatronic system presents the possibilities of stochastic simulation and AltaRica 3.0 for a safety study of this class of systems
Contribution methodologique a l'actionnement et a la mesure intelligents : application au projet ESPRIT III - P.R.I.A.M No 6188 by Jean-François Petin( Book )

1 edition published in 1995 in French and held by 1 WorldCat member library worldwide

Analyse transverse de risques en radiothérapie : modélisation et évaluation des barrières et des facteurs techniques, humains et organisationnels à l'aide de Réseaux bayésiens by Alexandre Reitz( )

1 edition published in 2014 in French and held by 1 WorldCat member library worldwide

Radiotherapy is an uncontested resource in the arsenal of cancer treatment. This technique implies risks for both patients and radiotherapy professionals, which requires it to be carried out in a controlled and monitored environment. However, because of the multiplicity of actors, the complexity of the healthcare organization set up around the patient and the complexity of medical devices, in recent years some incidents and accidents in treatment process appeared, with sometimes tragic consequences. To reduce or eliminate these events, it is essential to address the problem of radiation therapy in terms of risk analysis of socio-technical systems, by including technical / human / organizational complexity in a "transverse" view. The main contribution of this work consists in an approach based on models that assess a priori, for a given radiotherapy process, an indicator of the security provided to patients during their radiotherapy treatment
Contribution à la vérification d'exigences de sécurité : application au domaine de la machine industrielle by Dominique Evrot( )

1 edition published in 2008 in French and held by 1 WorldCat member library worldwide

L'introduction des nouvelles technologies de l'information et de la communication dans les systèmes automatisés entraîne un accroissement de la complexité des fonctions qu'ils supportent. Cet accroissement de la complexité a un impact sur la sécurité des systèmes. En effet, leurs propriétés ne sont plus réductibles aux propriétés de leurs constituants pris isolément mais émergent d'un réseau d'interactions entre ces constituants qui peut être à l'origine de comportements néfastes et difficiles à prévoir. Notre conviction est que le développement sûr de ces systèmes doit combiner des approches pragmatiques orientées « système », qui tiennent compte du facteur d'échelle réel d'une automatisation pour appréhender le fonctionnement global du système et son architecture, avec des approches plus formelles qui permettent de s'assurer que les propriétés intrinsèques des constituants contribuent efficacement au respect des exigences « système » formulées par les utilisateurs. Le travail présenté dans ce mémoire définit donc une approche méthodologique basée sur le formalisme SysML (System Modeling Language) permettant l'identification, la formalisation et la structuration d'exigences globales relatives à un système, puis leur projection, sous forme de propriétés invariantes, sur une architecture de composants. La vérification des exigences de sécurité, repose alors, d'une part, sur un raffinement prouvé (par theroem proving) des exigences « système » permettant d'établir leur équivalence avec un ensemble de propriétés intrinsèques relatives à chacun des composants, et d'autre part, sur la vérification formelle (par model checking) de ces propriétés intrinsèques
Évaluation quantitative de séquences d'événements en sûreté de fonctionnement à l'aide de la théorie des langages probabilistes by Dorina-Romina Ionescu( )

1 edition published in 2016 in French and held by 1 WorldCat member library worldwide

Dependability studies are often based on the assumption of events (failures and repairs) independence but also on the analyse of cut-set which describes the subsets of components causing a system failure. In the case of dynamic systems where the events occurrence order has a direct impact on the dysfunctional behaviour, it is important to promote using event sequences instead of cut-sets for dependability assessment. In the first part, a formal framework is proposed. It helps in determining sequences of events that describe the evolution of the system and their assessment, using the theory of probabilistic languages and the theory of Markov/semi-Markov processes. The assessment integrates the calculation of the probability occurrence of the event sequences and their criticality (cost and length). For the assessment of complex systems with multiple operating/failure modes, a modular approach based on composition operators (choice and concatenation) is proposed. Evaluation of the probability of a global sequence of events is performed from local Markov/semi-Markov models for each mode of the system. The different contributions are applied on two case studies with a growing complexity
Contribution méthodologique à l'actionnement et la mesure intelligents : application au projet ESPRIT III PRIAM n°6188 by Jean-François Pétin( )

1 edition published in 1995 in French and held by 1 WorldCat member library worldwide

Les travaux présentés dans ce mémoire constituent une rationalisation de la démarche mise en œuvre dans le projet ESPRIT III-P.R.I.A.M. n°6188 (Prenormative Requirements For Intelligent Actuation And Measurement). Ce projet a pour objectif le prototypage du concept C.M.M.S. (Control, Maintenance And Technical Management System) sur la base d'une distribution de l'intelligence dans les équipements de terrain. Il met en œuvre une approche système permettant d'aboutir à un modèle de référence d'une fonction d'actionnement et de mesure intelligents, intégrant les besoins des utilisateurs et l'offre technologique en vue d'élaborer une proposition prénormative des interfaces fonctionnelles standard garantes de l'interopérabilité des équipements intelligents. En accord avec le précepte systémique qui considère qu'un système peut être caractérisé par trois points de vue complémentaires, le pole fonctionnel (ce qu'il fait), le pole ontologique (ce qu'il est) et le pole génétique (comment il a été construit et ce qu'il devient), nous proposons une heuristique de modélisation fonctionnelle d'un système ami basée sur le principe d'émergence ainsi qu'un meta modèle des interfaces fonctionnelles standard considéré comme un mécanisme de construction d'une application distribuée. Ces propositions sont supportées par l'outil Priam et prototypées sur un exemple de régulation de niveau
Qualité de service et qualité de controle d'un système discret controlé en réseau sans fil : proposition d'une approche de co-conception appliquée au standard IEEE 802.11 by Gilbert Habib( )

1 edition published in 2010 in French and held by 1 WorldCat member library worldwide

Using wireless communication in the control system introduces many advantages like reduced wiring costs but also many drawbacks such as the delays, packet losses... which may disturb the system performance. The objective of this thesis is to improve the performance of a Wireless Networked Discrete Control System. This kind of system is characterized with a logic command distributed among PLC and plant part communicating through a wireless network, IEEE 802.11. The proposed approach is based on a co-design concept by simultaneously modeling the behavior of the command part (deterministic), and network part (non deterministic). Simulation tools do not cope with this co-design point of view because they are generally either ?control design? or ?network analysis? dedicated. Two solutions are explored: first, by integrating the network model into a control-oriented tool, Matlab-Truetime library and second, by integrating the discrete control system behavior into a network-oriented tool, OPNET. Comparisons between these tools confirm the possibility of modeling a WNDCS using Matlab-Truetime (with some modifications) and OPNET. Moreover, an algorithm is proposed to improve the global system performance; it dynamically allocates IEEE 802.11e priorities to the communication traffic with regard to the control requirements and the current state of the system, but also by taking into account the current quality of service provided by the network. Simulations of a case study performed using OPNET have highlighted the efficiency of the proposed algorithm
Contribution au rééquilibrage dynamique des lignes d'assemblage : modélisation, résolutions et applications by Antoine Manceaux( )

1 edition published in 2015 in French and held by 1 WorldCat member library worldwide

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
Diagnosticabilité modulaire appliquée au Diagnostic en ligne des Systèmes Embarqués Logiques by Ramla Saddem( )

2 editions published in 2012 in French and held by 1 WorldCat member library worldwide

Today, embedded systems are increasingly used to control complex systems. In this thesis, we are interested in critical embedded systems used for the control of transport systems such as railway systems. The aim of this work is to enable the design of fault-tolerant systems for the control of transport systems. We propose a new timed embedded systems modeling approach to diagnose their faults. It is based on decomposition of the system and structural extension of diagnosability context of modular timed systems. In DES, there are two basic approaches for diagnosis: diagnoser based approach and chronicles (Causal Temporal Signature (CTS)) based approach. The major limitation of diagnoser approaches rely in the management of the combinatorial explosion related to the formalism of automata. In this work, our main lock is to combat this limit. We propose new engineering models based method for the diagnosis of critical embedded systems. On the other hand, the major limitation of chronicles approach is first to be able to guaranty the consistency of a database. A second level of difficulty is in interpreting some sequences of events at the input of the diagnostic system under the hypothesis of multiple failures. In this work, we propose two different methods to verify the consistency of a set of CTS and we propose an interpretation algorithm based on a concept of worlds which guarantees the correct diagnosis
Évaluation d'indicateurs de sûreté de fonctionnement d'architectures de contrôle-commande dans un contexte dynamique et incertain by Grâce Boyer( )

1 edition published in 2021 in French and held by 1 WorldCat member library worldwide

Ce mémoire, réalisé dans le cadre d'une convention CIFRE avec la société Schneider Electric, porte sur l'évaluation sur l'évaluation d'indicateurs de sûreté de fonctionnement des architectures de contrôle-commande. Le problème industriel posé est un problème d'aide au dimensionnement des architectures en réponse à des exigences de performances. Les problèmes scientifiques sont relatifs, d'une part, à la génération automatique des modèles support à l'évaluation pour un ensemble d'architectures dans la mesure où leur construction manuelle ne permet pas de faire face à la multiplicité des architectures dans des délais contraints, et, d'autre part, à la prise en compte des phénomènes de dégradation dans les modèles dysfonctionnels des architectures. Le choix du formalisme de modélisation s'est porté sur les réseaux de Petri colorés et temporisés (CPN) qui permet notamment la hiérarchisation des modèles et la prise en compte de phénomènes temporisés dont les durées peuvent suivre des distributions de probabilité. Notre contribution se présente sous la forme d'une méthodologie permettant la construction automatique d'un modèle CPN d'architecture par instanciation d'un ensemble de composants élémentaires et de la définition d'observateurs génériques couvrant les besoins exprimés et qui permettent de déterminer les indicateurs de sûreté de fonctionnement tels que la fiabilité, la disponibilité du système, son MTTF, le nombre de défaillances mais aussi des facteurs d'importance permettant d'orienter les choix des concepteurs en phase d'élaboration en réponse à un appel d'offre
Contribution à la génération de séquences pour la conduite de systèmes complexes critiques by Thomas Cochard( )

1 edition published in 2017 in French and held by 1 WorldCat member library worldwide

The works presented in this manuscript deals with critical complex systems operation. They are part of the CONNEXION project (Investissements d'Avenir, BGLE2), which involves the main actors in the French nuclear industry around the design of control systems for power plants and their operation. In the operation field, the actions developed by the project concern the engineering phase with the aim of integrating the operator's point of view as soon as possible in the validation of control architectures, and the operation phase with the aim of providing assistance in the preparation and execution of operation procedures. In this context, the contribution presented in this manuscript deals with the generation and verification of action sequences that meet a given objective and that can be safely operated on the process. The proposed approach relies on verifying a reachability property on a network of timed automata modelling the behavior of architectures. The originality is in the definition of a formal modelling framework using patterns promoting the reusability of models, as well as in the proposition of abstraction and reachability iterative analysis algorithms exploiting the intrinsic hierarchization of architectures in order to scale-up of the proposed approach. The contribution was evaluated on the CISPI experimental platform of the CRAN, and on an industrial scale case study proposed within the framework of the CONNEXION project
Évaluation de performance d'architecture de contrôle-commande en réseau dans un contexte incertain d'avant-vente by Moulaye A.A Ndiaye( )

1 edition published in 2017 in French and held by 1 WorldCat member library worldwide

This PhD dissertation, supported by CIFRE convention between the company Schneider-Electric and the University of Lorraine through the CRAN laboratory, deals with the assessment of temporal performances for a networked distributed control system. The industrial need was the development of a quotation and sizing tool of industrial control architecture during pre-sales stage. This stage is characterized by limited information about the process and the customers' needs. The underlying scientific problematic was the ability to generate automatically models serving as support for the evaluation. In fact, performance assessment is realized for a wide range of architecture during a small amount of time, which is not compliant with a manual definition of the models. Our contribution is mainly based on a formal definition of a “builder” model with Colored and Timed Petri Nets which embeds mechanisms for configuration, instantiation and parameters setting of the architecture models. Several algorithms have been proposed for firstly build automatically the architecture Petri Nets model from a formal description of the topology and from a component model library and, secondly, for generating performance observers. Theses algorithms have been implemented on a tool gathering a user interface developed by Schneider -Electric and the Petri Nets simulator called CPN Tools which provides the performance assessment through Monte-Carlo simulation. The added value of this approach has been illustrated through case studies provided by Schneider-Electric
Ordonnancement sous perturbations : cadre d'étude et approche d'évaluation de la robustesse par automates stochastiques by Sara Himmiche( )

1 edition published in 2020 in French and held by 1 WorldCat member library worldwide

The main objective of this thesis is to propose an approach to consider perturbations in the context of a production scheduling problem. The proposed approach emphasizes the importance of evaluating the performance of a scheduling in a disturbed environment. Production scheduling is an important and common problem in the world of industry and scientific research. In order to propose scheduling solutions, the suggested methods propose optimal scheduling to minimize or maximize a defined criterion. This objective has certainly been adopted for several years but no longer fully meets the dynamics of production workshops. Taking perturbations into account is therefore a major issue in the scheduling problem. To address this issue, after an introduction and state of the art, we propose, in the main body of the manuscript, the definition of the performance and appropriate approach to deal with the impact of perturbations in scheduling. Robustness is then identified as a suitable performance to assess this impact. Furthermore, specifying robustness allows to identify a formal framework to specify the different robustness problems that scheduling must face. To address the problem of scheduling robustness, we propose an evaluation process based on discrete-event system models. More precisely, stochastic timed automata and statistical model-checking are used to measure the robustness of a perturbed schedule. The evolution of production systems and their flexibility and agility constraints require that the evaluation approach must also be flexible and adaptable. The process proposed in this thesis allows not only its adaptation to several production workshop problems but also to take into account real decision situations in an industrial context. To illustrate the feasibility and applicability of this process, the UppAal SMC tool is used
Approche de diagnostic des défauts d'un produit par intégration des données de traçabilité unitaire produit/process et des connaissances expertes by Thierno M. L Diallo( )

1 edition published in 2015 in French and held by 1 WorldCat member library worldwide

Ces travaux de thèse, menés dans le cadre du projet FUI Traçaverre, visent à optimiser le rappel pour un processus qui n'est pas de type batch avec une traçabilité unitaire des articles produits. L'objectif étant de minimiser le nombre d'articles rappelés tout en s'assurant que tous les articles avec défaut sont rappelés. Pour cela, nous avons proposé un processus de rappel efficient qui intègre, d'une part, les possibilités offertes par la traçabilité unitaire et, d'autre part, utilise une fonction de diagnostic devenue indispensable avant le rappel effectif des produits. Dans le cas des systèmes industriels complexes pour lesquels l'expertise humaine est insuffisante et dont nous n'avons pas de modèle physique, la traçabilité unitaire offre une possibilité pour mieux comprendre et analyser le procédé de fabrication par une reconstitution de la vie du produit à travers les données de traçabilité. Le couplage des données de traçabilité unitaire produit/process représente une source potentielle de connaissance à mettre en oeuvre et à exploiter. Ces travaux de thèse proposent un modèle de données pour le couplage de ces données. Ce modèle de données est basé sur deux standards, l'un dédié à la production et l'autre portant sur la traçabilité. Après l'identification et l'intégration des données nécessaires, nous avons développé une fonction de diagnostic à base de données. La construction de cette fonction diagnostic a été réalisée par apprentissage et comprend l'intégration des connaissances sur le système pour réduire la complexité de l'algorithme d'apprentissage. Dans le processus de rappel proposé, lorsque l'équipement à l'origine du défaut nécessitant le rappel est identifié, l'état de santé de cet équipement au voisinage de l'instant de fabrication du produit contrôlé défectueux est évalué afin d'identifier les autres produits susceptibles de présenter le même défaut. L'approche globale proposée est appliquée à deux études de cas. La première étude a concerné l'industrie verrière. Le second cas d'application a porté sur le process benchmark Tennessee Eastman
Contribution à la Commande des systèmes à événements discrets par filtre logique by Romain Pichard( )

1 edition published in 2018 in French and held by 1 WorldCat member library worldwide

This thesis contributes to a formal approach to design control/command program for automated production systems controlled by Programmable Logical Controller (PLC). In this context, two main observations have been highlighted: there is a lack of efficient methodology for the design of PLC program in the industrial field and the academicals formal approaches are neither known nor used in manufacturing industry due to high complexity. Furthermore, the industry of future will require flexible and reliable PLC program. The flexibility implies that programs will be even more difficult to design and, consequently, the complexity to guarantee the reliability will be increased.To address these issues, a formal design approach, presented as a classical V-cycle, have been proposed. Moreover, to facilitate the industrial transfer from both technical (PLC) and human (engineer practice) point of view, the formalism is exclusively based on logical variables and equations called logical constraints. These constraints are used to specify the informal requirements described in the specification book. From these constraints, a logical filter is synthesized automatically and a solving algorithm, IEC 61131-3 compliant, is implemented in the PLC program. This logical filter may be used to: command an automated production system controlled by a PLC, verify formally a PLC program, and make safe an existing PLC program containing errors.The contributions of this thesis covered the whole development cycle: formal specification, formal analysis and synthesis, automatic implementation in a PLC program. To support these contributions, a significant effort was made on the formalism based on logical constraints. This new formalism has allowed, in particular, to propose a necessary and sufficient condition to the coherence property of a logical filter and to guarantee the convergence of the online solving algorithm. At least, the classical solving algorithm has been updated according to the new formalism, and two algorithms based on SAT solver techniques and local research have been proposed and tested on real PLC
Approche méthodologique pour l'intégration des systèmes contrôlés par le produit dans un environnement de juste-à-temps : Application à l'entreprise Trane by Hind El Haouzi( )

1 edition published in 2008 in French and held by 1 WorldCat member library worldwide

Cette thèse a été réalisée dans le cadre d'un partenariat entre le CRAN et l'entreprise TRANE. Elle propose une méthodologie pour l'intégration et le développement de Systèmes Contrôlés par le Produit (SCP). Celle-ci a vocation de permettre d'implémenter une architecture de contrôle par kanbans et/ou produits « actifs », adaptable aux systèmes de production d'une entreprise. Le premier chapitre de la thèse décrit le contexte industriel. A l'issue de ce chapitre émerge les problèmes de synchronisation de flux de J'entreprise. Le second chapitre présente une étude bibliographique des stratégies existantes de pilotage de flux et apportant donc des éléments de réponse à ces problématiques. Après avoir montré l'apport des systèmes contrôlés par le produit dans la résolution de ceux-ci, ce chapitre montre le besoin de méthodes d'ingénierie pour concevoir un SCP adapté « au plus juste » au système industriel étudié. Le troisième chapitre est consacré à la définition de la problématique scientifique. En réponse à celle-ci, la proposition d'une méthodologie de conception et d'intégration des systèmes contrôlés par le produit est présentée dans le quatrième chapitre. Cette méthodologie s'appuie sur l'approche d'ingénierie système «six-sigmas »pour piloter le projet de conception du SCP par des indicateurs issus des besoins des utilisateurs. L'utilisation de la simulation événementielle permet de concevoir l'architecture la plus pertinente au regard des indicateurs de performance retenus et de valider a priori l'intégration du SCP ainsi conçu dans son environnement. Le dernier chapitre a pour objectif d'illustrer l'approche sur des cas réels d'application
moreShow More Titles
fewerShow Fewer Titles
Audience Level
Audience Level
  General Special  
Audience level: 0.00 (from 0.00 for Diagnostic ... to 0.00 for Diagnostic ...)

French (19)

English (1)