Formation indisponible à l'heure actuelle

Applications concurrentes : conception et outils (ACCOV)

Formation

À Montpellier ()

Prix sur demande

Appeler le centre

Avez-vous besoin d'un coach de formation?

Il vous aidera à comparer différents cours et à trouver la solution la plus abordable.

Description

  • Typologie

    Formation

Missions, moyens et organisation
Le Cnam est placé sous la présidence de Jean-Paul Herteman, P-DG du groupe Safran, et dirigé par Olivier Faron.
Il remplit trois missions principales:
la formation professionnelle supérieure tout au long de la vie,
la recherche technologique et l'innovation,
la diffusion de la culture scientifique et technique.
Le Cnam offre des formations développées en étroite collaboration avec les entreprises et les organisations professionnelles afin de répondre au mieux à leurs besoins et à ceux de leurs salariés. Cette UE apparaît dans les diplômes et certificats suivants : Entrée
CYC14p-1 Ingénieur diplômé de l'école d'ingénieurs du Cnam Spécialité informatique, parcours Réseaux, systèmes et multimédia (IRSM)
Centres d'enseignement Entrée
CYC45p-1 Ingénieur diplômé de l'école d'ingénieurs du Cnam Spécialité informatique, parcours Architecture et ingénierie des systèmes et des logiciels (AISL)
Centres d'enseignement Entrée
CYC47p-1 Ingénieur diplômé de l'école d'ingénieurs du Cnam Spécialité informatique, parcours Informatique modélisation optimisation (IMO)
Centres d'enseignement Entrée
DIE43p-1 Diplôme d'établissement Concepteur en architecture informatique
Centres d'enseignement Entrée
MR082p-1 Master Sciences, technologies,santé mention informatique spécialité systèmes d'information et de décision (voie recherche)
Centres d'enseignement Public et conditions d'accès Avoir le niveau licence informatique (L3).
Public concerné : Élèves ingénieurs, étudiants en master

Questions / Réponses

Ajoutez votre question

Nos conseillers et autres utilisateurs pourront vous répondre

Saisissez vos coordonnées pour recevoir une réponse

Nous ne publierons que votre nom et votre question

Les Avis

Les matières

  • Ingénieur du son
  • Information

Le 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.
Modalités de l'évaluation contrôle continu + examen final
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
  • Méthodes formelles pour les systèmes répartis et coopératifs (Traité IC2, série informatique et systèmes d' information)
  • S. Haddad & al : Ed Lavosier 2006

Appeler le centre

Avez-vous besoin d'un coach de formation?

Il vous aidera à comparer différents cours et à trouver la solution la plus abordable.

Applications concurrentes : conception et outils (ACCOV)

Prix sur demande