Surveillance et maintenance prédictive : évaluation de la latence de fautes. Zineb SIMEU-ABAZI Univ. Joseph Fourier, LAG)

Dimension: px
Commencer à balayer dès la page:

Download "Surveillance et maintenance prédictive : évaluation de la latence de fautes. Zineb SIMEU-ABAZI Univ. Joseph Fourier, LAG)"

Transcription

1 Surveillance et maintenance prédictive : évaluation de la latence de fautes Zineb SIMEU-ABAZI Univ. Joseph Fourier, LAG)

2 SURVEILLANCE Analyser une situation et fournir des indicateurs! Détection de symptômes! Diagnostic MAINTENANCE PREDICTIVE Face aux aléas en phase d exploitation, l objectif est d exécuter une action de maintenance dès l apparition d une dégradation (maintenance préventive prévisionnelle) LATENCE DE FAUTE Entre l indication d une déviation et la demande d une action de maintenance, il peut s écouler un certain temps. Pendant tout ce temps, la faute est dite latente (non encore détectée).

3 Type de Systèmes Systèmes discrets Systèmes hybrides Ensemble de tâches exécutées en séquence

4 Principe de détection Surveillance Suivi de l évolution temporelle d une activité, donnant lieu à un ou plusieurs compte rendu à des dates prévisibles Suivi temporel Durée prévue Faute latente Marge Activité Absence de compte rendu Requête Fin Fin +tard temps

5 Principe de détection Surveillance Suivi de l évolution temporelle d une activité, donnant lieu à un ou plusieurs compte rendu à des dates prévisibles Suivi temporel Durée prévue Activité Marge Risque de fausses alarmes Requête Fin temps

6 Principe de détection Surveillance Suivi de l évolution temporelle d une activité, donnant lieu à un ou plusieurs compte rendu à des dates prévisibles Suivi temporel Durée prévue Activité Marge Retard de détection temps Requête Fin Évaluation de la Marge = latence de faute

7 PLAN Surveillance: Méthodes classiques / Méthode proposée Outils de modélisation : automates temporisés Modèle du système de surveillance Applications à différents types de systèmes Évaluation de la latence de faute Évaluation des performances Extension pour le diagnostic

8 Méthodes classiques de surveillance Réservoir Partie commande capteurs capteurs Système de surveillance V1 W1 b2- h2- b1- h1- V2 W2 actionneurs Partie Opérative Solution statique basée sur l énumération des états du système! Une liste exhaustive des pannes possibles.! Le système ne détecte que les pannes identifiées dans liste.! les défaillances des capteurs non prise en compte.

9 Méthode proposée Actions Préventive Information temps Partie Commande capteurs Système de surveillance capteurs état Normal Durée connue état Dégradé État de défaillance actionneurs Partie Opérative début tâche T min Solution proposée pas d'énumération des différents modes de défaillance prise en compte de la dynamique du processus optimisation du temps de détection fin marge T max détection temps

10 Surveillance et Commande Module de Surveillance AUTOMATES TEMPORISES Fonctionnement" Défaillant Fonctionnement" Dégradé Module de Commande Fonctionnement" Normal Commande capteurs Partie opérative : Procédé actionneurs

11 Démarche générale Identification des paramètres à surveiller Détermination des marges Construction du modèle de surveillance Validation

12 Outil de modélisation L outil de modélisation doit représenter : l ensemble des états discrets " la séquence de tâches l ensemble des variables continues " temps Automate Temporisé Dynamique continue (horloge) x 1 := 0, x 2 := 0 E 0 x& 1 = 1 x& 2 = 1 x 2 2 guard a ^ x 2 = 2 x 2 := 0 E 1 x& 1 = 1 x& 2 = 1 x 1 3 b ^ 1 x 1 3 x& x& 1 2 E 2 = 1 = 1 Invariant condition affectation

13 1 ère application: système de remplissage des bacs RESERVOIR 1 m (1) (2,5) V1 h1-bac 1 h2-bac 2 b1- b2- W1 V2 W V1 h1 W1 b1 5 V2 h2 6 W2 b2 7 (3,5) (4,5) (4,6) (3,6) (4,7) (2,6) (2,7) (3,7) Procédé Objectif: 1 Grafcet de commande Graphe des situations détecter le débordement des bacs détecter la vidange totale des bacs

14 Modèle dynamique (1) I m J m E1 (3,5) (4,5) (4,6) (2,5) (3,6) (4,7) (2,7) (3,7) (2,6) 0 m T min Mode normal m T max m T c Mode dégradé Mode défaillant chaque horloge est associée à un couple action-capteur x 7 I 7 & x 4 I 4 x E47 1 :=0 x 3 I 3 x 5 I 5 E35 x E45 E46 4 :=0 x 6 :=0 x 2 I 2 x 5 I 5 x 3 I 3 x 1 I x 1 3 :=0 x 2 E25 I 2 &x I 5 5 x 6 :=0 E36 x 2 :=0 & x 5 :=0 x 3 :=0&x 6 :=0 x 2 I 2 x x 6 I 5 I 5 x 6 x 6 :=0 3 :=0 x E26 x 2 I 2 6 I 6 E27 x E37 x 7 :=0 3 :=0 temps horloge x m Détermination des marges de tolérance pour chaque couple action-capteur x 4 :=0 x 7 :=0

15 Modèle de surveillance 5 x5 ftc Mode défaillant 2 x2 f Tc x 2 ou x 5 f T f T 2 max 5 max X1 m & b2 & x 6 J 6 x 3 J 3 x 1 :=0 b1& b2 & x 1 J 1 x 6 I 6 X3 X5 h1& X2X5 x 5 J 5 h2 & X2X6 X3 X5 b1& x 2 J 2 b2 & b1& x 3 J 3 X4X5 h2 & h1& x 6 J 6 x 7 :=0 x 5 J 5 x 2 J 2 X2X7 x 3 I 3 X4X5 h2 & h1& h2 & x 5 J 5 b1& b2 & x 2 J 2 x 5 I 5 X4X6 x 3 J 3 X3X6 x 6 J 6 X3X7 X4X6 Mode dégradé 6 x6 T max Mode normal X1 m & x 1 I 1 h1& x 2 I 2 X2X5 x 5 I 5 h2 & h2 & x 5 I 5 h1& x2 I2 b1& b2 & x 3 I 3 X3X6 x 6 I 6 b1& x 3 I 3 X2X6 b2 & x 6 I 6 x 7 :=0 X2X7 h1& x 2 I 2 X3X7

16 2 ème application: système manufacturier

17 Modèle générique «Machine» Série B M B Assemblage B M B x 1 := 0, x 2 := 0 P.S x& 1 = 1 x& = 1 2 x 2 t p p ^( 1 x 1 t g ) x 1 := 0 p ^ (x 2 = t p ) x 2 := 0 G.F x& 1 = 1 x& 2 = 1 x 1 t g p ^( 1 x 1 t d ) x 1 := 0 p ^( x 1 t g ) x 1 := 0 D.F x& 1 = 1 x& 2 = 1 x 1 t d B Désassemblage B rep ^ x 2 = t p x 1 := 0, x 2 := 0 F.S x& 1 = 1 x& 2 = 1 x 1 t f x 1 > t d B M B

18 Le système de surveillance Surveillance machine n-1 Surveillance machine i Mesures Objective de production Surveillance machine 1 Normale Dégradé Panne Action de maintenance Machine défaillante Système manufacturier

19 3 ème application: système de traitement de surface P 0 P 1 P 2 P 3 P 4 Rail Robot Sc C3 C1 C2 TA 0 TA 1 TA 2 TA 3 TA 4 Sd Ordonnancement des tâches pour une cycle :! Chargement d une plaque en P0! déplacement vers P1 et dépot en C1! déplacement à vide vers P3 et retrait d une plaque de C3! déplacement en charge vers P4 et dépot en C4! déplacement à vide vers P1 et retrait d une plaque en C1! déplacement vers P2 et dépot en C2! déplacement à vide vers P3 et retrait d une plaque en C3! déplacement vers P0. Durée du déplacement de Pi à Pi+1 Surveillance des opérations de transport Robot plein ou vide Opérations de transport Opérations de traitement + Surveillance des Durée tâches de de traitement traitement [ Cmin, Cmax]

20 Principe de la modélisation Tâches T i Surveillance des tâches de traitement Rebut Ordonnancement optimal Surveillance Des opérations de transport normal dégradé défaillance défaillance Détection capteurs Partie Opérative

21 Modèle dynamique 01 P0 0 P1 & xr I01 P0 & xr I30 13 xr 4 30 xr 6 P3 & xr I13 P3 & xr I P4 & xr I34 P2 & xr I12 41 xr 6 12 P1 & xr I41 x r : horloge d activation I j : l intervalle de bon fonctionnement de la tâche j. J i : l intervalle toléré en fonctionnement dégradé de la tâche i I m J m D m T m C m Horloge x m 0 Mode normal Mode dégradé Mode défaillant

22 01 Modèle de surveillance Mode de défaillance xr>c2 P1 & xr J01 13 xr 4 P3 & xr J13 34 P4 & xr J34 41 xr 6 Mode dégradé P0 P0 & xr J30 P3 & xr xr J13 J23 P2 & xr J12 P1 & xr J41 0 xr>t13 30 xr Mode normal 01 P0 0 P1 & xr I01 P0 & xr I30 13 xr 4 30 xr 6 P3 & xr I13 P3 & xr I P4 & xr I34 P2 & xr I12 41 xr 6 12 P1 & xr I41

23 Modèle de surveillance Mode de défaillance 01 P1 & xr J01 13 xr 4 P3 & xr J13 34 P4 & xr J34 41 xr 6 Mode dégradé P0 P0 & xr J30 P3 & xr J23 P2 & xr J12 P1 & xr J xr Mode normal 01 P0 0 P1 & xr I01 P0 & xr I30 13 xr 4 30 xr 6 P3 & xr I13 P3 & xr I P4 & xr I34 P2 & xr I12 41 xr 6 12 P1 & xr I41

24 #Automates Complexité Modèle Fonctionnement normal (N états) Modèle Fonctionnement dégradé (N états) Modèle Défaillance d états 2*N+d états #Statecharts Modèle Modèle d'évolution des modes N+3 états N états 3 états Automates " Statecharts

25 Modèle statechart

26 Résultats de simulation

27 Résultats de simulation 0.38s temps de détection

28 Évaluation de la latence de faute 60 Errors total false alarm 1. Est-ce que la valeur optimale couvre toutes les fautes générées? 2. Est-ce que cette valeur optimale dépend du temps de service? true alarme 0 2 Optimal value [s] 12 Évaluation des performances * Une même pénalité est appliquée pour une fausse alarme et la non détection

29 Évaluation des performances La performance corresponds au calcul du taux de couverture C d qui qualifie le système de surveillance! C = d F F d g T. ratio /δ [%] generated* Faults detected* Cd level of performance ,33 41,33 41,67 39,67 0,98 0,96 Very Good ,67 39,67 35,33 32,00 0,89 0,80 Good 25 41,33 32,67 0, ,33 42,00 31,00 29,33 0,76 0,69 Medium 40 42,00 27,67 0, ,00 26,67 0, ,00 25,33 0,57 Bad *averages from statistic preprocessing

30 Extension pour le diagnostic Principe de la méthode La recherche des chemins possibles dans le modèle La vérification des poids des chemins possibles (model-checking) Initialisation Procédé Alarme Temps : occurrence d alarme Système de diagnostic Chemin dans l automate F 1 1 F 2 2 Identification des fautes Surveillance Détection Localisation Vérification par analyse arrière

31 Vérification par analyse arrière x 1 =3 F1 F2 x 1 =3 x 1 =3 x 1 =2 x 1 :=0 1 x 1 :=0 x 1 =2 2 3 x 1 :=0 x 1 =4 4 Une défaillance est détectée à l instant t1. - Est-elle due à une faute F1 ou F2? L analyse du temps permet de dissocier ces fautes suivant la valeur de t1. Si t1= 3 ou 7 Faute F1 Si t1= 5 Faute F2

32 Perspectives Predictive maintenance Activated only by a rising edge, need some other development Fault latency For manufacturing systems the algorithm used study each machine alone, the aim is to define a global algorithm Diagnosis In development

Test du logiciel, cours 3. Tests fonctionnels. Tests fonctionnels. Rappel : spécification du logiciel. Plan Les tests fonctionnels Les phases de tests

Test du logiciel, cours 3. Tests fonctionnels. Tests fonctionnels. Rappel : spécification du logiciel. Plan Les tests fonctionnels Les phases de tests Test du logiciel, cours 3 Tests fonctionnels Critère d arrêt Plan Les tests fonctionnels Les phases de tests Couvertures de tests fonctionnels : On ne peut connaître a priori le nombre de tests nécessaires

Plus en détail

Planification et ordonnancement sous incertitudes Application à la gestion de projet

Planification et ordonnancement sous incertitudes Application à la gestion de projet Toulouse, 14 mai 2003 Planification et ordonnancement sous incertitudes Application à la gestion de projet Julien Bidot Plan Séminaire au LAAS Planification de tâches et ordonnancement Domaine d application

Plus en détail

ORGANISER CP3 : Organiser et optimiser les activités de maintenance

ORGANISER CP3 : Organiser et optimiser les activités de maintenance CP3.1 : Définir et/ou optimiser la stratégie de La liste des biens Déterminer les indicateurs de Les indicateurs sont correctement disponibilité des biens déterminés La politique de Les données de production

Plus en détail

Intégration des paramètres de maintenance dans la conception du Health Monitoring. Saintis Laurent Laboratoire LASQUO (futur LARIS)

Intégration des paramètres de maintenance dans la conception du Health Monitoring. Saintis Laurent Laboratoire LASQUO (futur LARIS) 2ème Colloque National de la Performance Industrielle LA MAINTENANCE A DISTANCE & E-MAINTENANCE Intégration des paramètres de maintenance dans la conception du Health Monitoring Saintis Laurent Laboratoire

Plus en détail

Tout le matériel (actif) qui sert à produire: boulons, capteurs, automates, vérins, câblage, éclairage, etc.

Tout le matériel (actif) qui sert à produire: boulons, capteurs, automates, vérins, câblage, éclairage, etc. 1 La maintenance 2 De quoi? Tout le matériel (actif) qui sert à produire: boulons, capteurs, automates, vérins, câblage, éclairage, etc. Pourquoi? Garder le matériel de production (les actifs) en état

Plus en détail

Génie Industriel : Optimisation de la chaîne logistique

Génie Industriel : Optimisation de la chaîne logistique Génie Industriel : Optimisation de la chaîne logistique Amélioration des performances de l entreprise : Piloter les systèmes de production (de biens et de services), Optimiser les flux (stock, délai, matière

Plus en détail

Analyse qualitative et quantitative des Systèmes Automatisés de Production

Analyse qualitative et quantitative des Systèmes Automatisés de Production Analyse qualitative et quantitative des Systèmes Automatisés de Production Jean-Luc Cojan Laboratoire LISyC Université de Bretagne Occidentale Encadrants : M. Philippe Le Parc M. Loïc Plassart M. Franck

Plus en détail

TP N 57. Déploiement et renouvellement d une constellation de satellites

TP N 57. Déploiement et renouvellement d une constellation de satellites TP N 57 Déploiement et renouvellement d une constellation de satellites L objet de ce TP est d optimiser la stratégie de déploiement et de renouvellement d une constellation de satellites ainsi que les

Plus en détail

Ecole Nationale des Sciences de l Informatique Université de la Manouba Janvier 2012 Programmes d enseignement

Ecole Nationale des Sciences de l Informatique Université de la Manouba Janvier 2012 Programmes d enseignement Ecole Nationale des Sciences de l Informatique Université de la Manouba Janvier 2012 Programmes d enseignement II1 - Premier semestre de la première année (S1) Module Crédits Nombre d heures Cours intégrés

Plus en détail

Impact de l évolution technique de la maintenance intelligente

Impact de l évolution technique de la maintenance intelligente Impact de l évolution technique de la maintenance intelligente Prof. Pierre Dehombreux Service de génie mécanique pierre.dehombreux@umons.ac.be Impact de l évolution technique de la maintenance intelligente

Plus en détail

Avec vous, pour vos projets, à chaque instant. Utilisation des réseaux de Pétri avec GRIF

Avec vous, pour vos projets, à chaque instant. Utilisation des réseaux de Pétri avec GRIF Avec vous, pour vos projets, à chaque instant Utilisation des réseaux de Pétri avec GRIF 2010 Projets pour le grand accélérateur de particules GANIL CEA/CNRS Vérification des automatismes de gestion du

Plus en détail

ET 24 : Modèle de comportement d un système Boucles de programmation avec Labview.

ET 24 : Modèle de comportement d un système Boucles de programmation avec Labview. ET 24 : Modèle de comportement d un système Boucles de programmation avec Labview. Sciences et Technologies de l Industrie et du Développement Durable Formation des enseignants parcours : ET24 Modèle de

Plus en détail

Méthodes Statistiques Appliquées à la Qualité et à la Gestion des Risques - Le Contrôle Statistique

Méthodes Statistiques Appliquées à la Qualité et à la Gestion des Risques - Le Contrôle Statistique Méthodes Statistiques Appliquées à la Qualité et à la Gestion des Risques - Le Contrôle Statistique Jean Gaudart Laboratoire d Enseignement et de Recherche sur le Traitement de l Information Médicale jean.gaudart@univmed.fr

Plus en détail

Étude des Corrélations entre Paramètres Statiques et Dynamiques des Convertisseurs Analogique-Numérique en vue d optimiser leur Flot de Test

Étude des Corrélations entre Paramètres Statiques et Dynamiques des Convertisseurs Analogique-Numérique en vue d optimiser leur Flot de Test 11 juillet 2003 Étude des Corrélations entre Paramètres Statiques et Dynamiques des Convertisseurs Analogique-Numérique en vue d optimiser leur Flot de Test Mariane Comte Plan 2 Introduction et objectif

Plus en détail

Tolérance aux pannes dans les systèmes distribués. Alain BUI

Tolérance aux pannes dans les systèmes distribués. Alain BUI Tolérance aux pannes dans les systèmes distribués Alain BUI Professeur Département de Mathématiques et Informatique alain.bui@univ-reims.fr Alain BUI -- Université de Reims 1 Introduction Nombre croissant

Plus en détail

Planifica(on du stockage intermédiaire dans l industrie du shampoing

Planifica(on du stockage intermédiaire dans l industrie du shampoing dans l industrie du shampoing R. Belaid, V. T kindt, C. Esswein, rabah.belaid@etu.univ-tours.fr Université François Rabelais Tours Laboratoire d Informatique 64 avenue Jean Portalis, 37200, Tours Journées

Plus en détail

MEAD : temps réel et tolérance aux pannes pour CORBA

MEAD : temps réel et tolérance aux pannes pour CORBA MEAD : un intergiciel temps-réel et tolérant aux pannes pour CORBA Master 2 Informatique Recherche Université de Marne-la-Vallée Vendredi 3 mars 2006 Plan 1 Introduction 2 Solutions existantes 3 Concilier

Plus en détail

5SINF200 : Développement de programmes (A. Slissenko) Examen

5SINF200 : Développement de programmes (A. Slissenko) Examen Licence Info Corrigé 5SINF200 : Développement de programmes (A. Slissenko) Examen Le 21 décembre 2006, 13h30 15h30 Utilisation des notes, des livres, des docs, etc. autorisée. Ce corrigé contient des réponses

Plus en détail

GRAFCET : IEC/CEI 60848

GRAFCET : IEC/CEI 60848 GRAFCET : IEC/CEI 60848 1) Rappels 2) Structuration & Hiérarchisation 3) Implémenter Des Grafcets 4) Coordination De Taches Raymond Philippe maj avril 2006 vidéo GRAFCET : IEC/CEI 60848 1) Rappels Historique

Plus en détail

Directive Machines 2006/42/CE et retour d expérience: Magelis XBT GH. Christophe Deschamps 20 Octobre 2009 3emes rencontres en sécurité fonctionnelle

Directive Machines 2006/42/CE et retour d expérience: Magelis XBT GH. Christophe Deschamps 20 Octobre 2009 3emes rencontres en sécurité fonctionnelle Directive Machines 2006/42/CE et retour d expérience: Magelis XBT GH Christophe Deschamps 20 Octobre 2009 3emes rencontres en sécurité fonctionnelle Magelis XBT GH 2 Magelis XBT GH Arrêt d urgence Ecran

Plus en détail

Performance de la planification > Optimisation des stocks, des prévisions et de la qualité de service

Performance de la planification > Optimisation des stocks, des prévisions et de la qualité de service Performance de la planification > Optimisation des stocks, des prévisions et de la qualité de service OPTIMISATION DES STOCKS, DES PRÉVISIONS ET DE LA QUALITÉ DE SERVICE Objectifs : Augmenter les performances

Plus en détail

Nous trouvons là les deux thématiques abordées par les deux parties de l ouvrage.

Nous trouvons là les deux thématiques abordées par les deux parties de l ouvrage. $YDQWSURSRV La mise en œuvre du pilotage des systèmes de production constitue un enjeu sensible en raison, d une part, de l accroissement du niveau d automatisation de ceux-ci et, d autre part, de la multiplication

Plus en détail

MODELISATION INTEGREE DES ACTIVITES DE MAINTENANCE ET DE PRODUCTION

MODELISATION INTEGREE DES ACTIVITES DE MAINTENANCE ET DE PRODUCTION 3 e Conférence Francophone de MOdélisation et SIMulation Conception, Analyse et Gestion des Systèmes Industriels MOSIM 01 du 25 au 27 avril 2001 - Troyes (France) MODELISATION INTEGREE DES ACTIVITES DE

Plus en détail

La Gestion de Production Méthode MRP A. BOUAISSI

La Gestion de Production Méthode MRP A. BOUAISSI La Gestion de Production Méthode MRP A. BOUAISSI Généralités Objet de la gestion de production Introduction 1.1 Objet de la gestion de production La gestion de production a pour objectif de répondre aux

Plus en détail

Méthodes de test. Mihaela Sighireanu

Méthodes de test. Mihaela Sighireanu UFR d Informatique Paris 7, LIAFA, 175 rue Chevaleret, Bureau 6A7 http://www.liafa.jussieu.fr/ sighirea/cours/methtest/ Partie I 1 Propriétés 2 Un peu de génie logiciel de test 3 Eléments Problèmes Point

Plus en détail

Raisonnement symbolique et géométrique pour la robotique mobile

Raisonnement symbolique et géométrique pour la robotique mobile Introduction à la réunion finale Raisonnement symbolique et géométrique pour la robotique mobile J. Guitton, J.L. Farges Control Architectures of Robots - Bourges - 30 mai 2008 1 Plan Introduction Vers

Plus en détail

Conception en Vue du Test (CVT-DFT) des circuits intégrés digitaux INTRODUCTION

Conception en Vue du Test (CVT-DFT) des circuits intégrés digitaux INTRODUCTION Conception en Vue du Test (CVT-DFT) des circuits intégrés digitaux INTRODUCTION Mounir BENABDENBI Mounir.Benabdenbi@lip6.fr Laboratoire d Informatique de Paris 6 (LIP6) 2007 Landrault Techniques et outils

Plus en détail

Plan de la présentation

Plan de la présentation Thomas Quang Khoi TA Équipe ETSN, Supélec, campus de Rennes Mitsubishi -TCL, Rennes 08 décembre 2003 1 Plan de la présentation 1- Codes produits, 2- Décodage itératif des codes produits : turbo codes en

Plus en détail

Analyse de l introduction d anti-patrons de testabilité au cours de développement

Analyse de l introduction d anti-patrons de testabilité au cours de développement Analyse de l introduction d anti-patrons de testabilité au cours de développement Equipe VASCO MUHAMMAD RABEE SHAHEEN LYDIE DU BOUSQUET 22 Octobre 2009 Journée SEmba 1/ 26 Analyse de l introduction d anti-patrons

Plus en détail

Les méthodes formelles dans le cycle de vie. Virginie Wiels ONERA/DTIM Virginie.Wiels@onera.fr

Les méthodes formelles dans le cycle de vie. Virginie Wiels ONERA/DTIM Virginie.Wiels@onera.fr Les méthodes formelles dans le cycle de vie Virginie Wiels ONERA/DTIM Virginie.Wiels@onera.fr Plan Introduction Différentes utilisations possibles Différentes techniques pour différentes propriétés à différents

Plus en détail

Diagnostic probabiliste des systèmes RFID

Diagnostic probabiliste des systèmes RFID Diagnostic probabiliste des systèmes RFID Rafik KHEDDAM, Oum-El-Kheir Aktouf et Ioannis Parissis 1 Plan de la présentation État de l art La RFID, c est quoi? Problématique Techniques existantes Approche

Plus en détail

GEL 1001 Design I (méthodologie)

GEL 1001 Design I (méthodologie) GEL 1001 Design I (méthodologie) Technique 2 Systèmes embarqués et fiabilité Hiver 2013 Département de génie électrique et de génie informatique Plan Système embarqué Ordinateur et architecture Von Neumann

Plus en détail

Détection de la terminaison distribuée

Détection de la terminaison distribuée Cours Algorithmique répartie Master 2 Université Paris-Diderot Devoir 1 (à rendre avant le 22 février 2010) Détection de la terminaison distribuée Généralités Π = {p 0,..., p n 1 } est l ensemble des processus.

Plus en détail

MBR225. Le module a été conçu et réalisé conformément aux normes en vigueur portant sur la sûreté et la fiabilité des installations industrielles.

MBR225. Le module a été conçu et réalisé conformément aux normes en vigueur portant sur la sûreté et la fiabilité des installations industrielles. MBR225 Module de surveillance des chaînes cinématiques Le module est dédié à la surveillance du fonctionnement de machines dont la chaîne cinématique constitue un facteur important de sécurité : treuil,

Plus en détail

Model checking temporisé

Model checking temporisé Model checking temporisé Béatrice Bérard LAMSADE Université Paris-Dauphine & CNRS berard@lamsade.dauphine.fr ETR 07, 5 septembre 2007 1/44 Nécessité de vérifier des systèmes... 2/44 Nécessité de vérifier

Plus en détail

Piloter l atelier l. Valeur ajoutée e du MES pour les PMI.

Piloter l atelier l. Valeur ajoutée e du MES pour les PMI. Pilotage d atelier Piloter l atelier l grâce au système d information d : Valeur ajoutée e du MES pour les PMI. Le MES? Un Manufacturing execution system (abrégé en MES) est un système informatique dont

Plus en détail

TP Systèmes automatisés Tri de caisses (ITS PLC)

TP Systèmes automatisés Tri de caisses (ITS PLC) TP Systèmes automatisés Tri de caisses (ITS PLC) Polytech Tours 1 Description L objectif de ce système de tri est de déplacer les caisses du tapis d arrivée vers les monte-charges (gauche ou droite) en

Plus en détail

Diagnostic d équipements avioniques par corrélation temporelle

Diagnostic d équipements avioniques par corrélation temporelle Diagnostic d équipements avioniques par corrélation temporelle Arnaud Lefebvre, Zineb Simeu-Abazi, Jean Pierre Derain, Mathieu Glade To cite this version: Arnaud Lefebvre, Zineb Simeu-Abazi, Jean Pierre

Plus en détail

Systèmes temps réel Concepts de base. Richard Grisel Professeur des Universités Université de Rouen

Systèmes temps réel Concepts de base. Richard Grisel Professeur des Universités Université de Rouen Systèmes temps réel Concepts de base Richard Grisel Professeur des Universités Université de Rouen 1 Systèmes temps réel - Choix Gestion des ressources Ordonnancement ( Scheduling ), Tolérance aux fautes

Plus en détail

Les sections 6 et 7. du ComitéNational de la RechercheScientifique

Les sections 6 et 7. du ComitéNational de la RechercheScientifique Les sections 6 et 7 du ComitéNational de la RechercheScientifique (CoNRS) Frédérique Bassino et Michèle Basseville Plan Le comité national Les missions des sections Les sections 6 et 7 Le comiténational

Plus en détail

SUR L ANALYSE DES SYSTEMES HYBRIDES A L AIDE DE RESEAUX DE PETRI

SUR L ANALYSE DES SYSTEMES HYBRIDES A L AIDE DE RESEAUX DE PETRI SUR L ANALYSE DES SYSTEMES HYBRIDES A L AIDE DE RESEAUX DE PETRI Mircea Adrian DRIGHICIU Universitatea din Craiova, Facultatea de Electromecanic Bd.Decebal Nr. 7, e-mail:adrighiciu@em.ucv.ro Résumé: La

Plus en détail

Analyse de programmes par interprétation abstraite

Analyse de programmes par interprétation abstraite Analyse de programmes par interprétation abstraite Marc PEGON marc.pegon@ensimag.imag.fr Ensimag - Grenoble INP Encadrants David MONNIAUX Matthieu MOY 1 / 21 Analyse statique : obtenir automatiquement

Plus en détail

B.1 Méthodes et Techniques : RCM/MBF, AMDEC

B.1 Méthodes et Techniques : RCM/MBF, AMDEC SOMMAIRE A. Première partie A.1 Ingénierie système : du besoin au système (produit/service) A.2 SDF, Maintenance et concepts sous-jacents A.3 Les méthodes : L applicabilité A.4 GMAO = GM + AO B. Deuxième

Plus en détail

Techniques et outils de test pour les logiciels réactifs synchrones

Techniques et outils de test pour les logiciels réactifs synchrones Journées Systèmes et Logiciels Critiques Institut IMAG ; 14-16 nombre 2000 Techniques et outils de test pour les logiciels réactifs synchrones Farid Ouabdesselam 1 Méthodes de test : classification générale

Plus en détail

Conception pièces et outillages en injection

Conception pièces et outillages en injection Formations Techniques ( ) Conception pièces et outillages en injection Durée :... 2 x 5 jours - 70 heures Personnel concerné :... dessinateur industriel, agent de méthodes, concepteur de pièces devant

Plus en détail

Besoin de concevoir des systèmes massivement répartis. Comment tester le système? Solution. Évaluation de systèmes répartis à large échelle

Besoin de concevoir des systèmes massivement répartis. Comment tester le système? Solution. Évaluation de systèmes répartis à large échelle Besoin de concevoir des systèmes massivement répartis. Évaluation de systèmes répartis à large échelle Sergey Legtchenko Motivation : LIP6-INRIA Tolérance aux pannes Stockage de données critiques Coût

Plus en détail

Contexte et motivations Les techniques envisagées Evolution des processus Conclusion

Contexte et motivations Les techniques envisagées Evolution des processus Conclusion Vérification de logiciels par analyse statique Contexte et motivations Les techniques envisagées Evolution des processus Conclusion Contexte et motivations Specification Design architecture Revues and

Plus en détail

Analyse abstraite de missions sous PILOT

Analyse abstraite de missions sous PILOT Analyse abstraite de missions sous PILOT Damien Massé EA 3883, Université de Bretagne Occidentale, Brest damien.masse@univ-brest.fr Résumé Nous étudions la possibilité de réaliser un analyseur par interprétation

Plus en détail

Générateur de code de simulation à partir de l information de localisation du produit

Générateur de code de simulation à partir de l information de localisation du produit Générateur de code de simulation à partir de l information de localisation du produit Andrés VÉJAR Patrick CHARPENTIER prénom.nom@cran.uhp-nancy.fr Centre de Recherche en Automatique de Nancy (CRAN), CNRS

Plus en détail

Résolution d un problème de Job-Shop intégrant des contraintes de Ressources Humaines

Résolution d un problème de Job-Shop intégrant des contraintes de Ressources Humaines Résolution d un problème de Job-Shop intégrant des contraintes de Ressources Humaines ROADEF 09, 10-12 février 2009, Nancy (France) O. Guyon 1.2, P. Lemaire 2, É. Pinson 1 et D. Rivreau 1 1 LISA - Institut

Plus en détail

Commande robuste et extensions Pierre Apkarian. Travail Sous-Marin 15-16 Janv. 2014

Commande robuste et extensions Pierre Apkarian. Travail Sous-Marin 15-16 Janv. 2014 Commande robuste et extensions Pierre Apkarian Travail Sous-Marin 15-16 Janv. 2014 Sommaire Introduction Techniques fondamentales de commande robuste Extensions Travail Sous-Marin 15-16 Janv. 2014 - -

Plus en détail

CHAPITRE 6. Capteurs intelligents

CHAPITRE 6. Capteurs intelligents CHAPITRE 6 Capteurs intelligents Gwenaëlle TOULMINET asi 2002-2003 1 Introduction Développement industriel nécessite une instrumentation coûteuse Maîtrise des procédés de fabrication. Maîtrise de la qualité

Plus en détail

Français. intelligent video armonia.

Français. intelligent video armonia. Français intelligent video armonia. intelligent video armonia. Un concept naît dans les systèmes vidéo intelligents: Armonia. Car quand les caméras sont nombreuses, elles doivent savoir coopérer entre

Plus en détail

Tolérance aux Fautes des Grappes d Applications J2EE. Applications Internet dynamiques

Tolérance aux Fautes des Grappes d Applications J2EE. Applications Internet dynamiques Application statique Tolérance aux Fautes des Grappes d Applications J2EE Sara Bouchenak Sacha Krakowiak, Noël de Palma, Stéphane Fontaine Projet SARDES INRIA IMAG CFSE'4, 6-8 avril 2005 Tolérance aux

Plus en détail

REFERENTIEL DU CQPM. Les missions ou activités susceptibles de lui être confiées peuvent être, à titre d exemples non exhaustifs :

REFERENTIEL DU CQPM. Les missions ou activités susceptibles de lui être confiées peuvent être, à titre d exemples non exhaustifs : COMMISSION PARITAIRE NATIONALE DE L'EMPLOI DE LA METALLURGIE Qualification : 2006 07 74 0251 Catégorie : B Dernière modification : 10/05/2007 REFERENTIEL DU CQPM TITRE DU CQPM : Animateur (trice) d équipe

Plus en détail

Ordonnancement Temps Réel. Emmanuel GROLLEAU & Pascal RICHARD LISI/ENSMA {grolleau,richardp}@ensma.fr

Ordonnancement Temps Réel. Emmanuel GROLLEAU & Pascal RICHARD LISI/ENSMA {grolleau,richardp}@ensma.fr Ordonnancement Temps Réel Emmanuel GROLLEAU & Pascal RICHARD LISI/ENSMA {grolleau,richardp}@ensma.fr 2 Plan de la présentation 1. Introduction aux systèmes temps réel 1.1 Différents modèles de tâches 1.2

Plus en détail

TECHNIQUES DE PLANIFICATION DE LA PRODUCTION

TECHNIQUES DE PLANIFICATION DE LA PRODUCTION TECHNIQUES DE PLANIFICATION DE LA PRODUCTION I LES PRINCIPES DE BASE DE FONCTIONNEMENT DE TOUTE MRP Planification de la production: décision tactique dans systèmes productifs produisant pour stock ou assemblant

Plus en détail

MASTER SIS PRO : logique et sécurité DÉTECTION D INTRUSIONS. Odile PAPINI, LSIS. Université de Toulon et du Var. papini@univ-tln.

MASTER SIS PRO : logique et sécurité DÉTECTION D INTRUSIONS. Odile PAPINI, LSIS. Université de Toulon et du Var. papini@univ-tln. MASTER SIS PRO : logique et sécurité DÉTECTION D INTRUSIONS Odile PAPINI, LSIS. Université de Toulon et du Var. papini@univ-tln.fr Plan Introduction Généralités sur les systèmes de détection d intrusion

Plus en détail

SENSIBILISATION A LA SECURITE MACHINES

SENSIBILISATION A LA SECURITE MACHINES SENSIBILISATION A LA SECURITE MACHINES NOUVELLE DIRECTIVE et NOUVELLES NORMES EUROPEENNES Applicables fin 2009. Guide d interprétation et d application (produits celduc relais) celduc 2009 1 DIRECTIVES

Plus en détail

Mastère Systèmes Electriques

Mastère Systèmes Electriques Mastère Systèmes Electriques Année Universitaire 2008-2009 Université Tunis El Manar Etablissement : ENIT : BP.37 1002 Tunis le Belvédère - Tel :71 874 700 Fax : 71 872 729, http://www.enit.rnu.tn Ecole

Plus en détail

Annexe 6. Notions d ordonnancement.

Annexe 6. Notions d ordonnancement. Annexe 6. Notions d ordonnancement. APP3 Optimisation Combinatoire: problèmes sur-contraints et ordonnancement. Mines-Nantes, option GIPAD, 2011-2012. Sophie.Demassey@mines-nantes.fr Résumé Ce document

Plus en détail

MSE 2. Module de processus haute performance pour l assemblage de raccords vissés

MSE 2. Module de processus haute performance pour l assemblage de raccords vissés Module de processus haute performance pour l assemblage de raccords vissés Ultra-dynamique, compact et polyvalent Le module de processus breveté MSE pour l assemblage de raccords vissés est parfaitement

Plus en détail

INFO DIAG OUTILS DE DIAGNOSTIC

INFO DIAG OUTILS DE DIAGNOSTIC CITROËN INFO DIAG OUTILS DE DIAGNOSTIC LEXIA PROXIA CD 29 AC / QCAV / MTD FILIALES / IMPORTATEURS / DR DISTRIBUTEUR VN CITROËN - Préparateur VN - Coordinateur Campagnes RÉPARATEURS AGRÉÉS CITROËN - Responsable

Plus en détail

QUESTIONNAIRE DE PRE-AUDIT. Rubrique n 1 : Présentation de l entreprise

QUESTIONNAIRE DE PRE-AUDIT. Rubrique n 1 : Présentation de l entreprise QUESTIONNAIRE DE PRE-AUDIT MISE A NIVEAU DE L ENTREPRISE PAR LE GENIE INDUSTRIEL Pré-audit réalisé le... Rédacteur(s). Rubrique n 1 : Présentation de l entreprise Renseignements généraux - Identité de

Plus en détail

Gene-Auto, Projet ITEA 05018 IDM pour la génération de code critique certifié Validation et Vérification de transformations

Gene-Auto, Projet ITEA 05018 IDM pour la génération de code critique certifié Validation et Vérification de transformations Gene-Auto, Projet ITEA 05018 IDM pour la génération de code critique certifié Validation et Vérification de transformations Journées GDR GPL Transformations de modèles et de programmes 18 janvier 2008

Plus en détail

Analyse d images en vidéosurveillance embarquée dans les véhicules de transport en commun

Analyse d images en vidéosurveillance embarquée dans les véhicules de transport en commun des s Analyse d images en vidéosurveillance embarquée dans les véhicules de transport en commun Sébastien Harasse thèse Cifre LIS INPG/Duhamel le 7 décembre 2006 1 Système de surveillance des s Enregistreur

Plus en détail

La surveillance aérienne automatisée des canalisations de transport d énergie M. Zarea, GDF SUEZ

La surveillance aérienne automatisée des canalisations de transport d énergie M. Zarea, GDF SUEZ La surveillance aérienne automatisée des canalisations de transport d énergie M. Zarea, GDF SUEZ 4 ème Workshop du GIS 3SGS 11 Valenciennes, 12-13 Octobre, 2011 Plan de la présentation DRI / CRIGEN qui

Plus en détail

Evaluation de performance en Sûreté de Fonctionnement

Evaluation de performance en Sûreté de Fonctionnement Groupe SdF Midi-Pyrénées Toulouse 5 juin 2015 Evaluation de performance en Sûreté de Fonctionnement - Andre.cabarbaye Plan Introduction Types de performances Finalité des analyses Attentes du donneur d

Plus en détail

AMDEC - Principes de base - Paris, le 03 janvier 2011 Version 1.0

AMDEC - Principes de base - Paris, le 03 janvier 2011 Version 1.0 - - Paris, le 03 janvier 2011 Version 1.0 L permet de recenser et de classer par ordre d importance les défaillances ou risques de défaillances d un équipement ou d un procédé L (Analyse des Modes de Défaillance,

Plus en détail

Introduction à la programmation en variables entières Cours 3

Introduction à la programmation en variables entières Cours 3 Introduction à la programmation en variables entières Cours 3 F. Clautiaux francois.clautiaux@math.u-bordeaux1.fr Université Bordeaux 1 Bât A33 - Bur 272 Sommaire Notion d heuristique Les algorithmes gloutons

Plus en détail

Contrat et mise à disposition d infrastructure d hébergement

Contrat et mise à disposition d infrastructure d hébergement 1 Contrat et mise à disposition d infrastructure d hébergement ARTICLE 1 DESCRIPTION DE LA PRESTATION DE SERVICES HEBERGEMENT La prestation consiste en la réalisation des tâches suivantes : Mise à disposition

Plus en détail

Pilotage d une ligne d assemblage en environnement incertain

Pilotage d une ligne d assemblage en environnement incertain Pilotage d une ligne d assemblage en environnement incertain C. Nguyen Directeur de thèse: C. Caux Co-encadrant: S. Durieux Institut Pascal, IFMA, Clermont-Ferrand 16 ème journées STP du GdR MACS Ecole

Plus en détail

GÉNÉRATION DE PLAN PAR EXPLORATION SELECTIVE D UN ARBRE DE COUVERT 2. EXPLORATION ET SELECTION DANS L ARBRE DE COUVERTURE

GÉNÉRATION DE PLAN PAR EXPLORATION SELECTIVE D UN ARBRE DE COUVERT 2. EXPLORATION ET SELECTION DANS L ARBRE DE COUVERTURE GÉNÉRATION DE PLAN PAR EXPLORATION SELECTIVE D UN ARBRE DE COUVERT Mercedes E. Narciso, Miquel A. Piera Dept Computer Science, Univ. Autonoma de Barcelona Bellaterra, 0819 Barcelona, Espagne mnarciso (miquel)@sunaut.uab.es

Plus en détail

Aide à la décision pour l'optimisation de la maintenance des stations de compression de gaz naturel

Aide à la décision pour l'optimisation de la maintenance des stations de compression de gaz naturel Aide à la décision pour l'optimisation de la maintenance des stations de compression de gaz naturel J. Blondel, L. Marle - CRIGEN A. Abdesselam GRTgaz F. Brissaud - DNV France Presentation Plan Objectifs

Plus en détail

ROLLAIR 550-750-1000-1500 Accessibilité accrue, maintenance simplifiée

ROLLAIR 550-750-1000-1500 Accessibilité accrue, maintenance simplifiée motralec ROLLAIR 550-750-1000-1500 Accessibilité accrue, maintenance simplifiée Conception compacte et simple rendant le compresseur à vis accessible à un plus grand nombre d utilisateurs Le ROLLAIR 550-1500

Plus en détail

Divalto infinity. Production

Divalto infinity. Production Divalto infinity Divalto infinity couvre l ensemble du cycle de la gestion de production. De la conception des données techniques - base fondamentale de la production - des fonctions de simulation aux

Plus en détail

Des outils pour l optimisation et la robustesse. Marc Sevaux

Des outils pour l optimisation et la robustesse. Marc Sevaux Des outils pour l optimisation et la sse Marc Sevaux Université de Valenciennes et du Hainaut-Cambrésis Laboratoire d Automatique, de Mécanique et d Informatique Industrielles et Humaines (UMR CNRS 8530)

Plus en détail

Algorithmique dans les systèmes distribués - Elec9on de leader -

Algorithmique dans les systèmes distribués - Elec9on de leader - Algorithmique dans les systèmes distribués - Elec9on de leader - Eddy Caron 03 M. ENS- Lyon Quelques algorithmes distribués Quelques méthodes générales d approche Principe général: introduire des contraintes

Plus en détail

JAGUAR et EASY. Des applications simples.

JAGUAR et EASY. Des applications simples. JAGUAR et EASY Des applications simples. Possibilités d'équipement de la JAGUAR avec les différentes options 1. Suivi standard (offline / ) Enregistrements pour 20 tâches (ou chantiers) dans le CEBIS Toutes

Plus en détail

CENTRE DE FORMATION SAINT-JOSEPH

CENTRE DE FORMATION SAINT-JOSEPH CENTRE DE FORMATION SAINT-JOSEPH Enregistré sous le numéro 26210000321, cet t enregistrement ne vaut pas agrément de l Etat PROGRAMME DE FORMATION Licence Sciences, technologies et santé mention Sciences

Plus en détail

Notions de Gestion de Projet (Partie 2)

Notions de Gestion de Projet (Partie 2) Notions de Gestion de Projet (Partie 2) QCM Sommaire 1ère 1 Partie Sommaire 2ème 2 Partie - Problématique de départ Structure et Pilotage d un projet - Qu est ce qu un projet? - Vocabulaire spécifique

Plus en détail

Gestion réactive des opérations de maintien et d actualisation réglementaire et technologique des systèmes complexes.

Gestion réactive des opérations de maintien et d actualisation réglementaire et technologique des systèmes complexes. Gestion réactive des opérations de maintien et d actualisation réglementaire et technologique des systèmes complexes. LE QUERE Yann, SEVAUX Marc, TRENTESAUX Damien, TAHON Christian Equipe Systèmes de Production

Plus en détail

Tectura Process Manufacturing

Tectura Process Manufacturing Tectura Process Manufacturing BENEFICES METIER OPTIMISEZ LA GESTION DE VOS FORMULES, EMBALLAGES ET TARIFS RENFORCEZ LA GESTION DE LA QUALITE TOUT AU LONG DES PROCESSUS GARANTISSEZ LA CONFORMITE DE VOTRE

Plus en détail

Les 6èmes Journées Francophones sur les Réseaux Bayésiens

Les 6èmes Journées Francophones sur les Réseaux Bayésiens Les 6èmes Journées Francophones sur les Réseaux Bayésiens 11 13 Mai 2012, Îles de Kerkennah, Tunisie Vers des Réseaux Bayésiens pour la Classification des Causes de Défaillances PRÉSENTÉ PAR: MOHAMMED

Plus en détail

PLANIFICATION ET OPERATIONS INTEGREES DU TRANSPORT MULTIMODAL

PLANIFICATION ET OPERATIONS INTEGREES DU TRANSPORT MULTIMODAL PLANIFICATION ET OPERATIONS INTEGREES DU TRANSPORT MULTIMODAL KEYWORDS : SYSTEMX, Transport, Multimodal, Simulation, Optimisation, Supervision CONTEXTE de l IRT SYSTEMX L IRT SystemX est un institut de

Plus en détail

«Le baccalauréat professionnel RPIP : réalisation des produits imprimés et plurimédia

«Le baccalauréat professionnel RPIP : réalisation des produits imprimés et plurimédia «Le baccalauréat professionnel RPIP : réalisation des produits imprimés et plurimédia La certification intermédiaire, le BEP «réalisation des produits imprimés et plurimedia» DESPREZ JM IA IPR STI LILLE

Plus en détail

UNIVERSITÉ DE TECHNOLOGIE COMPIÈGNE. Mécatronique Mécanique UTC 2022

UNIVERSITÉ DE TECHNOLOGIE COMPIÈGNE. Mécatronique Mécanique UTC 2022 UNIVERSITÉ DE TECHNOLOGIE COMPIÈGNE Mécatronique Mécanique UTC 2022 Mécatronique UTC 2022 2 Méthode de travail Groupe de travail: Christine Prelle, Didier Lemoine, M Bricogne, F. Lamarque, Guy Friedrich

Plus en détail

Pilot4IT Monitoring : Mesurez la qualité et la performance perçue de vos applications.

Pilot4IT Monitoring : Mesurez la qualité et la performance perçue de vos applications. Pilot4IT Monitoring : Mesurez la qualité et la performance perçue de vos applications. La supervision est la «surveillance du bon fonctionnement d un système ou d une activité». Elle permet de surveiller,

Plus en détail

Industrialisation du logiciel Temps Réel Critique

Industrialisation du logiciel Temps Réel Critique Industrialisation du logiciel Temps Réel Critique Sommaire Projets opérationnels Les outils du marché utilisés et les contraintes associées CS et les méthodes CS et la R&D Conclusion RdV de l'innovation

Plus en détail

Stratégie, risques et objectifs

Stratégie, risques et objectifs Risk Management Stratégie, risques et objectifs Un risque est un évènement probable pouvant affecter l atteinte d un objectif. Les risques pèsent sur les objectifs de toute organisation : projet, entreprise

Plus en détail

Ordonnancement temps réel multiprocesseur pour la réduction de la consommation énergétique des systèmes embarqués

Ordonnancement temps réel multiprocesseur pour la réduction de la consommation énergétique des systèmes embarqués Soutenance de thèse Ordonnancement temps réel multiprocesseur pour la réduction de la consommation énergétique des systèmes embarqués Vincent LEGOUT Directeurs de thèse : Laurent PAUTET, Mathieu JAN CEA

Plus en détail

GPAO : MAITRISER SA LOGISTIQUE ET SES FLUX A VALEUR AJOUTEE

GPAO : MAITRISER SA LOGISTIQUE ET SES FLUX A VALEUR AJOUTEE Dans les périodes de crise, la capacité des entreprises industrielles à maîtriser leurs modèles économiques et leur apport de valeur ajoutée est une des compétences clés. Les tensions sur les prix de revient

Plus en détail

Programmer avec SCRATCH pour Arduino (S4A) Premiers pas

Programmer avec SCRATCH pour Arduino (S4A) Premiers pas Programmer avec SCRATCH pour Arduino (S4A) Premiers pas Rédigé le 16/01/2012 Par Dominique Il existe une version de SCRATCH pour l Arduino. Elle permet de piloter un Arduino à partir du code SCRATCH et

Plus en détail

Eléments de spécification des systèmes temps réel Pierre-Yves Duval (cppm)

Eléments de spécification des systèmes temps réel Pierre-Yves Duval (cppm) Eléments de spécification des systèmes temps réel Pierre-Yves Duval (cppm) Ecole d informatique temps réel - La Londes les Maures 7-11 Octobre 2002 - Evénements et architectures - Spécifications de performances

Plus en détail

LA MAINTENANCE CORRECTIVE

LA MAINTENANCE CORRECTIVE I GENERALITES : 11 Définition : Norme NF EN 13306 : Maintenance exécutée après détection d'une panne et destinée à remettre un bien dans un état dans lequel il peut accomplir une fonction requise. Synonymes

Plus en détail

ZOLLER INSPECTION SOLUTIONS. La solution pour la numérisation 3D de pièces et d outils. 3dCheck

ZOLLER INSPECTION SOLUTIONS. La solution pour la numérisation 3D de pièces et d outils. 3dCheck La solution pour la numérisation 3D de pièces et d outils 3dCheck 02 03 Enregistrer des objets complexes en toute précision et les analyser avec flexibilité»3dcheck«la»3dcheck«de est la machine d inspection

Plus en détail

Bystronic: Best choice.

Bystronic: Best choice. LOGICIEL + SERVICES BySoft 7 4 LOGICIEL BySoft 7 Concevoir et calculer des pièces, créer des plans de découpe et des programmes de pliage, planifier et superviser des process de fabrication: un processus

Plus en détail

A.MILLIET et J-C ROLIN

A.MILLIET et J-C ROLIN ANALYSE FONCTIONNELLE Analyse fonctionnelle - Analyse fonctionnelle externe : Expression du besoin (Bête à cornes), Identification des fonctions de service (Diagramme Pieuvre). - Analyse fonctionnelle

Plus en détail

RAPPORT DU PREMIER MINI PROJET «FORUM DE CHAT» Novembre 2005

RAPPORT DU PREMIER MINI PROJET «FORUM DE CHAT» Novembre 2005 Oussama ELKACHOINDI Wajdi MEHENNI RAPPORT DU PREMIER MINI PROJET «FORUM DE CHAT» Novembre 2005 Sommaire I. Préliminaire : Notice d exécution et mode opératoire...4 II. Architecture globale de l application...5

Plus en détail

Programmation par contraintes pour la gestion du trafic ferroviaire

Programmation par contraintes pour la gestion du trafic ferroviaire Programmation par contraintes pour la gestion du trafic ferroviaire Joaquin Rodriguez joaquin.rodriguez@inrets.fr INRETS Forum "Systèmes & logiciels pour les NTIC dans le transport" - Seminaire Planification

Plus en détail