1 - Fiche descriptive

Langue

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

Objectifs

Ce module présente différentes techniques pour la validation des réseaux embarqués.

Programme/Contenu

Introduction : différentes techniques pour différents objectifs.
Le calcul réseau : théorie et application au calcul de délais sur un réseau avionique.
Le model checking : exemple d'applications.
La simulation : exemple d'application au calcul de délais sur un réseau avionique.

Mots clés

  • calcul réseau, Model-checking, Simulation de réseaux

2 - Organisation de la matière

UE utilisant cette matière

UE Promotions
NETG10 - TpsR : NETG10 - Temps Réel Ingénieur ENSEEIHT Télécommunications 3ème année Option SSE
NTES - SSE : Option Système Spatiaux et Embarqués

Volume horaire

Element Volume horaire
Cours magistral 15.0
Total 15.0

Examens

Type Forme Coefficient
Contrôle continu Ecrit 1.0

3 - Contacts

Responsables

  • Boyer Marc
  • Ermont Jerome
  • Scharbarg Jean-luc

Enseignants

  • Boyer Marc
  • Ermont Jerome
  • Scharbarg Jean-luc