Séance de TP 3

Cette semaine encore nous ferons quelques exercices sur le papier avant, la semaine prochaine de passer a la programmation.

Ex 1 : Etude de comportement

Faites les schemas chronologiques decrivant le compotement du DEVS couplé vu en cours et de ses constituants.

Ex 2 : Composant generateur

Ce composant ne produit aucune reponse quand une valeur est fournie en entree. En sortie, il produit simplement la valeur 1 a intervalle de temps régulier, fixé (paramètre du modèle, noté periode).

Tracez les courbes représentant X, S, t et Y en fonction du temps. Puis donnez la spécification formelle de ce composant: DEVS={X, Y, S, delta_int, delta_ext, lambda, ta}

Ex 3 : Composant compteur binaire

Ce composant produit en sortie une valeur 1, chaque fois qu’il recoit deux valeur 1 en entree. Pour cela, il conserve un compteur (modulo 2) des “un” qu’il a vu passer sur l’entree. Quand il recoit un “un” qui rend le compteur pair, il passe dans une phase “active” de facon a produire la sortie immediatement.

Tracez les courbes représentant X, S, t et Y en fonction du temps. Puis donnez la spécification formelle de ce composant: DEVS={X, Y, S, delta_int, delta_ext, lambda, ta}