Table des matières - Gilles Daniel

Introduction à la modélisation et à la simulation d'événements discrets. 55
Attardons nous sur les simulateurs abstraits. En effet, DEVS propose non
seulement une notation pour les modèles mais propose aussi les algorithmes de
simulation. Voici les deux algorithmes de base de DEVS : l’un exprime le comportement
d’un modèle atomique (voir figure 2.6) et l’autre celui d’un modèle couplé (voir figure
2.7). Un simulateur abstrait est vu comme une boîte noire (voir figure 2.5) acceptant
en entrée trois types d’événements (conformément au formalisme DEVS) :
– initialisation (i,t) : l’état S du modèle est initialisé à l’instant t,
– externe (x,t) : un autre modèle a envoyé un événement à la date t, le modèle était
dans son état S depuis tl (e = t − t l ) et devait changer d’état à tn (σ = t n − t). Le
modèle va le traiter en fonction de sa fonction de transition externe δ ext ,
– interne (*,t) : le modèle a atteint la date de fin de l’état courant S et le
modèle va changer d’état selon sa fonction de transition interne δ int ,
Quand réception d’un événement d’initialisation (i, t)
t l = t − e
t n = t l + ta(s)
Fin Quand
Quand réception d’un événement externe : (x, t)
Si t l ≤ t ≤ t n Alors
e = t − t l
s = δext(s, e, x)
t l = t
t n = t l + ta(s)
Envoyer au simulateur père l’événement (fait, t n )
Sinon ”erreur”
Fin Si
Fin Quand
Quand reception d’un événement de fin d’état (*, t)
Si t = t n Alors
y = λ(s)
Envoyer au père d’un événement externe (y, t)
s = δint(s)
t l = t
t n = t l + ta(s)
Envoyer au père fin de traitement (fait, t n )
Sinon ”erreur”
Fin Si
Fin Quand
Figure 2.6. Simulateur abstrait d’un modèle atomique
L’algorithme de la figure 2.6 présente les trois phases (initialisation, événement
externe et fin d’état) de la dynamique d’un modèle DEVS. L’initialisation fixe l’état