- 04 78 58 19 17
- Télécharger une brochure
- ENF - auditeurs CNAM
- Contact
|
Spécification et vérification des systèmes distribués NFP103 |
||
|---|---|---|
| MODALITÉS DE DÉPLOIEMENT | Période | Crédits ECTS |
| Formation ouverte et à distance (FOAD) | Premier semestre | 6 |
| Année universitaire | Certificateur | Durée indicative |
| 2025 - 2026 | Conservatoire National des Arts et Métiers | 45 heures |
Condition d'accès / publics visés:
Avoir le niveau licence informatique (L3).
Public concerné : Élèves ingénieurs, étudiants en master
Objectifs pédagogiques:
De par le développement des technologies Web, 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 (Java)
- de comprendre les problèmes fondamentaux des systèmes concurrents
- et de s'initier à des méthodes et techniques de vérification automatique de ces systèmes (model-checking, logiques temporelles)
Compétences visées :
conception, programmation et validation d'applications concurrents fiables
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 (Logique temporelle). Utilisation d' outils (open source) de simulation et de vérification : Spin, Design/CPN.
Modalités de validation et d’évaluation:
Contrôle continu: Contrôle de connaissances et de savoirs qui se déroule tout le long du temps de l'enseignement
Projet(s): Projet(s) à réaliser amenant la livraison d'un livrable
Accompagnement et suivi:
Cette UE est constitutive des diplômes suivants:
Cette UE est constitutive des diplômes suivants :
- MR11606A - Libellé non disponible
- MR11603B - Libellé non disponible
- MR11603A - Libellé non disponible
- MR11604A - Master Sciences, technologies, santé mention Informatique parcours Traitement de l'information et exploitation des données
- MR11607A - Libellé non disponible
- MR11602A - Master Sciences, technologies, santé mention Informatique parcours Recherche opérationnelle
- MR11605A - Libellé non disponible
- MR11607A - Libellé non disponible
- CYC9101A - Diplôme d'ingénieur Spécialité informatique parcours Architecture et ingénierie des systèmes et des logiciels (AISL)
ECTS: 6
| Volume Horaire indicatif | Financement individuel hors tiers financeur et CPF | Tarif de référence (Employeur) |
|---|---|---|
| 45 heures | 450.00 | 900.00 |
Indexation officielle FORMACODES:
[{"code":"Z5","code_officiel":"70000","descripteur_majuscule":"LOGICIELS\/OUTILS\/APPLICATIONS\/SERVICES","descripteur_riche":"logiciels\/outils\/applications\/services"}] Dernière mise à jour: 01/07/2025 15:04:07
INFOS PRATIQUES
45 heures
ModalitéFormation ouverte et à distance (FOAD)
PériodePremier semestre
Date de début des coursInformation Indisponible
Date de fin des coursInformation Indisponible
Votre centre cnam
Le Cnam, au plus près de chez vous.
- 04 78 58 19 17
- ara_contact@lecnam.net
- Lundi au vendredi 9h-12h30 / 14h-17h
Le Trident – Bâtiment A
34 avenue de l’Europe 38100 Grenoble
24 rue de Robinson 42100 SAINT-ETIENNE
Le Cubix – 4 rue Ravier 69007 LYON
Centre universitaire Pierre Mendès France 12 avenue de Paris
42300 ROANNE
Au CNAM, les adultes salariés ou non viennent acquérir des connaissances et des compétences sanctionnées par un titre ou un diplôme pour sécuriser et dynamiser leur parcours professionnel.
Actuellement, l’offre régionale est uniquement disponible, l’offre nationale est en cours de préparation.
La certification qualité a été délivrée au titre des catégories d’actions suivantes:
ACTIONS DE FORMATION
ACTIONS DE FORMATION PAR APPRENTISSAGE
ACTIONS PERMETTANT DE VALIDER DES ACQUIS DE L’EXPERIENCE
