Table des matières - Gilles Daniel

Introduction à la modélisation et à la simulation d'événements discrets. 51
2.4.2. DEVS couplé
Un modèle couplé définit comment est couplé un ensemble de modèles entre eux
pour former un nouveau modèle. Il peut lui-même faire parti d’un modèle couplé.
On définit alors une construction hiérarchique de modèles. Un modèle couplé
comprend les informations suivantes :
– l’ensemble des modèles qui le compose,
– l’ensemble des ports d’entrée qui recevront les événements externes,
– l’ensemble des ports de sortie qui émettront les événements,
– les couplages en ports d’entrée et ports de sortie des modèles composant le
modèle couplé,
Un modèle couplé, aussi appelé réseau de modèles, possède la structure suivante :
N = {X, Y,D, {M d /d ∈ D},EIC,EOC, IC} [2.5]
La définition de X et Y est identique à celle de X M et Y M d’un modèle atomique.
Les entrées et sorties sont composées de ports, chaque port peut prendre des valeurs,
chaque port possède son propre domaine de valeurs. D est l’ensemble des
identifiants des modèles intervenants dans le modèle couplé. M d est un modèle
DEVS. Les variables représentant les entrées et les sorties du modèle seront
indexées par l’identifiant du modèle. D’où la notation suivante :
M d = (X d , Y d , S, δ ext , δ int , δ con , λ, ta) [2.6]
Les entrées et les sorties du modèle couplé noté N sont connectées aux entrées et
sorties des modèles composants le modèle couplé. EIC représente la liste de ports
d’entrée du modèle couplé IPorts qui sont connectés aux ports d’entrée des sousmodèles
IPortsd avec d ∈ D.
EIC = {((N, a), (d, b))/a ∈ IPorts, b ∈ Iports d } [2.7]
On a la même situation pour les ports de sortie où EOC représente la liste de
ports de sortie du modèle couplé OPorts qui sont connectés aux ports de sortie des
sous-modèles OPortsd avec d ∈ D.
EOC = {((N, a), (d, b))/a ∈ OPorts, b ∈ Oports d } [2.8]
A l’intérieur du modèle couplé, les sorties d’un modèle peuvent être couplées
aux entrées des autres modèles. Une sortie d’un modèle ne peut pas être couplée à
l’une de ses entrées.