Etienne Craye – Jean-Marc Faure INCOS GDR MACS INCOS INgénierie de la COmmande et de la Supervision des SED -DES Control and Monitoring Engineering Fusion.

Slides:



Advertisements
Présentations similaires
GDRMACS Objectifs thématiques et Structuration
Advertisements

Yassine Lakhnech Prof. UJF Verimag
Groupe Energie et mobilité durables Réunion de lancement 14 Décembre 2010.
Qu’est-ce que l’Automatique ?
Un processus de conception des logiciels distribués pour l’automobile
Journées nationales du GDR-Robotique, octobre Bilan GT 6 1 GT6 Conception innovante et mécatronique GABRIEL ABBA PHILIPPE WENGER.
GT3 Manipulation multi-échelle
1 Létude benchmarking. 2 Objectifs : Définir par regroupement la formation système « idéale » Obtenir un point de comparaison internationale avec loffre.
IREMIA : Institut de REcherche en Mathématiques et Informatique Appliquées Université de la Réunion Uniformisation des mécanismes de conception de SMA.
2002 Exploratoire ASTRÉE : Analyse Statique de logiciels Temps-RÉel Embarqués 1)Le problème considéré est de démontrer statiquement (à la compilation)
SYSTEMES DE CONTRÔLE – COMMANDE ET INFORMATIQUE DISTRIBUEE TEMPS REEL
1 CITI – Lyon Centre dInnovation en Télécommunications et Intégration de service Responsable : Stéphane Ubéda 13 permanents, 7 thésards Thématiques –QoS.
STRIE Systèmes Temps-Réel et Informatique Enfouie
Projet FIACRE 1 ACI Sécurité InformatiqueToulouse, novembre 2004 FIACRE Fiabilité des Assemblages de Composants Répartis Modèles et outils pour lanalyse.
ACI GRID Projet JE RESAM Support Réseau et Intelligence pour la Grille Coordinateur C. Pham, Univ. Lyon 1, INRIA RESO.
10ème Journée Thématique AFIS
LA PRODUCTION MECANIQUE
Les routeurs actifs permettent d'exécuter du code à la volée. On peut ainsi optimiser fortement les protocoles de communication et ajouter plus rapidement.
GDR ONDES : GT4 « Antennes & Circuits »
Bienvenue Groupes de Travail IS3C et C2EI
Composants Logiciels pour Îlots de Palettisation robotisés
Le profil ingénieur type de l'option QSF sappuie sur la définition des ingénieurs EMN comme des professionnels de la conduite de projets technologiques.
Option GIPAD Génie Informatique pour lAide à la Décision.
Les méthodes formelles en ingénierie des connaissances Damien Lhomme-Desages Jérémie Barlet.
Laboratoire ICTT Interaction personnes-machines et conception des interfaces, Collaborative inter individuel et intergroupe, Téléformation : nouvelles.
Thème « Modélisation comportementale des Systèmes critiques »
Cours DESS Nantes 04 Décembre 2002
1 B Système Enjeux et principes Cours DESS Nantes 04 Décembre 2002 Didier ESSAME.
Bienvenue aux 10 Ans du groupe Bermudes le 16 Juin 2006 à Tours GdR RO.
Mercredi 10 Octobre 2012 Colloque du programme GICC 1 Eric Duviella.
Diagnostic des Systèmes à Evénements Discrets
Option GI 2009 et cursus possibles
Option GI cursus possibles
SCIENCES DE L ’INGENIEUR
C6E2 Positionnement de C6E2 par rapport à SimPA2 et Modelica
Projet région Thématique prioritaire n°10 Calculs Scientifiques Logiciels Rhône-Alpes : Grille pour le Traitement dInformations Médicales (RAGTIME ?)
GT Modèles Formels pour l'Interaction
COTRE COmposants Temps REel
Marie-Laure Potet et Yves Ledru(LSR/IMAG)
Journée de lancement du Réseau Thématique Pluridisciplinaire 32
LSR Groupe de Travail AFADL du GDR ALP Journée de rencontre « Techniques Formelles pour le Génie Logiciel » 5 juin 2002 ENST – Paris Préparée par Yves.
1 SEEDS/M&M - MACS 23 janvier 2007 Groupement de Recherche SEEDS Systèmes d'Énergie Électrique dans leurs Dimensions Sociétales.
Marcel Staroswiecki Sylviane Gentil
Les étapes du cycle de développement du génie logiciel
Programme du groupe Vendome-OGP
Initiation aux Sciences de l’ Ingénieur
Réunion de collaboration du 9-10 Juillet 2008 J.L. Béney 1 Logiciel At  Client-Serveur Tcp/ip de la station autonome  Influence de l'architecture matérielle.
28 janvier 2010 ConecsSdF : Co-design de systèmes commandés en réseau et sûrs de fonctionnement (GT ARC) 1 2 ème journée de l’Action ConecsSdF Co-design.
Activités de l’équipe GCSP du Laboratoire G-SCOP Sciences pour la Conception, l’Optimisation et la Production de Grenoble UMR CNRS 5272.
Supports de formation au SQ Unifié
Introduction au Génie Logiciel
Laboratoire Ergonomie et Sciences COgnitives pour les Transports
Présentation AICHA REVEL INGENIEUR D’ÉTUDE STERIA DEPARTEMENT TRD
FILIERE « SCIENCES DE LA PRODUCTION INDUSTRIELLE »
INSTITUT NATIONAL DE FORMATION EN INFORMATIQUE
1 Le GT1 « Diagnostic, prise de décision, contrôle cognitif et gestion des risques » Le GT1 « Diagnostic, prise de décision, contrôle cognitif et gestion.
Réseaux de Petri et ontologies : des outils pour le suivi de l’apprenant dans les jeux sérieux (SG) P. Thomas, A. Yessad, J.-M. Labat Équipe Mocah, LIP6,
Chapitre Toulouse Midi-Pyrénées INVITATION 3 ème Déjeuner Technique Facteurs Humains et IHM en Ingénierie Système Mercredi 15 Mai 2013 ENSEEIHT 2, rue.
ARP 2002–2005 Comité de direction 28 mars ARP 1998– équipes 25 MENRT, 60 CNRS, 25 INRIA, 10 GET Liste de diffusion: 600 adresses Structure.
BACCALAUREAT PROFESSIONNEL 3 ANS MICROTECHNIQUES Quelques points clés.
Master Sciences - Mention informatique Ingénierie du Logiciel et des Connaissances Ingénierie du Logiciel et des ConnaissancesQualité 4 janvier 2010 Jean.
Projet MIKTI : Réunion du THEME V : Evaluation et Maintenance des Ponts Mixtes Pourquoi un tel thème? –Rappels des objectifs du PN: Solutions.
© 2015 SAMARES ENGINEERING – All rights reserved Raphaël Faudou Groupe de travail sur les exigences Paris – 9 Octobre.
1 Journée GDR GPL --- Ingénierie des Exigences octobre 2015 Ph. Dhaussy Philippe Dhaussy Univ. Européenne de Bretagne Lab-STICC UMR CNRS 6285 Equipe.
PRI CARNOT Communauté d‘ Analyse et de Recherche sur les Nouvelles Orientations de la Thermodynamique C A R N O T PRI 8.1.
19 avril Spécification d’un cadre d’ingénierie pour les réseaux d’organisations Laboratoire de recherche : OMSI à l’EMSE.
Ingénierie d’Entreprise et de Système d’Information Dirigée par les Modèles : Conception, Intégration et Usages Easy-DIM Chef de projet : Hervé Panetto.
1 GDR 717 MACS Groupement de Recherche en Modélisation, Analyse et Conduite des Systèmes Dynamiques.
1 EDF Electricité de France novembre 2003Journées scientifiques GdR MOMAS GdR MOMAS – Pourquoi ?  Echanger les informations entre les acteurs du.
Transcription de la présentation:

Etienne Craye – Jean-Marc Faure INCOS GDR MACS INCOS INgénierie de la COmmande et de la Supervision des SED -DES Control and Monitoring Engineering Fusion en octobre 2003 des groupes de travail : -ASSF : Automatisation et Systèmes Sûrs de Fonctionnement GT du GRP -COSED : Commande Opérationnelle des SED GT du GDR MACS pôle Automatique GT transversal : pôles STP et Automatique

Etienne Craye – Jean-Marc Faure INCOS GDR MACS Thématique scientifique - 1 Lobjectif du groupe est de contribuer à la sûreté de fonctionnement et à lamélioration des performances des systèmes de contrôle/commande et de supervision majoritairement discrets. ……. …. en couvrant lensemble du cycle dingénierie des systèmes de commande et de supervision : de la spécification prenant en compte les besoins de lutilisateur et les contraintes du processus commandé à limplantation effective des fonctions de commande et supervision sur des architectures matérielles incluant des réseaux. …… Les outils de modélisation majoritairement utilisés par cette communauté relèvent de l'automatique des SED (automates à états, réseaux de Petri, grafcet, state-charts, …).

Etienne Craye – Jean-Marc Faure INCOS GDR MACS Thématique scientifique - 2 Thèmes : Méthodes formelles danalyse (vérification par approches algébriques, model-checking, …) et de synthèse de modèles à états discrets Méthodes danalyse par simulation de modèles à états discrets (automates, RdP, …) Surveillance et Diagnostic des SED Domaines applicatifs : Conception de logiciels de Commande et de Supervision Conception darchitectures de Commande et de Supervision (Systèmes en réseau) Gestion dalarmes Stratégies de Reconfiguration

Etienne Craye – Jean-Marc Faure INCOS GDR MACS Fonctionnement Réunions : Deux réunions annuelles dans le cadre des RdV du GDR MACS pôle STP (Sciences et Techniques de la Production) -Automne et Printemps Deux réunions spécifiques à la thématique du groupe -Hiver et Eté Comparaison des résultats autour dun exemple commun : Définition dun projet de recherche fédérateur, basé sur une plate-forme commune, permettant dexpérimenter et de valider les méthodologies

Etienne Craye – Jean-Marc Faure INCOS GDR MACS Exposés 2004 Thématiques abordées : Conception des architectures de commande distribuées sur réseau Ethernet TCP/IP Plate-forme technologique pour le MES Reconfiguration des SED Surveillance distribuée des systèmes à événements discrets complexes Synthèse de contrôleurs Systèmes Homme-Machine et surveillance "active" des SED

Etienne Craye – Jean-Marc Faure INCOS GDR MACS Connexions potentielles avec dautres GT du GDR MACS Groupe Réseaux de Petri (GDR ALP et MACS) : -Animateurs : Demongodin / Yim -Réunion commune en mars 2004 à Nantes Groupe MACOD (Modélisation et optimisation de la maintenance coopérative et distribuée) : -Animateurs : Iung / Sénéchal Groupe S3 (Sûreté/Surveillance/Supervision – GDR ISIS et MACS) : -Animateurs : Christophe Berenguer / Didier Maquin / Qinghua Zhang