v2.1.2 (1856)

Enseignement scientifique & technique - SLR204 : Bases de la vérification des systèmes et logiciels répartis

Domaine > Informatique.

Descriptif

Objectifs de formation
L'objectif de l'UE est d'introduire les concepts de base de la vérification des systèmes répartis et concurrents.

Contenu -  Seront traités, notamment, les aspects suivants :
- Introduction et rôle de la vérification dans le processus de développement, modélisation de comportement et de propriétés et sémantique formelle.
- Algèbre de processus et systèmes de transitions étiquetés
- Propriétés remarquables (non déterminisme, deadlock, livelock, équité, famine, etc.).
- Relations de simulation et de bisimulation.
- Logiques temporelles (LTL et CTL), Model Checking, structure de kripke, automate de Buchi, point fixe.
- Réseaux de Petri, modélisation de la concurrence, de la synchronisation, du conflit.
- Propriétés de finitude, invariants linéaires.

nombre d'heure en présentiel

24

nombre de blocs

16

Diplôme(s) concerné(s)

Parcours de rattachement

Format des notes

Numérique sur 20

Littérale/grade européen

Pour les étudiants du diplôme Echange non diplomant

L'UE est acquise si Note finale >= 10
  • Crédits ECTS acquis : 2.5 ECTS

La note obtenue rentre dans le calcul de votre GPA.

Pour les étudiants du diplôme Diplôme d'ingénieur

L'UE est acquise si Note finale >= 10
  • Crédits ECTS acquis : 2.5 ECTS
  • Crédit d'UE électives acquis : 2.5

La note obtenue rentre dans le calcul de votre GPA.

Programme détaillé

 

Méthodes pédagogiques

Leçons, TP sur outils
Veuillez patienter