Table des matières - Gilles Daniel

Introduction à la modélisation et à la simulation d'événements discrets. 49
2.4.1 DEVS atomique
Un modèle DEVS atomique possède la structure suivante :
DEVS = (X,Y ,S, δ ext ,δ int ,δ con ,λ,ta) [2.2]
où :
X est l’ensemble des ports et des valeurs d’entrée,
Y l’ensemble des ports et des valeurs de sortie,
S l’ensemble des états du système,
δ ext la fonction de transition externe,
δ int la fonction de transition interne,
δ con la fonction de transition ”conflit”,
λ la fonction de sortie,
ta la fonction d’avancement du temps.
Cette structure est plus complexe que celle proposée au niveau systèmes
dynamiques. La seule différence réside dans la séparation de la fonction de transition
en trois fonctions de transition. Un modèle DEVS peut être représenté graphiquement
par une boîte avec un ensemble d’entrées appelées ports d’entrée et de sorties appelées
ports de sortie. Les vecteurs d’entrée et sortie sont l’union de tous les ports du modèle.
Figure 2.3. Représentation graphique d'un modèle atomique.
v i est la valeur prise par un port d’entrée ou de sortie. Cette valeur appartient à
l’ensemble des valeurs possibles du port p i . Un port d’entrée prend une valeur lors
de l’émission d’un événement attaché à ce port. Un port de sortie prend une valeur
lorsque la fonction de sortie prend une valeur pour ce port.
S est l’ensemble des états du système. L’ensemble des valeurs pris par le vecteur
d’états à un instant donné e est appelé état du système. L’ensemble ST des états
totaux du système est : ST = (s, e) où s ∈ S, o < e < ta(s)
e représente le temps écoulé dans l’état s. Ce concept d’état total (s, e) est
fondamental car il permet de spécifier un état futur en fonction du temps écoulé dans