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

1 system global
2 end global;
3
Modélisation des systèmes temps-réel répartis embarqués
4 process processus_a
5 features
6 s : out event data port;
7 end processus_a;
8
9 process processus_b
10 features
11 e : in event data port;
12 end processus_b;
13
14 process controleur
15 features
16 c : out event port;
17 end controleur;
18
19 system systeme_a
20 features
21 c : in event port;
22 end systeme_a;
23
24 system implementation systeme_a.impl
25 subcomponents
26 processus1 : process processus_a;
27 processus2 : process processus_b;
28 processus3 : process processus_b in modes (double);
29 connections
30 event data port processus1.s -> processus2.e;
31 event data port processus1.s -> processus3.e in modes (double);
32 modes
33 simple : initial mode;
34 double : mode;
35 simple -[ c ]-> double;
36 double -[ c ]-> simple;
37 end systeme_a.impl;
38
39 system implementation global.config1
40 subcomponents
41 systeme1 : system systeme_a.impl;
42 controleur1 : process controleur;
43 connections
44 event port controleur1.c -> systeme1.c;
45 end global.config1;
III-7 Espaces de noms
Listing III.5 – Système global et modes
Une description AADL est une succession de déclarations de composants et de groupes de
ports. Afin d’organiser ces déclarations et de les regrouper par ensembles logiques, le langage
40 c○ 2007 Thomas Vergnaud