Imprimer E-mail

NFP103 - Applications concurrentes : conception et outils (ACCOV)

Département : Informatique

Code unité Crédits ECTS* Voir la fiche officielle de l'UE NFP103
NFP103 6

Public concerné et conditions d'accès :

Avoir le niveau licence informatique (L3). Public concerné : Élèves ingénieurs, étudiants en master

Finalités de l'unité d'enseignement :

De par le développement des technologies Web, des langages de programmation concurrente, des outils de programmation réseau et celui des processeurs multi-coeurs, le calcul concurrent est aujourd'hui omniprésent dans la construction de systèmes comme les systèmes d'exploitation, les systèmes distribués et les systèmes temps réel. Cependant, la conception de tels systèmes et la preuve de leur correction sont des tâches très difficiles. Ce cours a pour objectif d'une part de comprendre les problèmes fondamentaux des systèmes concurrents et d'autre part d'acquérir une connaissance pratique des "bons" patrons de la programmation concurrente (Java) ainsi que de méthodes et outils visant la vérification (correction) de ces systèmes.

Contenu de la formation :

Structuration des applications concurrentes Contrôle de concurrence dans les systèmes transactionnels, les systèmes d'information répartis, les applications temps réel. Les paradigmes de la concurrence et les archétypes de programmation ('design patterns'). Exclusion mutuelle, élection, producteur consommateur, lecteurs rédacteurs, client-serveur, "peer to peer", problèmes liés aux pannes, diffusion atomique ordonnée, inter-blocage, famine, équité, terminaison. Mécanismes de bases (processus, sémaphores, moniteurs, la classe "thread" et les méthodes "synchronized" dans Java, tâches et objets protégés dans ADA95, communication synchrone et asynchrone, messages, boîtes aux lettres, invocation à distance, rendez-vous). Modularité et objets concurrents. Spécification et vérification de propriétés de systèmes concurrents Aperçu des méthodes de spécification : automates, automates synchronisés, réseaux de Petri, structures de Kripke, logiques temporelles. Techniques d'analyse : analyse structurelle (réseaux de Petri), model-checking (LTL). Utilisation d' outils (open source) de simulation et de vérification : Spin, Design/CPN.

Modalité de validation :

Contrôle continu + examen final

Programmation régionale 2017-2018 :

Cette Unité d'Enseignement n'est pas proposée en Normandie cette année.








* Légende :
  • Ouverte : Enseignement garantis,
  • En Attente : Nombre d'inscrits minimum non atteint, ouverture en suspend,
  • Fermée : Effectif insuffisant, enseignement définitivement clos pour cette année.
  • Premier semestre : enseignement de mi-octobre à début février,
  • Second semestre : enseignement de février à juin,
  • Année scolaire : enseignement de mi-octobre à juin.
  • Formation à Distance (FOD) : formation par internet (voir "se former à distance"),
  • Formation en Présentiel : formation Hors Temps de Travail (cours du soir + samedi),
  • Formation en Alternance : voir "se former en alternance",
  • Formation Hybride : mix Présentiel-HTT/FOD,
  • Formation Continue : formation en journée.

Conseil

Besoin de renseignements : Contactez-Nous
(n'oubliez pas de rappeler le code du diplôme ou de l'UE dans votre message)

Inscription

  • Pour les résidents en Normandie (14, 27, 50, 61, 76) :

Pré-inscrivez-vous

 

dernière mise à jour : 03/11/2017 à 9h37