M2 - Conception et Intelligence des Logiciels et Systèmes (CILS)

S3 - Semestre 3

Apprentissages fondamentaux

Mastériales
ECTS : 2.5
Volume horaire ( TD : 21 )

Anglais
ECTS : 2.5
Volume horaire ( TD : 21 )

5 UE Système et réseaux autogérés au choix

Réseaux autonomiques
ECTS : 2.5
Volume horaire ( CM : 15 TD : 6 )

Cloud computing
ECTS : 2.5
Volume horaire ( CM : 21 )

Théorie des jeux et commande coopérative
ECTS : 2.5
Volume horaire ( CM : 15 TD : 6 )

Apprentissage statistique séquentiel et par renforcement
ECTS : 2.5
Volume horaire ( CM : 15 TD : 6 )

Optimisation multicritère et gestion de l'énergie
ECTS : 2.5
Volume horaire ( CM : 15 TD : 6 )

Ré-optimisation et apprentissage par transfert
ECTS : 2.5
Volume horaire ( CM : 15 TD : 6 )

Gestion de la qualité de service dans les réseaux
ECTS : 2.5
Volume horaire ( CM : 21 )

Grilles et grappes avancées
ECTS : 2.5
Volume horaire ( CM : 21 )

5 UE Spécification, modélisation, vérification au choix

Intergiciels pour applications ambiantes dans le contexte de l'internet des objets
ECTS : 2.5
Volume horaire ( CM : 21 )

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

Spécification et modélisation des systèmes autogérés
ECTS : 2.5
Volume horaire ( CM : 18 TD : 3 )

Calcul autonomique et systèmes complexes
ECTS : 2.5
Volume horaire ( CM : 15 TD : 6 )

Processus concurrents, distribués et temporisés
ECTS : 2.5
Volume horaire ( CM : 15 TD : 6 )

Méthode de conception et vérification
ECTS : 2.5
Volume horaire ( CM : 15 TD : 6 )

Preuve, analyse statique, vérification runtime
ECTS : 2.5
Volume horaire ( CM : 21 )

Méthodes de test pour les systèmes complexes
ECTS : 2.5
Volume horaire ( CM : 21 )

S4 - Semestre 4

Stage R & D et mémoire professionnel ou de recherche
ECTS : 30
Volume horaire ( )