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

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

Opinions sur d'autres formations de ce centre

Dessinateur Projeteur en Bâtiment

J
jean olivier
2.0 16/02/2010
Le meilleur de la formation: Cette formation n'est pas du tout une formation de dessinateur projeteur, mais plutôt une mise en bouche du métier..... avec des professeurs qui ne sont pas pédagogues, il ne faut pas s'attendre à être opérationnel après une telle formation dans laquelle on ne développe pas le Baba du métier: descente de charge, calcul de section....rien n'est abordé... bref très décevant, en espérant qu'elle s'améliore avec le temps..... Du plus pour Monsieur De varenne pour la RDM1: lui était très bien!
Recommanderiez-vous cette formation ?: Oui

Technicien en Froid et Climatisation

A
alboury faty ndiaye
5.0 01/10/2010
Le meilleur de la formation: les cours de pratiques
À améliorer: les cours d'electrotechnique
Recommanderiez-vous cette formation ?: Oui

Opinion sur le centre

A
anne sophie macor
5.0 01/09/2006
Le meilleur de la formation: méthode des professeurs qui étaient en même temps des professionnels, donc la formation était vraiment concrète et centrée sur nos besoins
À améliorer: les cours du soir sont vraiment contraignants, peut-être prévoir des week-ends de formation (par exemple 1 par mois)
Recommanderiez-vous cette centre de formation ?: oui

Certificat de compétence Gestionnaire de paye

C
Coralie Fernandez
3.0 01/10/2015
Le meilleur de la formation: La possibilité de se former hors temps de travail de façon individuelle à prix réduit, sachant qu'il existe des facilités de paiement. De plus, il est possible d'étaler l'inscription aux unités sur quatre ans, délai maximum pour valider entièrement la certification. La plateforme d'accès au cours offre la possibilité d'échanger à la fois avec les enseignants mais aussi les auditeurs, ce qui facilite le développement d'un réseau professionnel. Suivant les formations, les cours ont lieu en présentiel (le soir ou en séminaire le samedi) et/ou à distance. Cette offre permet de se former tout en conciliant vie professionnelle et personnelle. Les sessions d'examen se déroulent le samedi en fin de semestre ou en continu lors des séances.
À améliorer: L'inconvénient est la pratique professionnelle lorsque le poste actuel n'est pas en lien direct avec le diplôme visé. En effet, soit il faut penser à changer d'employeur pour viser un emploi approprié d'un an minimum, soit il faut trouver un arrangement pour effectuer un stage de 3 mois à temps plein.
Recommanderiez-vous cette formation ?: Non

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