Modules de spécialités : TRCS (16 ECTS)

TRCS : Temps Réel, Conduite et Supervision


Parcours : Systèmes Temps Réel Embarqués Contenu des cours :

L'objectif de ce parcours est de présenter les techniques actuellement utilisées pour la conception et la vérification des systèmes embarqués, et plus particulièrement les systèmes embarqués temps réel. Le parcours s'appuie sur plusieurs cours dont : la conception des systèmes temps réel et les systèmes d'exploitation temps réel ; l'ordonnancement temps réel ; des outils pour la modélisation et vérification des systèmes temps réel : les réseaux de Petri, les automates à états finis et les automates temporisés.

  • Temps réel (TREEL) - O.H. Roux (4 ECTS)
  • Modélisation et Vérification (MEV) – D. Lime (4 ECTS)
  • Ordonnancement des systèmes temps réel (OSTR) –A.M. Déplanche, Y. Trinquet (4 ECTS)
  • Réseaux de Petri (RDP) – O.H. Roux, D.Delfieu (4 ECTS)
  • Conception de systèmes embarqués (CSE), M. Chetto, A. Queudet (4 ECTS)


Parcours : Conduite d'entreprises

Ce parcours est dédié aux systèmes complexes se composant de nombreux sous-systèmes interagissant à de multiples niveaux d’organisation et de structure collective. L’objectif de cet ensemble de modules est la maîtrise de la complexité pour la conduite d’entreprises et le génie industriel. Ils couvrent la modélisation des systèmes complexes et particulièrement les modèles d’entreprise,  les systèmes d’information,  la gestion de production,  et l’utilisation de la programmation par contrainte. 

  • Particularités des systèmes complexes : gestion des connaissances / gestion de la diversité, C. Da Cunha, F. Laroche ( 4 ECTS)
  • Modélisation d'entreprises ,A. Bernard (4 ECTS)
  • Système d'information et gestion de la connaissance, F. Laroche (4 ECTS)
  • Supply Chain management, C. Da Cunha (4 ECTS)
  • Programmation par contraintes, R. Chenouard (4 ECTS)


Parcours : Simulation, Surveillance et Supervision

Ce parcours présente les outils modernes de l’analyse de performance, la simulation, le contrôle et la supervision des systèmes de production complexes,  pour la conception de systèmes de supervision . Les applications typiques concernent la conduite en ligne d'ateliers complexes,  nécessitant la coordination de plusieurs postes de travail et d’une flotte de robots mobiles. Les cours concernent la modélisation et la supervision des systèmes à événements discrets (SED),  la simulation en-ligne et hors-ligne des SED,  les systèmes hybrides et leur contrôle optimal,  les applications à la production flexible,  l’ordonnancement dynamique et le ré-ordonnancement,  la surveillance en ligne,  la maintenance et l’aide à la décision.

  • Modélisation et supervision de SED (MSSED) - J.J.Loiseau (4 ECTS)
  • Simulation informatique de SED (SISED) – P. Castagna(4 ECTS)
  • Systèmes Hybrides (SH) – M. Gapaillard, N. Rakoto (4 ECTS)
  • Logistique, planification et ordonnancement (LPO), N. Mebarki (4 ECTS)
  • Méthodes statistiques de surveillance des procédés (STAT), Ph Castagliola (4ECTS)
  • Fiabilité et Maintenance des systèmes de production (FIAB), B. Castanier (4 ECTS)