Nos partenaires

CNRS

Rechercher





Accueil du site > Français > Thèmes de recherche > Thème 6 - Architecture, systèmes et réseaux > Equipe IRT > Thèmes et Méthodologies

Outils et Méthodes

L’équipe IRT, spécialisée dans l’étude et la modélisation des réseaux embarqués, satellites et sans fil, utilise au grès des besoins différentes méthodes dont :

- Modélisation,

- Network Calculus

  • déterministe,
  • stochastique,

- Files d’attente,

- Chaînes de Markov,

- Décomposition, Isolation et Agrégation,

- Simulation et prototypage,

- Bornes stochastiques,

- Model Checking

  • déterministe,
  • probabiliste,

- Réseaux de Petri