Applications concurrentes : conception et outils (ACCOV)

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

Prix à consulter
Désirez-vous contacter un conseiller pour cette formation ?

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

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
58,3%
Recommandé
3.8
fantastique
Évaluation du Centre

Opinions sur d'autres formations de ce centre

Opinion sur le centre

O
Omayra Naisseline
3.0 01/04/2015
Le meilleur de la formation: J'ai aimé le programme, le contenu des cours très enrichissant et je ne pensais pas que cela me rapporterai beaucoup sur le plan professionnel et personnel.
À améliorer: Ce qui m'a plu le moins se sont bien sûre les horaires de cours le soir, très difficile d'aller en cours après le travail.
Recommanderiez-vous cette centre de formation ?: oui

Opinion sur le centre

M
Mohamed Ait kaci
3.0 01/11/2012
Le meilleur de la formation: Les cours
À améliorer: Les moyens techniques n'étaient absolument pas au niveau
Recommanderiez-vous cette centre de formation ?: oui

Opinion sur le centre

T
THADDEE IKOSSO LOKOTONGO
5.0 01/02/2014
Le meilleur de la formation: Au Conservatoire National des Arts et Métiers (CNAM), j'étais inscrit pour suivre les cours à distance, car je travaillais et j'avais pas le temps de suivre les cours en jour. L'avantage et surtout ce que j'ai aimé c'est le fait je pouvais aller suivre les cours en présentiel et les mêmes cours je les ai aussi en vidéo; donc en suivant par deux fois les mêmes cours ça permettait bien maîtrise des leçons. Les professeurs étaient très compétents par leur façon d'expliquer, de donner des conférences avec un programme très riches. Quant aux frais, c'est très abordable, même quand c'est vous-même qui supportez. Franchement, s'il y a des gens qui seraient intéressés de tenter l'expérience au CNAM n'hésité pas, allez-y vous ne serez pas déçus.
À améliorer: Personnellement, je ne vois pas ce qui m'a le moins plu, ce n'était que du bénéfique et tout était à mon avantage, j'en ai bien profité de cette expérience.
Recommanderiez-vous cette centre de formation ?: oui

Opinion sur le centre

M
MiCKAEL HINGAN
4.0 01/05/2012
Le meilleur de la formation: Une très bonne formation sur un module très professionnel avec des formateurs issus de milieu professionnel. De plus le nombre de candidat étant réduit cela m'a permis d'avoir des formateurs réactifs à mes interrogations. Une bonne ambiance au sein du groupe et des horaires adaptés dans un lieu fonctionnel.
À améliorer: Durée courte pour un maximum d'information
Recommanderiez-vous cette centre de formation ?: oui

Licence professionnelle Industries chimiques et pharmaceutiques, parcours Développement et production pharmaceutique

L
Laurent Laviolette
3.0 01/03/2016
Le meilleur de la formation: Assiduité de ma conseilliere au suivi de la formation VAE LP032 via une VAP 85 du DIE 16p3.
À améliorer: Le temps de prise en charge financier est long.
Recommanderiez-vous cette formation ?: Non
Les voir toutes

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