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
Deux nouveaux types d’interfaces doivent être ajoutés :
– requires subprogram access
– provides subprogram access
Ces deux nouveaux éléments d’interface ont la même syntaxe que les accès aux bus ou aux
données. Ils s’appliquent aux sous-programmes, thread, processus, données et systèmes. Un sousprogramme
ne peut néanmoins pas fournir d’accès.
La connexion de tels interfaces est autorisée entre un type de composant et une implantation.
Par exemple, une implantation de composant peut être connectée à une interface associée au type
de composant correspondant. Il est ainsi possible de connecter différentes implantations d’un sousprogramme
à une interface donnée.
De la même façon, nous introduisons une construction syntaxique supplémentaire pour les
séquences d’appel. Deux types d’appels sont alors possibles :
– subprogram
– subprogram access
De cette façon, nous différencions le paradigme d’appel « traditionnel » de celui que nous
ajoutons.
Application
La nouvelle syntaxe facilite la sélection du sous-programme qui doit effectivement être appelé,
comme l’illustre le listing III.12. La sélection du sous-programme à appeler ne se fait plus
au niveau de l’implantation du thread mais au moment de son instanciation au sein du processus.
La sélection du sous-programme devient donc un paramètre de configuration, et plus une caractéristique
intrinsèque du thread.
1 thread thread_a
2 features
3 p : requires subprogram access sp2;
4 end thrad_a;
5
6 subprogram sp_a end sp_a;
7
8 subprogram sp_a.impl1 end sp_a.impl1;
9 subprogram sp_a.impl2 end sp_a.impl2;
10
11 thread implementation thead_a.impl
12 calls {
13 appel1 : subprogram access p;
14 };
15 end thread_a.impl;
16
17 process processus_a
18 end processus_a;
19
20 process implementation processus_a.config1
21 subcomponents
22 sp1 : subprogram sp_a;
23 thread1 : thread thread_a.impl;
24 connections
25 subprogram access sp1 -> thread1.p;
48 c○ 2007 Thomas Vergnaud