CNAM - Conservatoire National des Arts et Métiers

Applications concurrentes : conception et outils (ACCOV)

CNAM - Conservatoire National des Arts et Métiers
À Paris Cédex 03

Prix à consulter
Ou préférez-vous appeler directement le centre?
33142... Voir plus

Infos importantes

Typologie Formation
Lieu Paris cédex 03
Début Dates au choix
  • Formation
  • Paris cédex 03
  • Début:
    Dates au choix
Description

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) 

Installations (1)
Où et quand
Début Lieu
Dates au choix
Paris Cédex 03
292 Rue Saint-Martin, 75141, (75) Paris, France
Voir plan
Début Dates au choix
Lieu
Paris Cédex 03
292 Rue Saint-Martin, 75141, (75) Paris, France
Voir plan

Foire aux questions

· Prérequis

Public et conditions d'accès Avoir le niveau licence informatique (L3). Public concerné : Élèves ingénieurs, étudiants en master

Opinions

0.0
Non évalué
Évaluation de la formation
61,5%
Recommandé
3.9
fantastique
Évaluation du Centre

Opinions sur cette formation

Il n'y a pas encore d'opinions sur cette formation
* Opinions recueillies par Emagister et iAgora

Programme

Programme

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, 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 temprelle). Utilisation d' outils (open source) de simulation et de vérification : Spin, Design/CPN.

Bibliographie

  • M. Ben-Ari : Principles of Concurrent and Distributed Programming , Addison-Wesley, 2006.
  • Brian Goetz : Programmation concurrente en Java. Éditions Pearson Education , Collection Référence, 2009
  • S. Haddad & al : Ed Lavosier 2006


Ceux qui ont consulté cette formation ont également consulté...
En voir plus