Speciality Tracks : TRCS (16 ECTS)

TRCS : Real Time, Steering and Supervision

 

Tracks : Real Time Embedded Systems - Embedded Computer Science Content of courses :

The objective of this track is to present the techniques currently used for the design and the verification of embedded systems, and more especially real-time embedded systems. The track relies on several courses covering various topics: the design of real-time systems and the architecture of a real-time operating system (OSEK/VDX standard is used); the real-time scheduling policies and the associated implementation; tools for the modelling and verification of real-time systems: Petri networks, finite state automata and time automata.

  • Real time systems (TREEL) - O.H. Roux  (4 ECTS)
  • Modelling and verification (MEV) - D. Lime (4 ECTS)
  • Scheduling for real- time systems (OSTR) - A.M. Déplanche, Y. Trinquet (4 ECTS)
  • Petri nets (RDP) - O.H. Roux, D.Delfieu (4 ECTS)
  • Embedded Systems Design (CSE), M. Chetto, A. Queudet (4 ECTS)


Tracks : Management of complex systems

  • Knowledge and Diversity Management, C. Da Cunha, F. Laroche ( 4 ECTS)
  • Entreprise Modelling, A. Bernard (4 ECTS)
  • Information Systems, F. Laroche (4 ECTS)
  • Supply Chain management, C. Da Cunha (4 ECTS)
  • Constraint Programming,  R. Chenouard (4 ECTS)


Track : Simulation and Supervision Content of courses :

This track aims at introducing the moderrn tools and methods for the performance analysis, simulation, control and supervision of discrete event systems, in particular in production systems and on-line management. The lectures include the modeling and supervisory control of discrete-event systems, ressource management, sizing and synthesis, just in time control, hybrid systems and their optimal control, discrete-event off-line and on-line simulation and applications to flexible manufacturing, dynamic scheduling and rescheduling, on-line observation and computer-aided decision making. 

  • Modelling and supervision of DES (MSSED) - J.J.Loiseau (4 ECTS)
  • Data-processing simulation of DES (SISED) - P. Castagna,N.Mebarki (4 ECTS)
  • Hybrid systems (SH) – M. Gapaillard, N. Rakoto (4 ECTS)
  • Logistics, planification and scheduling, N. Mebarki (4 ECTS)
  • Statistical methods for process monitoring, Ph Castagliola (4ECTS)
  • Reliability and maintenance of production systems, B. Castanier (4 ECTS)