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
8 Protocol : requires subprogram access Ipao::Protocol::
Protocol;
9 Queue_Request : requires subprogram access Ipao::Bind::
Add_Request;
10 Bind_Request : requires subprogram access Ipao::Bind::
Bind_Request;
11 Add_Request : requires subprogram access Ipao::Activation::
Add_Request;
12 Activate_Request : requires subprogram access Ipao::
Activation::Add_Request;
13 State_Machine : requires data access Mubroker_State;
14 end Mubroker;
15
16 subprogram implementation Mubroker.Generic
17 calls
18 Listen : {Listen1 : subprogram access Protocol;
19 Listen2 : subprogram access Queue_Request;};
20 Bind_Local : {Bind_Local1 : subprogram access Bind_Request;
21 Bind_Local2 : subprogram access Add_Request;};
22 Activate : {Activate1 : subprogram access Activate_Request;};
23 end Mubroker.Generic;
24 end Ipao::Mubroker;
Listing VI.9 – Modélisation du µBroker
Contrairement à des services comme l’activation ou la liaison, dont l’implantation dépend de
l’organisation des entités applicatives et protocolaires, le µBroker coordonne toujours les mêmes
services. Nous utilisons donc des accès à sous-programmes afin de pouvoir mettre en place une
description comportementale indépendante des services.
VI-3.5 Assemblage des composants
Chaque nœud applicatif est modélisé par un processus AADL contenant des threads AADL.
Ces threads représentent l’exécutif de bas niveau ; ils sont issus de l’expansion des threads AADL
de la première phase du processus de conception. Ils sont exécutés par des threads du système
d’exploitation.
Le processus et ses threads contiennent les composants de donnée et appellent les sousprogrammes
modélisant l’instance de l’architecture schizophrène pour chaque nœud. Le listing VI.10
donne un exemple d’instanciation des composants de l’intergiciel.
1 process application_node
2 end application_node;
3
4 thread Minimal_Thread
5 features
6 Protocol : requires subprogram access Ipao::Protocol::
Protocol;
7 Queue_Request : requires subprogram access Ipao::Bind::
Add_Request;
8 Bind_Request : requires subprogram access Ipao::Bind::
Bind_Request;
9 State_Machine : requires data access Mubroker_State;
10 properties
116 c○ 2007 Thomas Vergnaud