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
toute l’architecture.
AADL définit plusieurs types de flux :
– les flux de bout en bout (end to end flows) décrivent un flux complet ;
– les sources (source flows), les puits (flow sink) et les tronçons de flux (flow path) représentent
respectivement le début, la fin et un tronçon d’un flot.
Un flux de bout en bout peut se décomposer en une source, des tronçons et un puits, qui sont
assemblés en fonctions de la composition des composants.
Les flux ne traduisent pas de construction réelle ; ils sont un moyen de matérialiser la circulation
des données à travers l’architecture afin de faciliter le processus d’analyse.
1 system systeme_a
2 features
3 a : in data port;
4 b : out data port;
5 reseau : requires bus access un_reseau;
6 flows
7 flux1 : flow path a -> b;
8 end systeme_a;
9
10 system systeme_b
11 features
12 a : in data port;
13 b : out data port;
14 flows
15 flux1 : flow source b;
16 flux2 : flow sink a;
17 end systeme_b;
18
19 bus un_reseau
20 end un_reseau;
21
22 system systeme_c
23 features
24 s : out data port;
25 end systeme_c;
26
27 system implementation systeme_c.impl
28 subcomponents
29 systeme1 : system systeme_a;
30 systeme2 : system systeme_b;
31 reseau1 : bus un_reseau;
32 connections
33 cnx1 : data port systeme2.b -> systeme1.a;
34 cnx2 : data port systeme1.b -> systeme2.a;
35 cnx3 : data port systeme2.b -> s;
36 bus access reseau1 -> systeme1.reseau;
37 flows
38 flux : end to end flow systeme2.flux1 -> cnx1 -> systeme1.flux1
39 -> cnx2 -> systeme2.flux2;
40 end systeme_c.impl;
Listing III.4 – Connexions et flux
Le listing III.4 illustre la description de connexions et de flux.
38 c○ 2007 Thomas Vergnaud