Cours :  Ingénierie des Protocoles

Responsable : Olivier Dalle

 

Objectifs :

Structure :

   6 cours de 1h30 + 6 Seances de TD ou TD sur machine (exercices, etudes de cas et/ou mini-projet tutoré)

Programme :

Cours :

   TD et TDMs : exercices/experimentation avec divers formalismes

Pré-requis :

   Une premiere experience de (galere en) developpement de protocoles est preferable (programmation sockets, Java RMI, …)

Références :

Encyclopédie de l’informatique et des systèmes d’information. Vuibert, 2006, Section 1, pages 113-122 : Méthodes formelles pour l’ingénierie des protocoles (Claude Jard)

M. Popovic: Communication Protocol Engineering. Taylor and Francis, 2007

R. Lai, A. Jirachefpattana : Communication Protocol Specification and Verification. Kluwer, 1998