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 pour la ...
Modélisation des systèmes temps-réel répartis embarqués pour la ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
<strong>Modélisation</strong> <strong>des</strong> <strong>systèmes</strong> <strong>temps</strong>-<strong>réel</strong> <strong>répartis</strong> <strong>embarqués</strong><br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
thread1_c_begin<br />
Control<br />
thread2_e1<br />
Value <br />
thread2_c_begin<br />
Control<br />
<br />
<br />
thread2_begin<br />
<br />
<br />
<br />
<br />
<br />
thread1_rpc_begin<br />
Value<br />
<br />
<br />
thread2_c_begin<br />
Control<br />
<br />
<br />
<br />
<br />
<br />
thread2_seq1_begin<br />
thread2_seq2_begin<br />
[v u]<br />
[v u]<br />
<br />
<br />
thread2_appel1_e1<br />
thread2_appel3_c_e<br />
thread2_appel3_e2 <br />
Control<br />
Value<br />
thread2_appel1_c_e<br />
thread2_appel1<br />
thread2_appel3_e1<br />
Control<br />
Value<br />
Value<br />
<br />
thread2_appel1_c_s<br />
thread1_init<br />
rpc_c_e<br />
Control<br />
<br />
thread2_appel1_s1<br />
Value<br />
thread2_appel3<br />
Control<br />
<br />
<br />
<br />
Control<br />
thread2_appel1_appel2<br />
<br />
<br />
Value<br />
[v u]<br />
<br />
rpc_c_s<br />
<br />
appel3_s1 Value Control<br />
appel3_c_s<br />
Value<br />
thread2_appel2_c_e<br />
Control thread2_appel2_e2<br />
thread2_appel2_e1<br />
<br />
thread2_init<br />
thread1_rpc_end<br />
<br />
thread2_appel2<br />
<br />
<br />
<br />
<br />
<br />
<br />
Value<br />
thread1_c_end<br />
<br />
<br />
thread2_appel2_s1<br />
Control<br />
<br />
Control<br />
[v u]<br />
<br />
<br />
thread2_seq2_end<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
Value <br />
<br />
C<strong>la</strong>ss<br />
Value is [u, d];<br />
<br />
Control is 1 .. 2;<br />
Var<br />
v, v1, v2, v3, v4, v5, v6 in Value;<br />
Value Value<br />
c in Control;<br />
thread1_s1 thread1_s2<br />
thread2_end<br />
thread2_c_end<br />
<br />
Control<br />
<br />
<br />
<br />
<br />
thread2_appel2_c_s<br />
Control<br />
thread2_seq1_end<br />
[v u]<br />
<br />
Value<br />
FIG. VII.7 – <strong>Modélisation</strong> de séquences d’appel, correspondant au listing VII.3<br />
138 c○ 2007 Thomas Vergnaud
Change language