Conception et Spécification des Systèmes Concurrents
Code UE : NFP103
- Cours + travaux pratiques
- 6 crédits
- Volume horaire de référence
(+ ou - 10%) : 50 heures
Responsable(s)
Sami TAKTAK
Public, conditions d’accès et prérequis
Avoir le niveau licence informatique (L3).
Public concerné : Élèves ingénieurs, étudiants en master
Public concerné : Élèves ingénieurs, étudiants en master
L'avis des auditeurs
Les dernières réponses à l'enquête d'appréciation pour cet enseignement :
Présence et réussite aux examens
Pour l'année universitaire 2023-2024 :
- Nombre d'inscrits : 81
- Taux de présence à l'évaluation : 74%
- Taux de réussite parmi les présents : 100%
Objectifs pédagogiques
De par le développement des langages de programmation concurrente, des outils de programmation réseau et celui des processeurs multi-cœurs, 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'acquérir une connaissance pratique des "bons" patrons de la programmation concurrente
- de comprendre les problèmes fondamentaux des systèmes concurrents
- et d'acquérir des notions de spécification de ces systèmes
Ce cours a pour objectif :
- d'acquérir une connaissance pratique des "bons" patrons de la programmation concurrente
- de comprendre les problèmes fondamentaux des systèmes concurrents
- et d'acquérir des notions de spécification de ces systèmes
Compétences visées
conception, programmation et validation d'applications concurrents fiables
Contenu
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, “thread”, 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 :
* Expressions régulières et automates finis à états
* automates, automates synchronisés
* Preuve de programme:
* contrat de fonction, pré-post-conditions, invariants de boucles
* terminaison
* structures de Kripke, logiques temporelles
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, “thread”, 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 :
* Expressions régulières et automates finis à états
* automates, automates synchronisés
* Preuve de programme:
* contrat de fonction, pré-post-conditions, invariants de boucles
* terminaison
* structures de Kripke, logiques temporelles
Modalité d'évaluation
- Examen final
Bibliographie
- Michel Raynal : Concurrent Programming: Algorithms, Principles, and Foundations
- Peter Linz, Susan H. Rodger : An Introduction to Formal Languages and Automata
Cette UE apparaît dans les diplômes et certificats suivants
Chargement du résultat...
Contact
Voir le calendrier, le tarif, les conditions d'accessibilité et les modalités d'inscription dans le(s) centre(s) d'enseignement qui propose(nt) cette formation.
UE
-
-
Paris
-
Paris
- 2025-2026 1er semestre : Formation ouverte et à distance (FOAD)
Comment est organisée cette formation ?2025-2026 1er semestre : Formation ouverte et à distance
Dates importantes
- Période des séances du 15/09/2025 au 17/01/2026
- Période d'inscription : du 02/06/2025 à 10:00 au 17/10/2025 à 18:00
- Date de 1ère session d'examen : la date sera publiée sur le site du centre ou l'ENF
- Date de 2ème session d'examen : la date sera publiée sur le site du centre ou l'ENF
Précision sur la modalité pédagogique
- Une formation ouverte et à distance (FOAD) est une formation dispensée 100% à distance, qui peut être suivie librement, à son rythme.
- Regroupements physiques facultatifs : Aucun
Organisation du déploiement de l'unité
- Délai maximum de réponse à une solicitation : sous 96 heures (Jours ouvrés)
Modes d'animation de la formation
- Organisation d'une séance de démarrage
- Evaluation de la satisfaction
- Hot line technique
Ressources mises à disposition sur l'Espace Numérique de Formation
- Documents de cours
- Bibliographie et Webographie
-
Paris
-
Paris
-
-
Liban
-
Liban
- 2025-2026 2nd semestre : Formation hybride soir ou samedi
- 2026-2027 2nd semestre : Formation hybride soir ou samedi
- 2027-2028 2nd semestre : Formation hybride soir ou samedi
Comment est organisée cette formation ?2025-2026 2nd semestre : Formation hybride soir ou samedi
Précision sur la modalité pédagogique
- Une formation hybride est une formation qui combine des enseignements en présentiel selon un planning défini et des enseignements à distance avec ou sans planning défini.
-
Liban
-
Liban
Code UE : NFP103
- Cours + travaux pratiques
- 6 crédits
- Volume horaire de référence
(+ ou - 10%) : 50 heures
Responsable(s)
Sami TAKTAK