Spécification et vérification des systèmes distribués - NFP103

Objectifs

• Acquérir une connaissance pratique des "bons" patrons de la programmation concurrente (Java)


• Comprendre les problèmes fondamentaux des systèmes concurrents


• S'initier à des méthodes et techniques de vérification automatique de ces systèmes (model-checking, logiques temporelles) 

Programme de la formation

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

Validation et sanction

Attestation de formation

Type de formation

Non certificiante

Sortie

Sans niveau spécifique

Code Rome

Modalités pédagogiques

Durée

45 heures en centre

Conventionnement : Non

Financeur(s)

Entreprise

Public(s)

Demandeur d'emploi, Salarié, Tout public

Modalités de recrutement et d'admission

Niveau d'entrée : Sans niveau spécifique

Conditions spécifiques et prérequis

Avoir le niveau licence informatique (L3). Public concerné : élèves ingénieurs, étudiants en master

Modalités d'accès

Formation entièrement à distance

Adresse

3 Rue du Clos Courtel
35000 - Rennes

Responsable : CNAM DE BRETAGNE
Téléphone fixe :
Contacter l'organisme

Contact sur la formation

2 Rue Camille Guérin
22440 - Ploufragan

Responsable :
Téléphone fixe : 0972311312
fax :
Site web : http://www.cnam-bretagne.fr
Contacter l'organisme

Contacter l'organisme formateur

Conservatoire national des arts et métiers - centre régional de Bretagne
SIRET: 43411361900119

Responsable : JAHIER
Téléphone fixe : 0972311312
Site web :
Contacter l'organisme

du 17/02/2025 au 21/06/2025
débutant le : 17/02/2025

Adresse d'inscription

2 Rue Camille Guérin
22440 - Ploufragan

Etat du recrutement : Ouvert
Modalités : Entrées/sorties permanentes

CNAM DE BRETAGNE
SIRET : 43411361900119

Adresse

2 Rue Camille Guérin
22440 - Ploufragan

Téléphone fixe : 0972311312
Contacter l'organisme