RES 431 A: Protocols and Services Engineering


Coordinator:  Patrick MAILLE   

Duration: 21h


Organization

Scheduled activities

  • PC1 (1h30)   Spécification d'un protocole par automate et vérification (1/2)
  • PC2 (1h30)   Spécification d'un protocole par automate et vérification (2/2)
  • TP1 (3h)   Mise en oeuvre d'un protocole de liaisons de données
  • PC3 (1h30)   TD dimensionnement de réseaux (1/2)
  • PC4 (1h30)   TD dimensionnement de réseaux (2/2)
  • C1 (1h30)   Notions de fiabilité : MTBF, MTTR, disponibilité (1/2)
  • C2 (1h30)   Notions de fiabilité : MTBF, MTTR, disponibilité (2/2)
  • PC5 (1h30)   TD fiabilité (1/2)
  • PC6 (1h30)   TD fiabilité (2/2)
  • TP2 (3h)   TP dimensionnement sur applet Java (auto-apprentissage)
  • CC (3h)   Test QCM sur la plate-forme Moodle

Team


  PC1
  1h30
  PC2
  1h30
  TP1
  3h
  PC3
  1h30
  PC4
  1h30
  C1
  1h30
  C2
  1h30
  PC5
  1h30
  PC6
  1h30
  TP2
  3h
  CC
  3h
 Aymen BELGHITH        x x            
 Ahmed BOUABDALLAH  x x x                
 Hayat DOUKKALI        x x            
 Jean-Pierre LE NARZUL      x                
 Issam MABROUKI                x x    
 Patrick MAILLE            x x x x x x
 David ROS SANCHEZ      x x x     x x    


Educational resource

Notes du cours

Recommended reading

- G. Doyon, Systèmes et réseaux de télécommunications en régime stochastique, Ed. Masson et CNET-ENST, 1989
- R. Jain, The Art of Computer Systems Performance Analysis. Wiley, 1991
- D. Bertsekas et R. Gallager, Data Networks, Prentice-Hall, 1992


  Year 2006/2007
Last update: 27-SEP-06
Last validation:

IMT Atlantique
Campus de Brest
Technopôle Brest-Iroise
CS 83818
29238 Brest Cedex 3
France

Tél  +33 (0)2 29 00 11 11
Fax +33 (0)2 29 00 10 00