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
Règle V.13 (Traduction des paquetages AADL en Java)
Un paquetage AADL se traduit par un paquetage Java. Les conventions de nommage
sont similaire à Ada.
Les déclarations placées dans ce paquetage ne se traduisent en revanche pas de façon aussi
directe, comme nous l’étudions dans les sections suivantes. De la même façon que pour Ada et
C, le paquetage principal, correspondant à l’espace de nom anonyme, est nommé « partition » ; il
contient les différentes déclarations de l’espace de nom anonyme. Ce paquetage est placé dans un
fichier Partition.java ; les différents fichiers correspondant aux espaces de nom sont nommés
.java et placés dans les sous-répertoires correspondants.
V-4.2.2 Traduction des composants de donnée
La définition de nouveaux types de données en Java s’effectue par la déclaration de classes.
Règle V.14 (Traduction des déclarations de donnée AADL en Java)
Chaque déclaration de composant de donnée AADL se traduit par une classe Java de
même nom, déclarée dans le paquetage correspondant.
De la même façon que pour Ada, la traduction d’un composant de donnée AADL sans sémantique
– tel que une_donnee au listing V.1 – se traduit par une classe vide, comme illustré au
listing V.19.
5 class une_donnee { }
Listing V.19 – Classe Java correspondant à une donnée AADL sans sémantique
Les classes Java permettant de décrire les types de base, telle que Integer pour les entiers, ne
permettent que de décrire des objets « constants » : ces objets représentent une valeur constante,
qu’il n’est pas possible de modifier. De façon parallèle, la classe Java String ne permet pas de
représenter des chaînes de caractères de taille fixée. Dans le cadre de la traduction des composants
de données AADL en Java, nous nous reposons donc sur les types « classiques » inspirés du C,
tels que le type int ou les tableaux de caractères.
Les différents types de donnée se traduisent donc par des classes contenant un champ val dont
le type correspond à la sémantique de la donnée AADLi, comme représenté au listing V.20.
7 class une_donnee_i_entier {
8 public int val;
9 }
10
11 enum une_donnee_i_enumeration {
12 bleu, jaune;
13 }
14
15 class une_donnee_i_tableau_entier {
16 public int[] val = new int[5];
17 }
18
19 class une_donnee_i_tableau_entier2 {
20 public une_donnee_i_entier[] val = new une_donnee_i_entier
[5];
21 }
22
92 c○ 2007 Thomas Vergnaud