v1.17.9 (1402)

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 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.

Pour les étudiants du diplôme Echange non diplomant

La note obtenue rentre dans le calcul de votre GPA.

Programme détaillé

 

Méthodes pédagogiques

Leçons, TP sur outils
Veuillez patienter