M2 - Conception, Modélisation et Architecture des Systèmes Industriels Complexes (COMASIC)

S3 - Semestre 3 : 1 UE formation et 11 UE parmi 7 thématiques

Formation à la vie en entreprise ou à la recherche
ECTS : 2.5
Volume horaire ( CM : 21 )

Architecture système et ingénierie dirigée par les modèles

Modélisation multi-paradigme du temps et des comportements
ECTS : 2.5
Volume horaire ( CM : 18 TD : 3 )

Modélisation objet pour les systèmes
ECTS : 2.5
Volume horaire ( CM : 10.5 TD : 10.5 )

Architecture des systèmes
ECTS : 2.5
Volume horaire ( CM : 21 )

Sûreté de Fonctionnement
ECTS : 2.5
Volume horaire ( CM : 21 )

Ingénierie dirigée par les modèles des systèmes complexes temps-réels
ECTS : 2.5
Volume horaire ( CM : 9 TD : 12 )

Ingénierie des exigences
ECTS : 2.5
Volume horaire ( CM : 9 TD : 12 )

Vérification et validation

Validation inductive de programmes et de systèmes hybrides
ECTS : 2.5
Volume horaire ( CM : 10.5 TD : 10.5 )

Outils de test, critères et stratégies de couverture
ECTS : 2.5
Volume horaire ( CM : 10.5 TD : 10.5 )

Vérification déductive de programmes
ECTS : 2.5
Volume horaire ( CM : 10.5 TD : 10.5 )

Model checking et spécifications logiques de systèmes ouverts
ECTS : 2.5
Volume horaire ( CM : 15 TD : 6 )

Plateforme matérielle et logicielle

Architecture électronique des Systèmes Embarqués
ECTS : 2.5
Volume horaire ( CM : 10.5 TD : 10.5 )

Noyaux temps-réels
ECTS : 2.5
Volume horaire ( CM : 10.5 TD : 10.5 )

Systèmes réactifs et synchrones
ECTS : 2.5
Volume horaire ( CM : 10 TD : 11 )

Systèmes répartis et autonomiques
ECTS : 2.5
Volume horaire ( CM : 10.5 TD : 10.5 )

Traitement du signal, optimisation et contrôle

Signaux et Systèmes
ECTS : 2.5
Volume horaire ( CM : 24 )

Modélisation et commande par représentation d'état
ECTS : 2.5
Volume horaire ( CM : 12 TD : 12 )

Outils d'optimisation
ECTS : 2.5
Volume horaire ( CM : 7 TD : 14 )

Architecture des systèmes d'information de grande taille

Ingénierie de l'architecture applicative d'un système d'information
ECTS : 2.5
Volume horaire ( CM : 21 )

Technologies applicatives
ECTS : 2.5
Volume horaire ( CM : 10.5 TD : 10.5 )

Fouille de grandes masses de données
ECTS : 2.5
Volume horaire ( CM : 10.5 TD : 10.5 )

Modélisation et analyse des risques de sécurité dans les systèmes complexes
ECTS : 2.5
Volume horaire ( CM : 10.5 TD : 10.5 )

Algorithmique répartie
ECTS : 2.5
Volume horaire ( CM : 15 TD : 6 )

Modélisation métier

Modélisation métier : systèmes d'information des opérateurs de télécommunications, systèmes d'information bancaires
ECTS : 2.5
Volume horaire ( CM : 21 )

Modélisation métier : systèmes de transport
ECTS : 2.5
Volume horaire ( CM : 10 TD : 14 )

Systèmes temps-réels de contrôle-commande
ECTS : 2.5
Volume horaire ( CM : 16 TD : 5 )

Modélisation métier : systèmes multiphysiques dans le naval et l'avionique
ECTS : 2.5
Volume horaire ( CM : 7 TD : 14 )

Modélisation à temps continu et simulation

Modélisation et simulation de systèmes dynamiques
ECTS : 2.5
Volume horaire ( CM : 7 TD : 14 )

Modélisation de systèmes à temps continu
ECTS : 2.5
Volume horaire ( CM : 7 TD : 14 )

Analyse et résolution d'équations différentielles algébriques
ECTS : 2.5
Volume horaire ( CM : 7 TD : 14 )

Modelica et Dymola
ECTS : 2.5
Volume horaire ( CM : 7 TD : 14 )

S4 - Semestre 4

Stage
ECTS : 25
Volume horaire ( )

Projet
ECTS : 2.5
Volume horaire ( TD : 24 )

Anglais
ECTS : 2.5
Volume horaire ( CM : 24 )