Cnam Languedoc-Roussillon

Applications concurrentes : conception et outils (ACCOV)

Cnam Languedoc-Roussillon
À Montpellier

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

Infos importantes

Typologie Formation
Lieu Montpellier
Début Dates au choix
  • Formation
  • Montpellier
  • Début:
    Dates au choix
Description

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

Installations (1)
Où et quand
Début Lieu
Dates au choix
Montpellier
989 Rue de la Croix Verte - Parc Euromédecine, 34093, (34) Hérault, France
Voir plan
Début Dates au choix
Lieu
Montpellier
989 Rue de la Croix Verte - Parc Euromédecine, 34093, (34) Hérault, France
Voir plan

Opinions

0.0
Non évalué
Évaluation de la formation
80%
Recommandé
3.6
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

Qu'apprend-on avec cette formation ?

Ingénieur du son
Information

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

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