Matière "NTD12 - IP : Ingénierie de protocoles"

1 - Fiche descriptive

Langue

Cette matière est enseignée en français.

Objectifs

Comprendre les objectifs et les méthodes généraux de l'ingénierie des systèmes, et notamment la notion de cycle de développement en V e, spirale et en Y. Percevoir la spécificité des protocoles et les difficultés rencontrées pour leur conception : concurrence, non-déterminisme, et complexité. Présenter la notion de méthodes de spécification formelles pour la conception de protocoles. Présenter deux langages de spécification formelle : Les réseaux de Petri, et le langage LOTOS.

Programme/Contenu

1. Principes généraux de l'ingénierie des systèmes - problème et exemples - notion de cycle de développement 2. Architecture des protocoles de communication 3. Trois langages de spécification formelle de protocoles - Les réseaux de Petri - LOTOS

Mots clés

  • cycles de conception, Génie système, Méthodes

2 - Organisation de la matière

UE utilisant cette matière

UE Promotions
NTD1 : Conception/Ingénierie Ingénieur ENSEEIHT Télécommunications 2ème année

Volume horaire

Element Volume horaire
Cours magistral 12.0
Travaux dirigés 8.0
Total 20.0

Examens

Type Forme Coefficient
Contrôle continu Ecrit 2.0

3 - Contacts

Responsables

  • Boniol Frederic
  • Boyer Marc

Enseignants

  • Boniol Frederic
  • Boyer Marc