Cours : Ingénierie des Protocoles

Responsable : Olivier Dalle

Objectifs :

• Initiation aux techniques de conception et développement de protocoles :
• Decouverte des techniques et outils du cycle de vie (spec, devel, verf)
• Mise en pratique sur des cas d’utilisation

Structure :

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

Programme :

Cours :

• Introduction
• Notions & Concepts
• Specification & conception
• Validation & verification
• Implementation & Tests

   TD et TDMs : exercices/experimentation avec divers formalismes

• SDL
• Reseaux de Petri
• ESTELLE/LOTOS

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