Productique 1 / Industrial automation 1

Connaître  les concepts de base sur l'évaluation de performances de sûreté des systèmes de production (simulation et méthodes analytiques). Découvrir et savoir utiliser plusieurs outils de modélisation et d'analyse de la sûreté de fonctionnement systèmes.

To know the basic concepts on safety performance evaluation of production systems (simulation and analytical methods). Discover and know how to use several tools of modeling and analysis of dependability systems.

ÉVALUATION DE PERFORMANCES DE SYSTÈMES DE PRODUCTION

1. Introduction à  l'évaluation de performances

2. Plusieurs outils de modélisation et d'analyse (Analyse préliminaire des risques (APR - APD), Analyse des modes de défaillances (AMDEC)

3. Modélisation par Blocs diagramme de fiabilité

4. Modélisation par arbre de défaillance

5. Étude de cas

6. Chaînes de Markov

7. Simulation à  événements discrets (illustration sur ARENA)
-    Réseaux de Petri
-    Réseaux de Files d'Attente

8. Évaluation de performances de sûreté de fonctionnement

PERFORMANCE EVALUATION OF PRODUCTION SYSTEMS

1 - Introduction to Performance Evaluation

2 - Probability and stochastic processes

3 -  Several tools for modeling and analysis (Preliminary Risk Analysis (APR - APD), Failure

4 - Analysis Methods (FMECA)

5 - Modeling by Reliability Diagram Blocks

6 - Modeling by Fault-tree

7 - Case study

8 -   Markov chains

9 -  Discrete event simulation(illustration on ARENA)

     - Petri nets
     - Queueing networks

10 - Performance evaluation of dependability

Notions sur les lois de probabilité

Notions on the laws of probability

René David et Hassane Alla, Du Grafcet aux réseaux de Petri, Paris, Hermès, 1992, 2ee éd.  
Version anglaise, traitant plus spécialement des extensions temporelles et continues: René David et Hassane Alla, Discrete, Continuous, and Hybrid Petri Nets, Berlin, Springer-Verlag, 2005
L. Kleinrock, “ Queueing Systems ”,   Wiley, New York, Vol 1 1975, Vol.2 1976
I. Mitrani, “ Modelling of computer and communication systems ”, Cambridge Computer Science texts 24, 1987
C. G. Cassandras “Discrete Event Systems - Modeling and performance analysis”, , Richard D. Irwin, Inc., and Asken Associates, Inc., 1993
B. Baynat, “ Théorie des files d’attente : des chaînes de Markov
aux réseaux à Forme produit ”,   Hermès, Paris, 2000