Modélisation des systèmes temps-réel répartis embarqués pour la ...

Modélisation des systèmes temps-réel répartis embarqués
en section V-2.3.4. L’enchaînement des séquences se fait donc par une succession de changements
de mode.
Cette approche n’est pas satisfaisante pour l’implantation d’architectures logicielles complexes
car elle conduit à une explosion combinatoire des modes d’exécution ; elle implique également
la mise en place de mécanismes de reconfiguration complexes au sein de l’exécutif pour
résoudre un problème qui est traité simplement dans la majorité des langages de programmation.
Nous choisissons donc une autre interprétation sémantique à la présence de plusieurs séquences
d’appel au sein d’un sous-programme : nous considérons que les séquences d’appel présentes
dans l’implantation d’un sous-programme représentent les différentes phases d’exécution
possibles. Les différentes séquences doivent être coordonnées par une description comportementale
fournie par l’utilisateur. Ainsi, le listing V.11 met en jeu trois phases d’exécution possibles,
modélisées par les séquences seq1, seq2 et seq3.
1 data entier
2 properties
3 Language_Support::Data_Type => integer;
4 end entier;
5
6 subprogram spA
7 features
8 a : in parameter entier;
9 d : out parameter entier;
10 end spA;
11
12 subprogram spB
13 features
14 e : in parameter entier;
15 s : out parameter entier;
16 end spB;
17
18 subprogram spC
19 features
20 s : out parameter entier;
21 end spC;
22
23 subrogram spD
24 features
25 e : in parameter entier;
26 s : out parameter entier;
27 end spD;
28
29 subprogram implementation spA.impl
30 subcomponents
31 default_value : data entier;
32 calls
33 seq1 : {spB1 : subprogram spB;};
34 seq2 : {spC2 : subprogram spC;
35 spB2 : subprogram spB;};
36 seq3 : {spD3 : subprogram spD;};
37 connections
38 parameter a -> spB1.e;
39 parameter spB1.s -> spD3.e;
80 c○ 2007 Thomas Vergnaud