Option 4
CATR : Conception d'Architecture Temps Réel TRIM :Traitement d'Images PRMC : PReuves par Model-Checking AIDE : AIde à la DEcision
1 option au choix
CATR : Conception d'Architecture Temps Réel INFORMATIQUE ASR INFORMATIQUE BIOLOGIE
Objectif
Ce cours a pour objectif de décrire les techniques fondamentales mises en œuvre pour que les processeurs utilisés dans les systèmes exhibent de bonnes performances. Il a aussi pour objectif de décrire les techniques d'ordonnancement des tâches sur ces processeurs déployés pour satisfaire des contraintes strictes temps-réel. 
Contenu
  • Performances des machines
    • Le pipe-line et son effet sur le nombre de cycles par instruction
    • Les caches pour réduire le temps d'accès moyen aux données
    • L'accès aux pages, le tampon de traduction anticipée
    • Les architectures superscalaires
  • Systèmes temps-réels
    • Introduction sur les mécanismes fondamentaux
    • Ordonnancement (hors ligne, en ligne, Rate monotonic et dynamique)
    • Ordonnancement multi-processeurs
    • Systèmes temps-réels (Unix temps-réel, Posix temps-réel, Solaris, Chorus)
Horaires
Cours
TD
TP
    21
    18
   0
TRIM :Traitement d'Images INFORMATIQUE ASR INFORMATIQUE BIOLOGIE
Objectif
L'objectif de ce cours est de découvrir les méthodes et les outils de base du traitement des images. Il est aussi de connaître les composants d'un système d'imagerie et comprendre les possibilités et les limites d'un tel système.
Contenu
  • Introduction au traitement numérique des images
  • Analyse statistique des images
  • Amélioration et rehaussement des images
  • Filtrage spatial et fréquentiel des images
  • Morphologie mathématique
  • Extraction et suivi de contours
  • Couleurs et textures
  • Segmentation basée sur les régions
  • La compression d'images
  • Analyse du mouvement et des formes
Horaires
Cours
TD
TP
    21
    18
   0
PRMC : PReuves par Model-Checking INFORMATIQUE ASR INFORMATIQUE BIOLOGIE
Objectif
L'objectif de ce cours est l'étude des méthodes et langages permettant de concevoir et valider des applications dans lesquelles un certain nombre d'activités ont lieu en parallèle et interagissent, éventuellement avec des contraintes de temps de réaction.
Contenu
  • Systèmes de transition
  • Composition d'automates
  • Logique temporelle
  • Automates temporisés, environnement Uppal
  • Réseaux de Pétri
  • Réseaux colorés, environnement Design/CPN ou Maria
  • Domaine d'application : systèmes critiques, distribués, embarqués)
Horaires
Cours
TD
TP
    21
    18
   0
AIDE : AIde à la DEcision INFORMATIQUE ASR INFORMATIQUE BIOLOGIE
Objectif
  • Acquérir les éléments nécessaires à la résolution de problèmes d’optimisation combinatoire et continue
  • Savoir analyser un problème et utiliser les différents outils mathématiques pour le résoudre
Contenu
  • Programmation linéaire
  • Programmation en nombre entiers
  • Programmation dynamique
  • Métaheuristiques
  • Optimisation continue
Horaires
Cours
TD
TP
   21
    18
   0