Mise en œuvre d'un outil d'aide au développement d'une JVM modulaire pour système...

Mise en œuvre d'un Mise en œuvre d'un outil d'aide au outil d'aide au développement d'une développement d'une JVM modulaire pour JVM modulaire pour système embarquésystème embarqué

Rodolphe LouéProjet SOLIDOR

Plan de la présentationPlan de la présentation

IntroductionIntroduction1 - Présentation1 - Présentation2 - Objectifs2 - Objectifs3 - Mise en œuvre3 - Mise en œuvre4 - Perspectives4 - PerspectivesConclusionConclusion

Introduction (1/4)Introduction (1/4)

Essor des Essor des architectures architectures embarquéesembarquées

Applications multimédiaApplications multimédia télécommunicationstélécommunications

Programme Liaison

Programme

LLE Modification du programme indépendamment Modification du programme indépendamment

du matérieldu matériel Evolution du matériel indépendamment du Evolution du matériel indépendamment du

programmeprogramme

mémoiremémoire rapidité d’exécutionrapidité d’exécutioncoût énergétiquecoût énergétique

Optimisation de l’abstraction Optimisation de l’abstraction matérielle selon les critères :matérielle selon les critères :

1 - Présentation (1/2)1 - Présentation (1/2)

Sélecteur de module

Gestionnaire de type

Projection de

langageM1, M2

Interface utilisateur

Critères de conception

DSP C55x

Alignements requis

spécification

Implantation (modules)

Gestionnaire de type

1 - Présentation (2/2)1 - Présentation (2/2)

Système d’exploitation

Implantation

spécificationAlignement requis

SDElangage1 langage2

MEMOIRE <T>

Implantation1

Version1validée

Version2invalidée

Implantation2

<référence sur T>

Implantation del’allocation de T

Fonction de construction

Service1 Service2 Service d’allocation

Programme utilisateur

2 - Objectifs2 - Objectifs

Utilisation des fonctions de Utilisation des fonctions de construction de typeconstruction de type

Création d’information sur le typeCréation d’information sur le type

Rendre le gestionnaire de Rendre le gestionnaire de type polyvalenttype polyvalent

Les types dans SDELes types dans SDE Type opaque : bloc contigu (opaque(5)) Type externe : déclaré dans la spécification Type composé

– structure : concaténation de type (struct {...})– union : superposition de type

simple : taille de sa composante la plus volumineuse (union {...}) avec sélecteur de type : fonction retournant le type de l’union

(union <sélecteur_de_type> {…})

– tableau : ensemble d’éléments indexés d’un type classique (opaque(1)[2]) dynamique : fonction retournant la taille de la dimension

(opaque(3)[<fonction_de_dimension>])

inversion du typeinversion du type

Propriété : un type est

– représenté par un arbre– construit par une grammaire LALR

Type ::= Type_TableauType_Tableau ::= Type Dim

Exemple : type [5][2][7]

Type Dim

type[5][2][7]

type[5][2]

type[5]

Interprété par l’analyseur par :type[7][2][5]

légende

1 racine

structure ou union

tableau

opaque

légende

1 racine

structure ou union

tableau

opaque

Tableau dynamique versus fixeTableau dynamique versus fixe

Tableaufixe

Tableaudynamique

(0,0,0)

(0,0,1)

(0,1,0)

(0,1,1)

(0,2,0)

(0,2,1)

(1,0,0)

(1,0,1)

(1,1,0)

(1,1,1)

(1,2,0)

(1,2,1)

(0,0,0)

(0,0,1)

(0,1,0)

(0,1,1)

(1,0,0)

(1,0,1)

(1,1,0)

(1,2,0)

(1,2,1)

(1,2,2)

(2,0,0)

(3,0,0)

Représentation spatiale Représentation mémoire

Descripteurde la dimension 1

Descripteurde la dimension 2

Tableaudynamique

Tableaufixe

Opaque(5) [2][3][<d3>][3]

d3(0,0)=1d3(0,1)=1d3(0,2)=3

d3(1,0)=2d3(1,1)=1d3(1,2)=1

d3(0,0)=1d3(0,1)=1d3(0,2)=3

d3(1,0)=2d3(1,1)=1d3(1,2)=1

Opaque(5) [2][3][<d3>][3]

Emplacement mémoire de taille indéfinie

Légende

Opaque(5) [2][3][<d3>][3]

Légende

Opaque(5) [2][3][<d3>][3]

Emplacement mémoire de la taille d’un pointeur

Légende

Opaque(5) [2][3][<d3>][3]

d3(0,0)=1d3(0,1)=1d3(0,2)=3

d3(1,0)=2d3(1,1)=1d3(1,2)=1

Légende

d3(0,0)=1d3(0,1)=1d3(0,2)=3

d3(1,0)=2d3(1,1)=1d3(1,2)=1

d3(0,0)=1d3(0,1)=1d3(0,2)=3

d3(1,0)=2d3(1,1)=1d3(1,2)=1

Opaque(5) [2][3][<d3>][3]

d3(0,0)=1d3(0,1)=1d3(0,2)=3

d3(1,0)=2d3(1,1)=1d3(1,2)=1

Légende

Emplacement mémoire de la taille d’un opaque(5) aligné

12162024

104112

120128

160152

168176184

200208

224232

Unions avec sélecteur dans un tableauUnions avec sélecteur dans un tableau

Exemple :

union <sel1>{

opaque(4) o1;union <sel2>

{opaque(8) o2;opaque(16) o3;

}[2] u;}[3];

union <sel1> {

{opaque(8) o2;

opaque(16) o3;

}[2] u;}[3];

union <sel1> {

{opaque(8) o2;

opaque(16) o3;

}[2] u;}[3];

union <sel1> {

{opaque(8) o2;

opaque(16) o3;

}[2] u;}[3];

sel1=Type_usel1=Type_o1sel1=Type_u

union <sel1> {

{opaque(8) o2;

opaque(16) o3;

}[2] u;}[3];

union <sel1> {

{opaque(8) o2;

opaque(16) o3;

}[2] u;}[3];

sel2=Type_o2sel2=Type_o2

union <sel1> {

{opaque(8) o2;

opaque(16) o3;

}[2] u;}[3];

opaque(8) o2;

union <sel1> {

{opaque(8) o2;

opaque(16) o3;

}[2] u;}[3];

opaque(8) o2;

union <sel1> {

{opaque(8) o2;

opaque(16) o3;

}[2] u;}[3];

opaque(4) o1;

union <sel1> {

{opaque(8) o2;

opaque(16) o3;

}[2] u;}[3];

union <sel1> {

{opaque(8) o2;

opaque(16) o3;

}[2] u;}[3];

union <sel1> {

{opaque(8) o2;

opaque(16) o3;

}[2] u;}[3];

opaque(8) o2;

union <sel1> {

{opaque(8) o2;

opaque(16) o3;

}[2] u;}[3];

opaque(16) o3;

Légende

union <sel1> {

{opaque(8) o2;

opaque(16) o3;

}[2] u;}[3];

Légende

union <sel1> {

{opaque(8) o2;

opaque(16) o3;

}[2] u;}[3];

Légende

union <sel1> {

{opaque(8) o2;

opaque(16) o3;

}[2] u;}[3];

Légende

union <sel1> {

{opaque(8) o2;

opaque(16) o3;

}[2] u;}[3];

Légende

union <sel1> {

{opaque(8) o2;

opaque(16) o3;

}[2] u;}[3];

Légende

union <sel1> {

{opaque(8) o2;

opaque(16) o3;

}[2] u;}[3];

Légende

union <sel1> {

{opaque(8) o2;

opaque(16) o3;

}[2] u;}[3];

Légende

union <sel1> {

{opaque(8) o2;

opaque(16) o3;

}[2] u;}[3];

Légende

union <sel1> {

{opaque(8) o2;

opaque(16) o3;

}[2] u;}[3];

Légende

union <sel1> {

{opaque(8) o2;

opaque(16) o3;

}[2] u;}[3];

Légende

union <sel1> {

{opaque(8) o2;

opaque(16) o3;

}[2] u;}[3];

Légende

union <sel1> {

{opaque(8) o2;

opaque(16) o3;

}[2] u;}[3];

364044

Tableau de structure d’opaque et de tableauTableau de structure d’opaque et de tableau

Exemple :

struct{

opaque(8) o1;opaque(4) [3][<d2>] o2;

}[2][<d1>];

Légende

struct{

}[2][<d1>];

d1(0)=2 d1(1)=1

Légende

struct{

}[2][<d1>];d1(0)=2 d1(1)=1

Légende

struct{

}[2][<d1>];d1(0)=2 d1(1)=1

Légende

struct{

}[2][<d1>];d1(0)=2 d1(1)=1

Légende

struct{

}[2][<d1>];d1(0)=2 d1(1)=1

Légende

struct{

}[2][<d1>];d1(0)=2 d1(1)=1

Légende

struct{

}[2][<d1>];d1(0)=2 d1(1)=1

Légende

d2(0,0,0)=3d2(0,0,1)=1d2(0,0,2)=1

d2(0,1,0)=2d2(0,1,1)=1d2(0,1,2)=2

d2(1,0,0)=2d2(1,0,1)=1d2(1,0,2)=3

d1(0)=2 d1(1)=1

struct{

}[2][<d1>];

struct{

}[2][<d1>];

d2(0,0,0)=3d2(0,0,1)=1d2(0,0,2)=1

d2(0,1,0)=2d2(0,1,1)=1d2(0,1,2)=2

d2(1,0,0)=2d2(1,0,1)=1d2(1,0,2)=3

162024

96100104

112116

124128

4 - Perspectives4 - Perspectives

Sélecteur de moduleSélecteur de module

–mots clefs (automatisation de la mots clefs (automatisation de la tâche)tâche)

Caractéristiques processeursCaractéristiques processeurs

ConclusionConclusion

Objectifs atteintsObjectifs atteints type avec fonction de descriptiontype avec fonction de description transparence d’utilisation de ce typetransparence d’utilisation de ce type

CritiquesCritiques+ deux compilations distinctes nécessaires (des deux compilations distinctes nécessaires (des

fichiers d’entrée SDE et des fichiers générés par fichiers d’entrée SDE et des fichiers générés par SDE) : modularitéSDE) : modularité

– séparation des différentes stratégies dans SDEséparation des différentes stratégies dans SDE– mémoire optimisée sans tenir compte de sa mémoire optimisée sans tenir compte de sa

fréquence d’utilisationfréquence d’utilisation

Commentaires et questionsCommentaires et questions

Mise en œuvre d'un Mise en œuvre d'un outil d'aide au outil d'aide au développement d'une développement d'une JVM modulaire pour JVM modulaire pour système embarquésystème embarqué

Rodolphe LouéProjet SOLIDOR

FINFIN

Mise en œuvre d'un outil d'aide au développement d'une JVM modulaire pour système...

Documents

L'électronique embarqué automobile - Vision d'un équipementier

Quelles solutions pour Linux embarqué ? Résumépficheux.free.fr/articles/lmf/hs24/sol_linux/sol_linux.pdf · Quelles solutions pour Linux embarqué ? Pierre Ficheux (pierre.ficheux@openwide.fr)

SYSTÈME DE PESAGE EMBARQUÉ POUR CHARGEUSES

Kerberos in Your JVM - Apache Directorydirectory.apache.org/conference-materials.data/kerberos... · 2015-10-03 · Kerberos in Your JVM An Introduction to Apache Kerby Kiran Ayyagari

Dispositif modulaire

XP1 WK32x FR 6T7745.qxd:00f intérieur - KelElek.com · Présentation du système WK323B boîtier modulaire 3 zones WK322B boîtier modulaire 2 zones WK321B boîtier modulaire

Mise en œuvre d'un outil d'aide au développement d'une JVM modulaire pour système embarqué Olivier DERUELLE Erwan FOUYER Maxime JOUIN Rodolphe LOUE Projet

Rapport Potier : Briques génériques du logiciel embarqué

WebLogic Server 与ADF 介绍 - Oracle · 2011-03-21 · WebLogic Server 和iAS 应用程序 ADF Spring POJO … Java EE Web 服务 TopLink JVM 选择 JRockit JVM Sun JDK“HotSpot”

SVS cellule modulaire isolé

Développement d’un système embarqué de détection rapide …

ASFWS 2011 : Sécurité du web embarqué

Le guide de dépannage de la jvm

Linux embarqué. Linux Temps Réel

Le multimédia embarqué :

embarqué 2e édition embarqué - doc.lagout.org system /linux/Linux embarqué...Le code de la propriété intellectuelle du 1er juillet 1992 interdit en effet expressément la photocopie

Groupe hydraulique embarqué - urbaco.came.com

PAK-DAY 2017...Fonctionnalités PAK : mobilité / flexibilité 12/06/2017 CONFIDENTIEL Système MKII transportable et modulaire - piste avec 2 châssis (embarqué / bord de piste)

Mise en œuvre d'un outil d'aide au développement d'une JVM modulaire pour système embarqué

tablaeau modulaire schneider.pdf