Aller au contenu

GEI738 - Systèmes à événements discrets distribués

Présentation

Sommaire

Cycle
2e cycle
Crédits
3 crédits
Faculté/Centre
Faculté de génie

Cible(s) de formation

Acquérir les connaissances théoriques nécessaires pour l'étude des systèmes à événements discrets (SED) distribués (SEDD); connaître des techniques de modélisation, d'analyse, de conception et de contrôle des SEDD; s'initier à des approches utilisées pour l'étude des SEED temps-réel.

Contenu

Introduction aux SEDD. Modèles et langages de représentation des SED : automates à états finis, réseaux de Petri, LOTOS, SDL, ESTELLE. Exemples de SEDD : réseaux de télécommunications, protocoles de communications, robots d'assemblage. Conception des SEDD : approches itératives (dites analytiques) et approches directes (dites synthétiques). Analyse des SEDD : fiabilité, qualité de service, performance, coût. Contrôle des SEDD : introduction à la théorie du contrôle des SED et présentation de plusieurs résultats importants. SEDD temps-réel : introduction à la modélisation, à l'analyse, à la conception et au contrôle des SEDD.