Établissement
INP - ENSEEIHT
Liste des enseignements
Au choix : 3 parmi 5
SYSTEMES TEMPS REELS (STR)
5SYSTEMES REPARTIS ET SECURITE
5RAFFINEMENT ET METHODES FORMELLES
5INTERFACE D'ACCES A L'INFORMATION
5UE A CHOIX SELON FINALITE
5Au choix : 1 à 2 parmi 12
Complex Graph Networks
Cybersecurity : introduction and practice
Infrastructure for cloud, big data and machine learning
Infrastructure for BigData
Projet USRP par SILICOM
Data analysis 2 and classification
Introduction à la Mécanique quantique pour le calcul
Introduction to Reinforcement Learning
Image et Vision
Photographie numérique
Cloud Strategy
Numérique responsable
SYSTEMES TEMPS REELS (STR)
ECTS
5
Établissement
INP - ENSEEIHT
Systèmes et Ordonnancement Temps Réel
Établissement
INP - ENSEEIHT
Période de l'année
Automne
Langage pour le Temps Réel
Établissement
INP - ENSEEIHT
Période de l'année
Automne
Projet IoT Arduino
Établissement
INP - ENSEEIHT
Période de l'année
Automne
SYSTEMES REPARTIS ET SECURITE
ECTS
5
Établissement
INP - ENSEEIHT
Syst.èmes et algorithmes répartis
Établissement
INP - ENSEEIHT
Les principes et les concepts du calcul distribué sont décrits ainsi que leur utilisation dans les systèmes distribués. Après une brève introduction, le modèle standard du calcul distribué basé sur la relation de causalité est présenté. Ensuite, une étude des algorithmes distribués génériques est réalisée : datation, protocoles causaux et atomiques, exclusion mutuelle, consensus, terminaison, instantanés globaux et checkpointing, cohérence de la mémoire, etc.
Quelques exemples de systèmes distribués sont particulièrement mis en avant : les systèmes de fichiers distribués (NFS, AFS), les protocoles de multicast atomiques (Ensemble, Java Groups, etc.), les mémoires distribuées et leurs différentes sémantiques de cohérence, la simulation distribuée (standard HLA), etc.
Des tendances actuelles et/ou des applications plus spécifiques clôturent ce tour d'horizon des fondements de l'informatique distribuée : informatique pair-à-pair, réseaux de capteurs, mobilité, systèmes ambiants, etc.
Sécurité et informatique légale
Établissement
INP - ENSEEIHT
Calcul Parallèle
Établissement
INP - ENSEEIHT
- Architecture des supercalculateurs modernes (processeurs multi-coeurs, multiprocesseurs ou noeuds SMP et NUMA, accélérateurs GPU, réseaux d’interconnexion).
- Classification de Flynn.
- Hiérarchie desmémoires caches.
- Principes de localité spatiale et temporelle.
- Programmation parallèle en MPI : communications point a point et collectives, opérations de réduction
et éventuellement optimisations. - Introduction à la programmation des GPU
RAFFINEMENT ET METHODES FORMELLES
ECTS
5
Établissement
INP - ENSEEIHT
Spécifications formelles
Établissement
INP - ENSEEIHT
Développement formel des Systèmes
Établissement
INP - ENSEEIHT
INTERFACE D'ACCES A L'INFORMATION
ECTS
5
Établissement
INP - ENSEEIHT
Recherche d'information
Établissement
INP - ENSEEIHT
Sureté de fonctionnement
Établissement
INP - ENSEEIHT
UE A CHOIX SELON FINALITE
ECTS
5
Établissement
INP - ENSEEIHT
Complex Graph Networks
Établissement
INP - ENSEEIHT
Cybersecurity : introduction and practice
Établissement
INP - ENSEEIHT
Infrastructure for cloud, big data and machine learning
Établissement
INP - ENSEEIHT
Infrastructure for BigData
Établissement
INP - ENSEEIHT
Période de l'année
Automne
Projet USRP par SILICOM
Établissement
INP - ENSEEIHT
Data analysis 2 and classification
Établissement
INP - ENSEEIHT
Introduction à la Mécanique quantique pour le calcul
Établissement
INP - ENSEEIHT
Introduction to Reinforcement Learning
Établissement
INP - ENSEEIHT
Image et Vision
Établissement
INP - ENSEEIHT
Ce cours a pour but de présenter les principaux outils en analyse automatique des images. Plus précisément, cette matière est divisée en 2 parties :
1) Apprendre à connaître et à manipuler des outils d'analyse d'images comme la détection de contours ou la segmentation d'images. Cela correspond à 2 CM + 5 TPs.
2) Découvrir les éléments essentiels pour le suivi d'éléments dans des images : calibrage, détection de primitives d'intérêt et appariement. Cela correspond à 3 CM + 4 TPs
Photographie numérique
Établissement
INP - ENSEEIHT
Contenu du cours :
- Histoire de la photographie
- Caractéristiques des objectifs photographiques
- Capteurs argentiques et capteurs numériques
- Profondeur de champ et angle de champ
- Aberrations des objectifs photographiques
- Utilisation de la photographie comme outil de mesure
Cloud Strategy
Établissement
INP - ENSEEIHT
C1) Présentation générale de l’adoption du cloud dans les entreprises avec un rapide historique sur les technologies et les stratégies.
TP1) Définition d’une architecture cloud et coûts associés
C2) Pourquoi adopter ou migrer vers le cloud ? Quels enjeux stratégiques, économiques et techniques ? Quelles sont les contraintes légales à prendre en compte ? Comment construire une stratégie Move to cloud ?
TP2) Formalisation d’un cadrage et d’une stratégie move to cloud C3) Les approches Micro-services dans les entreprises. L’infrastructure as code comme accélérateur, support à l’industrialisation et pilier d’une stratégie multi-cloud.
TP3) Utilisation de Gitops et Terraform pour déployer un service cloud #1
C4) Retours d’expérience autour de 2 projets : Stratégie de déploiement mondiale d’une application de reconnaissance client pour un acteur du luxe, Mise en place d’une plateforme Européenne d’aide à la prise de décision pour les agriculteurs
TP4) Utilisation de Gitops et Terraform pour déployer un service cloud #2
C5) Les enjeux de la souveraineté et des Cloud de confiance.
TP5) Création d’un service se basant sur des sources de données ouvertes (TP noté)
Numérique responsable
Établissement
INP - ENSEEIHT
Introduction au numérique responsable qui sensibilise aux principaux impacts environnementaux et sociétaux du numérique, à la manière de les mesurer, et qui présente les moyens d’actions permettant de les réduire.

