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
architecturale reste donc très abstraite. Les relations entre les différents processus se traduisent par
des connexions entre les ports des processus.
La description AADL de la répartition d’une application se base donc sur la déclaration de
composants processus et processeurs banalisés, comme illustré sur le listing IV.1. Afin de simplifier
la démarche de modélisation, nous pouvons rassembler dans un paquetage AADL ces déclarations
de composants génériques ; elles seront instanciées et particularisées dans l’implantation de
système décrivant l’architecture en elle-même.
1 package GLADE
2 process Partition
3 features
4 communications : in out event data port;
5 end Partition;
6
7 processor Machine
8 end Machine;
9 end GLADE;
Listing IV.1 – Composants AADL génériques
Ces déclarations n’ont rien de contraignant ; elles permettent simplement d’éviter à l’utilisateur
d’avoir à déclarer systématiquement ces composants de base. Elles doivent être instanciées au
niveau de l’implantation d’un système global représentant l’architecture complète, comme représenté
sur le listing IV.2 : deux partitions communiquent, chacune s’exécutant sur un processeur ;
les ports des processus sont connectés pour modéliser les communications entre les deux partitions.
11 system Global
12 end Global;
13
14 system implementation Global.implem
15 subcomponents
16 partition_1 : process GLADE::Partition;
17 partition_2 : process GLADE::Partition;
18 processeur_1 : processor GLADE::Machine;
19 processeur_2 : processor GLADE::Machine;
20 connections
21 event data port partition_1.communications -> partition_2.
communications;
22 properties
23 actual_processor_binding => reference (processeur_1) applies to
partition_1;
24 actual_processor_binding => reference (processeur_2) applies to
partition_2;
25 end Global.implem;
Listing IV.2 – Mise en place des composants
Nous pouvons noter que le réseau de communication n’est pas modélisé puisque nous nous
limitons à une approche de haut niveau, selon un point de vue essentiellement logiciel. Les informations
telles que la bande passante ou la latence de transmission des réseaux de communication
ne sont pas pris en compte dans cette approche ; les éventuelles informations concernant la transmission
des données entre les partitions devraient être indiquées au moyen de propriétés associées
54 c○ 2007 Thomas Vergnaud