Programmé en UV2 MAJ INF, UV2MAJ INFMS
Présentation :
Les systèmes informatiques actuels reposent de plus en plus souvent sur un ensemble de processeurs qui collaborent pour exécuter une même tâche. Les ordinateurs multi-core ou l'Internet en sont des exemples frappants. La conception d'un programme pouvant s'exécuter sur un système distribué n'est pourtant pas une tâche aisée.
La modélisation de systèmes distribués et la conception de programmes concurrents sont eu coeur de ce module. Pour l'ingénieur du XXIème siècle, une excellente capacité à concevoir des programmes capables de tirer profit de la multiplicité des processeurs est nécessaire. Ce module vise à apporter quelques bases dans ce domaine.
Nous utiliserons deux modèles théoriques (LTS et FSP) de programmation concurrente. L'équipe pédagogique a retenu ces deux modèles parce qu'ils touchent la plupart des difficultés de la programmation concurrente tout en restant relativement simple.
Objectifs pédagogiques :
- Passer d'un modèle LTS à un programme Java et vice-versa
- Assimiler quelques briques fondamentales de la théorie des systèmes distribués
- Être capable de modéliser des systèmes concurrents simples en utilisant la notion d'automate (LTS)
- Être capable d'identifier quelques pièges classiques de la programmation concurrente en général (interblocage, état puits, ...)
Pré-requis :
Un minimum de maitrise du langage Java est nécessaire.
Volume horaire :
21h
Contenu détaillé :
Le module se divise grossièrement en :
- un cours, deux PC et deux TP qui donnent les bases fondamentales de la modélisation des systèmes concurrents en FSP et LTS
- un cours, une PC et deux TP qui permettent de découvrir la notion de propriétés et le passage d'un modèle au code
- deux PC qui visent à introduire la modélisation des systèmes distribués
Travaux personnels encadrés :
Le module comportera une majorité de travaux pratiques et petites classes.
Année 2018/2019
Dernière mise à jour le 10-JAN-18
Validation par le responsable de programme le
| 
