Chap02 fsm mpssr ht Chapitre Spéci ?cation des protocoles Machines à états w uqo ca luigi CExemple un automate qui modèle le comportement d ? un ordinateur ? Au début il est en état éteint ? L ? événement allumer le met en état allumé ? L ? événement CtrA

Chapitre Spéci ?cation des protocoles Machines à états w uqo ca luigi CExemple un automate qui modèle le comportement d ? un ordinateur ? Au début il est en état éteint ? L ? événement allumer le met en état allumé ? L ? événement CtrAltDel le met en état login ? L ? événement login le fait passer à un des deux états ? Login accepté ? Login refusé ? S ? il accepte l ? événement clique sur icône Word le fait passer en état prêt pour WordProcessing ? Noter ? Ce qui précède est une abstraction Certaines choses ne sont pas dites p ex quel sera le résultat si ? CtrAltDel ne sont pas frappés simultanément ? On frappe CtrAltDel avant d ? allumer ? On fait des erreurs de frappe pendant le login ? Etc INF Chap CConcept d ? état ? Le concept d ? état du système est une abstraction utile ? Représente une instantanée snapshot du contenu de la machine à un moment donné ? Déterminé par ce qui s ? est produit dans la machine avant ? Détermine ce qui peut se produire dans le futur ? État ? global état de tout le système dans son entièreté ? local état d ? une entité dans le système ? Transitions d ? état événements qui causent changements d ? états INF Chap CMachines à états état état état INF Chap état état ? Comportements possibles de cette machine ? Elle peut ? Envoyer un message ? Puis recevoir un message ? Puis envoyer un ? Recevoir un etc ? Ou ? Recevoir un message ? Puis recevoir un message ? Puis envoyer un message et retourner à pouvoir recevoir etc ? L ? état est un état ? ?nal ? CTableaux de transition d ? états état état INF Chap état état état Machine partiellement spéci ?ée Les transitions impossibles ne sont pas spéci ?ées Nous pouvons interpréter ces transitions comme transitions à un état erreur CDi ?érents modèles à états ? Les machines à états aussi appelés automates sont un concept très utilisé en informatique ? Un bon nombre de défs existe chacune avec sa propre théorie avec des légères di ?érences ? Tous les modèles suivants sont utilisés dans la conception des protocoles et aussi dans la conception de circuits INF Chap CSystèmes de transition ? Le concept le plus général ? Nous avons un ensemble d ? états pas nécess ?ni et une relation de successeur entre états ? Exemple de s d t état état état état INF Chap CSystèmes de transition étiquetés LTS labeled transition systems ? Les transitions sont nommées état b a état c d état état e INF Chap CUtilisation des étiquettes ? Nous pouvons donner une signi ?cation aux étiquettes p ex ? x Veut dire une entrée input d ? une valeur x ? y Veut dire une sortie output d ? une valeur y état état état état INF Chap CNotation

  • 103
  • 0
  • 0
Afficher les détails des licences
Licence et utilisation
Gratuit pour un usage personnel Aucune attribution requise
Partager