v2.11.0 (5762)

Filières de 2e année - SLR : Filière Systèmes logiciels répartis (créneau A)

Domaine > Informatique.

Descriptif

Responsables de la filière : Petr Kuznetsov, Rémi Sharrock
Responsable(s) mobilité : Petr Kuznetsov
Coordination des stages : Petr Kuznetsov

La filière est enseignée en anglais

L'informatique distribuée est essentielle pour tous les systèmes informatiques et sociotechniques existants et à venir : traitement massif des données, commerce sur Internet, systèmes en nuage, maisons intelligentes, Internet des objets, banque, etc.

SLR (Systèmes Logiciels Répartis) est une filière pédagogique sur la théorie et la pratique des systèmes logiciels répartis.

Sur le plan théorique, nous

  •   offrons des cours qui couvrent les principes fondamentaux de la conception de
  •   logiciels distribués dans des systèmes multicœurs et en réseaux à grande
  •   échelle, en mettant l'accent sur la concomitance et la synchronisation, ainsi
  •   que les bases de la modélisation formelle et de la vérification des algorithmes distribués.

Sur le plan pratique, nous couvrons la prise en charge du langage de programmation pour la création de logiciels distribués, discutons des technologies du génie logiciel à grande échelle, et donnons une expérience pratique de la conception architectural des systèmes distribués.

 

En 2ème année, le programme SLR comprend des cours sur les bases de l'informatique distribuée multi-coeurs et en réseau, les bases algorithmiques de la chaîne de blocs, les concepts et modèles pour concevoir, développer et vérifier des systèmes distribués, ainsi que pour contrôler leur évolution en utilisant des composants logiciels.

 

 

  P1 P2 P3 P4

A1

CSC_4SL01_TP
(SLR201)

 

Programmation Avancée et Gestion de Projet
(en Java)

 

CSC_4SL06_TP
(SLR 206 - partie B)

 

Fondements des algorithmes répartis

CSC_4SL02_TP
(SLR 202)

 

Modélisation et conception de système Logiciel
(orienté objet)

 

CSC_4SL04_TP
(SLR 204)

 

Bases de la vérification des systèmes et logiciels répartis

A2

CSC_4SL05_TP
(SLR 206 - partie A)

 

Fondements des algorithmes répartis

 

 

CSC_4SL03_TP
(SLR 203)

 

Introduction aux technologies de développement de logiciel réparti

CSC_4SL08_TP
(SLR 210)

 

Blockchain: bases algorithmiques

 

CSC_4SL07_TP
(SLR207)

 

Technologies de calcul parallèle à grande échelle

 
 

UE du créneau D :  UE partagées

  • CSC_0EL13_TP (SD202): Bases de Données - UE recommandée

 

Au delà de la formation en Systèmes et Logiciels Répartis

Cette filière délivre des connaissances et permet l’acquisition d’un savoir-faire pour différents métiers autour du logiciel : ingénieur concepteur-développeur ou ingénieur R&D dans un grand groupe, conseil en évolution d’architectures logicielles intégrant les solutions du type cloud et/ou plateformes virtuelles, ingénieur développant des solutions innovantes dans des startups ou PME, ingénieur dans des entreprises de conseil. Ces métiers permettent des évolutions de carrière vers des postes à responsabilité (direction de systèmes d’information ou autres directions fonctionnelles ou opérationnelles). Une 3ème année en M2 (COMASIC, PDS, MPRI /AFP) ouvre la possibilité de poursuivre une carrière de chercheur.

Complémentarité avec d’autres filières 2A:

En bref, SLR présente les fondements de systèmes répartis, centrés sur les problématiques de la répartition, l’algorithmique et les techniques de vérification. En complément, les élèves peuvent s’orienter selon deux tendances :
(i) compléter leurs connaissances pour les systèmes informatiques aux spécificités distinctives tels que les Systèmes Embarqués (SE), les systèmes de Sciences de Données (SD), ou encore les systèmes interactifs (IGR).
(ii) approfondir les aspects théoriques de l’informatique (MITRO)

- SLR+SE : Les systèmes embarqués ont des propriétés caractéristiques et des contraintes de « temps réel » dont la spécification doit être précisément détaillée. Les modèles et les techniques de vérification enseignés dans SLR et dans SE se complètent lors du processus de conception de systèmes embarqués.

-SLR+SD-TSIA : L’analyse, exploration et machine learning de grands volumes de données et les heuristiques d’Intelligence Artificielle utilisent des algorithmes répartis spécifiquement optimisés et en général implémentés sur des architectures réparties, des plateformes de Cloud. Les fondements de ces aspects répartis tels qu’enseignés en SLR donnent à l’ingénieur « Data Scientist » la capacité et les moyens techniques de mieux appréhender sa « boîte à outils » de composants logiciels pour Big Data.

-SLR+ MITRO : Par les problématiques qui sont traitées complémentairement, les fondements des systèmes répartis et les aspects d’informatique théorique constituent les bases de l’ingénierie du logiciel pour les systèmes « à grande échelle ».

- Options de 3eA spécifiques à SLR :

Option interne

Le programme SLR offre une option interne SLR-3A, contenant des cours avancés sur les aspects pratiques et théoriques des systèmes logiciels distribués modernes.

 

Master M2
  • M2 Informatique dans les systèmes complexes (COMASIC), la filière informatique proposée par l'Université Paris Saclay
  • Master orienté recherche sur Systèmes Distribués et Parallèles (PDS) à l’Institut Polytechnique Paris
  • M2 Parisian Master of Research in Computer Science (MPRI/AFP), programme de master en informatique mené conjointement par l'Université Paris-Diderot, l'ENS Ulm, l'Université Paris Saclay et l'Institut Polytechnique Paris
Formation à l’étranger

Suivre une formation équivalente à l'étranger (contacter le responsable mobilité internationale de la filière)

Autre

Vous pouvez aussi choisir, après la 2e année,  de suivre en 3eA  :

  • un cursus transverse, c'est à dire ouvert quelle que soit la filière choisie en 2e année : Option interne Quantum Engineering,  ou un des M2 transverses du domaine SES (PIC / IREN / COSI)
  • une mobilité en France dans une école de l'Institut Mines-Télécom ou de ParisTech.


Quelle que soit l'option choisie, un stage ingénieur ou de recherche  de 6 mois complète la formation.

Pré-requis

SD202(Bases de Données) : UE recommandée

Modalités d'acquisition

La filière est validée si la moyenne des notes finales est ≥ 10 et si vous obtenez au minimum 15 crédits ECTS.

Composition du parcours

    CSC_4SL01_TP CSC_4SL02_TP CSC_4SL03_TP CSC_4SL04_TP CSC_4SL05_TP CSC_4SL06_TP CSC_4SL07_TP CSC_4SL08_TP

Unités d'enseignement

UE Type d'enseignement Domaines Catégorie d'UE Volume horaire Responsables Site pédagogique
CSC_4SL01_TP Programmation Avancée et Gestion de Projet (en Java) Enseignement scientifique & technique Informatique UE du créneau A. 24 Dominique BLOUIN,
Ada DIACONESCU
CSC_4SL02_TP Modélisation et Conception de Système Logiciel Enseignement scientifique & technique Informatique UE du créneau A. 24 Dominique BLOUIN,
Vadim MALVONE
CSC_4SL03_TP Introduction aux technologies de développement de logicie... Enseignement scientifique & technique Informatique UE du créneau A. 24 Ada DIACONESCU
CSC_4SL04_TP Bases de la vérification des systèmes distribués Enseignement scientifique & technique Informatique UE du créneau A. 24 Vadim MALVONE
CSC_4SL05_TP Fondements des algorithmes répartis (Partie A) Enseignement scientifique & technique Informatique UE du créneau A. 48 Petr KUZNETSOV
CSC_4SL06_TP Fondements des algorithmes répartis (Partie B) Enseignement scientifique & technique Informatique UE du créneau A. 48 Petr KUZNETSOV
CSC_4SL07_TP Technologies de calcul parallèle à grande échelle Enseignement scientifique & technique Informatique UE du créneau A. 24 Remi SHARROCK
CSC_4SL08_TP Blockchain: bases algorithmiques Enseignement scientifique & technique Informatique UE du créneau A. 24 Petr KUZNETSOV,
Pierre SUTRA
Veuillez patienter