Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

public:specifications_de_protocoles [2008/10/20 19:19] (Version actuelle)
Ligne 1: Ligne 1:
 +===== PhysI-G43 - Spécification des protocoles=====
 +
 +**Responsable :** Marie-Claude Gaudel
 +
 +**Objectifs :** Cette UE porte sur les bases théoriques de l’ingénierie de développement des protocoles de communication : de la spécification au test, en passant par la vérification.  ​
 +
 +
 +**Contenu des enseignements**
 +  * Ingénierie des protocoles : 
 +    * Bases de la spécification et de la vérification de protocoles
 +    * Test de protocoles ​
 +    * Techniques de spécification (SDL, UML, Logique Temporelle, LOTOS)
 +    * Expérimentations sur protocoles Internet avec le logiciel TAU (Télélogic)
 +
 +
 +**Module optionnel**:​ Ce module pourrait être commun avec le Master PRO Informatique ou l’IFIPS. ​
 +
 +**Bibliographie** :
 +  * " Vérification de logiciels : techniques et outils du model-checking ", ouvrage collectif, Vuibert Informatique,​ 1999.
 +  * « DL : modélisation de protocoles et systèmes réactifs », MAMMERI Zoubir, 2000.
 +
 +**Enseignants** : Marie-Claude Gaudel (PR 27),  Thomas Hérault (MC), Fatiha Zaidi (MC)
 +
 +**Pré-requis :** 
 +
 +**Nombre maximum d’inscrits :** ??
 +
 +**Contrôle des connaissances** : Examen écrit ​
 +
 +**nb d’heures :** 30h 
 +**ECTS :** 3
 +