Seance de TP 2

Pour cette séance nous n’aurons pas besoin des machines, nous allons concevoir des composants DEVS sur le papier.

Composant 1 : Composant passif

C’est le plus simple des composants. Il est appelé passif car quelle que soit l’entrée il ne fournit pas de sortie.

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)

Composant 2 : Composant de stockage

Ce composant recoit des valeur reelles en entrée. Lorsque la valeur en entrée est différente de zéro, le composant stocke la valeur. Lorsqu’elle vaut zéro, le composant passe en mode réponse pour un certain délai. A l’issue de ce délai, la valeur stockée est placée en sortie. Dans le cas ou une valeur est fournie en entrée lors de la phase de réponse, la valeur en entrée est ignorée et la phase de réponse se poursuit jusqu’à la fin du délai initialement prévu.

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}