Ingénierie de protocoles 

Course Features

Course Details

Ingénierie de protocoles  GIN4R06
Enseignant:
Email:
Durée totale du cours: 22.5 H
Semestre : 4
Option Ingénierie systèmes et réseaux
Nombre de crédits : 2
Modules spécialisés Modules de base Sciences et techniques de l'ingénierie Préparation à la carrière professionnelle
X
 
Nombre dheures Activités hors classe
22.5 18
 

Code         : GIN4R0       Ingénierie de protocoles

Contenu du  cours

  • Chapitre 1 : Généralités sur les protocoles
    • Cycle de développement des protocoles
    • Vérification et Validation des protocoles
  • Chapitre 2 : Modèles à états
    • Etats et transition
    • Modèles de machines à état fini
  • Chapitre 3 : Réseaux de Petri et logique temporelle
    • Modélisation des protocoles
    • Les réseaux de Petri Colorés
  • Chapitre 4 : Analyse de modèles (Model-checking)
    • Modèles Büchi
    • Analyseur SPIN
  • Chapitre 5 : Principes des tests des protocoles
    • Théorie du Test
    • Langages et architectures de test
  • Chapitre 6 : Vers les protocoles de traitement réparti ouvert (Open Distributed Processing)
    • Architecture ODP
    • Modèle d’ingénierie ODP

Méthodes d’enseignement et d’apprentissage

  • Enseignement frontal (magistral) avec des exemples à résoudre en
  • Exercices théoriques et études de cas (présentation et discussion).
  • Travaux à faire à domicile (mini-projet, exposé, compte-rendu, …)
Connaissances et compétences pré-requises
  • Les fondements de réseaux
  • Les principes des protocoles de bases

Références bibliographiques

  • Un polycopié (Notes du cours) de l’enseignant sera
  • Gerard J. Holzmann, Design and Validation of Computer Protocol, Prentice Hall, New Jersey, 1991, ISBN 0-13-539925-4.

Modalité d’évaluation

  • 40% Contrôle continu (Test + Travail individuel avec présentation orale, Devoir surveillé, …)
  • 60% Examen semestriel

Résultat d'apprentissage :

À la fin du cours, l’étudiant doit:  
  • Être au fait des problématiques liées au domaine des protocoles de télécommunication
  • Être capable de maîtriser le processus de développement de ces protocoles en utilisant des techniques formelles de spécification et de
 
This course does not have any sections.

More Courses by this Instructor


Proud of NASCAR and its supporters and fans. They won put up with disrespecting our Country or our Flag they said it loud and clear! words Friday and Saturday sparked a massive show of defiance Sunday as more than 200 NFL players protested by choosing not to stand for the national anthem. Many coaches locked arms with the players. Goal was to provide cheap china jerseys open dialogue and communication. We listened to one another. We believe it the best way to work through any issue we are facing, on and off the field, owners Terry and Kim Pegula said in a statement distributed by the Bills. Trump remarks were divisive and disrespectful to the entire NFL community, but we tried to use them as an opportunity to further unify our team and our organization. Our players have the freedom to express themselves in a respectful and thoughtful manner and we all agreed that our sole message is to provide and to promote an environment that is focused on love and equality. "Within hours, cheap jerseys certainly, and probably less, the Ranger regiment officers, high ranking officers back in the States were conspiring to cover this up," Krakauer says. military's highest honors, immediately began moving through the Army ranks something that is not done cheap nfl jerseys for deaths by friendly fire, Krakauer says. 'Prairie niggers' is an insult. Those are very upsetting to our kids. But 'Redskins' is an honorable name we wear with pride. He wondered how to tell the Willpinit Redskins the "name they wear proudly across their chests is insulting them. Because they have no idea.". According to the "Princeton Review," there are no prerequisites for sports management positions, but most general managers in the NFL have similar backgrounds as former scouts, accountants or athletes.Start in SchoolGMs in the NFL must have a passion for the game. They typically have experience either playing or coaching football. "This pro football has been personally hand cheap china jerseys signed by Hall of Fame defensive tackle Joe Greene with the inscription ""HOF 87"". This product is officially licensed by the National Football League and comes with an individually numbered; tamper evident hologram from Mounted Memories. To ensure authenticity, the hologram can be reviewed online. This oakley sunglasses sale process helps to ensure that the product purchased is authentic and eliminates any possibility of duplication or Retro Jordans fraud. " Setting Point Spreads, OddsOddsmakers do more than predict the outcome of games. They weigh myriad factors to determine which team is favored by how many points. In individual sports or group events, they set odds on which individual or team is most likely to win. They set odds that spread the betting encouraging bets on the underdogs and discouraging bets on heavy favorites. Their goal is to create higher betting volume and more wins than losses for the sports cheap jerseys book.
Need Help? Chat with us