Bernard Pottier RESSACS2011
-
Upload
truong-phong-tuyen -
Category
Documents
-
view
219 -
download
0
Transcript of Bernard Pottier RESSACS2011
-
7/26/2019 Bernard Pottier RESSACS2011
1/30
RESSACS 2011, B.Pottier et al.
Les capteurs en ville
Du maquettage la gnration de code
Bernard Pottier,Pierre Yves Lucas, Eloi Keita
Universit de Brest (UBO), France*LabSTICC, UMR 319
!e"t In#$r%ati&'e, Fac't des Sciences
-
7/26/2019 Bernard Pottier RESSACS2011
2/30
RESSACS 2011, B.Pottier et al.
Plan
1.Contexte : st%es "ervasi#sLab!"CC
#.$ne proposition de flot pour les %& : &et'en
(.)utils : *or+e textuelle du +odle topoloiue
/.)utils : Cr0ation interactive de r0seaux
.uite du flot : brve pr0sentation
-
7/26/2019 Bernard Pottier RESSACS2011
3/30
RESSACS 2011, B.Pottier et al.
2st+es pervasifs, Lab!"CC
T+%ede l30uipe 40t5odes et )utils pour laConception des 2st+es C6P&E! : estion de l30nerie dans les r0seaux de
capteurs, 0tude de cas 7&.8ulien9 ) 74. evaux9 : opti+isation pour les couvertures
dans les r0seaux de capteurs 0alit0 ;irtuelle au+ent0e et 4er 78P
-
7/26/2019 Bernard Pottier RESSACS2011
4/30
RESSACS 2011, B.Pottier et al.
Contributions propos0es =E6C #>11
"ntroduction aux outils de sp0cification &et'en
Calculs et esti+ation de couvertures sur '"
7. ?err2, K. 6++ouc5e, Y. Le 'all9
"nt0ration loicielle des capteurs7Pierre-Yves Lucas9
-
7/26/2019 Bernard Pottier RESSACS2011
5/30
RESSACS 2011, B.Pottier et al.
r$"$siti$n de #$t de c$nce"ti$n
L'atelier NetGen propose un flotdescendant inspir de la conceptionmatrielle:
Etape 1: conception, si+ulation, opti+isation.
Etape 2 :"r$d'cti$n d' c$de "$'r es ca"te'rs,tests et d"$ie%ent (C# -. L'cas)
B$'ca/es s'r c+ac'ne des ta"es et s'r e #$tc$%"et-
1 #
-
7/26/2019 Bernard Pottier RESSACS2011
6/30
RESSACS 2011, B.Pottier et al.
tructuration des outils
)util de d0veloppe+ent principal : +alltal ;isual%ors : protot2pae rapide,constructions de
+odles. Licence universitaire ratuite
Pour l3expression et la si+ulation s2st+es )cca+, co+pilateur de $. de Kent, libre C$
-
7/26/2019 Bernard Pottier RESSACS2011
7/30
RESSACS 2011, B.Pottier et al.
p0cification 0o+0triue 719
!ableau de bord &et'en : '0n0rations de distributions al0atoires
0seaux r0uliers
Explications sur la for+e textuelle du +odle : i 0 2 n r$/ra%%e
-
7/26/2019 Bernard Pottier RESSACS2011
8/30
RESSACS 2011, B.Pottier et al.
p0cification 0o+0triue 7#9
4odle
-
7/26/2019 Bernard Pottier RESSACS2011
9/30
RESSACS 2011, B.Pottier et al.
p0cification textuelle fic5iers
Editeur de sp0cification 2ntaxe sp0cification : titre +essaes 7i 0 2 n r$/ra%%e) --
L$ad et save 4 possibilit0 d30crire vos propres 0n0rateurs.
7Clic droit9
70dition9
7+enu9
-
7/26/2019 Bernard Pottier RESSACS2011
10/30
RESSACS 2011, B.Pottier et al.
p0cifications r0ulires
'rilles de connectivit0 variable
-
7/26/2019 Bernard Pottier RESSACS2011
11/30
RESSACS 2011, B.Pottier et al.
Pr0sentation rap5e loiue
$tilisation du loiciel rap5viA 0-0criture du +odle en s2ntaxe d$t i rap5viA : production de pr0sentations rap5iues loiues
-
7/26/2019 Bernard Pottier RESSACS2011
12/30
RESSACS 2011, B.Pottier et al.
aisie sur carte 719
But : positionne+ent de capteurs sur un plan 6ccs fenDtre de saisie rap5iue
4enu option : +ap
*enetre rap5iue
-
7/26/2019 Bernard Pottier RESSACS2011
13/30
RESSACS 2011, B.Pottier et al.
aisie sur carte 7#9
C5are+entd3une i+ae7.pn
Portail "'&7*rance9,'oole +aps,etc... plansbati+ents
-
7/26/2019 Bernard Pottier RESSACS2011
14/30
RESSACS 2011, B.Pottier et al.
aisie sur carte 7(9
Positions descapteurs elections de
points
Ec5elle en vue
-
7/26/2019 Bernard Pottier RESSACS2011
15/30
RESSACS 2011, B.Pottier et al.
aisie sur carte 7/9
Production du+odle !ransfert vers les
outils du +odle
Production d3un+odle annot0 surla carte
C5e+ins de
+obiles si+ilaire
-
7/26/2019 Bernard Pottier RESSACS2011
16/30
RESSACS 2011, B.Pottier et al.
aisie sur carte 79
6nal2se du +odle 6pplication des outils sur le
+odle produit
-
7/26/2019 Bernard Pottier RESSACS2011
17/30
RESSACS 2011, B.Pottier et al.
6lternative : saisie par 'P
'Data logger' MerSea
4icro controleur 'P,boutons de saisie
4esures de port0e sans fil r$%enadesur site 6nal2se en laboratoire
'PC#/#> 4P
Po"s
-
7/26/2019 Bernard Pottier RESSACS2011
18/30
RESSACS 2011, B.Pottier et al.
aisie par 'P : r0-0critures
Analyse des donnes etreormulation
K4L 'oole +ap
Fis 7apt-et install is9
-
7/26/2019 Bernard Pottier RESSACS2011
19/30
RESSACS 2011, B.Pottier et al.
r$"$siti$n de #$t de c$nce"ti$n(ra""e)
L'atelier NetGenpropose un lotdescendant inspir de la conceptionmatrielle:
Etape 1: conception, simulation, opti+isation.
r$d'cti$ns de c$de Occa%, c$%"iati$n,si%'ati$n
O' r$d'cti$n de c$de CU!5, c$%"iati$n ettest avec #eed bac2 /ra"+i&'e et %$biit-
E l 0 ti #
-
7/26/2019 Bernard Pottier RESSACS2011
20/30
RESSACS 2011, B.Pottier et al.
Exe+ple : r0seau cotier avec #port0es diff0rentes et 1 +obile
5ttp:Gsn.univ-brest.fr;o2aeEnade
http://home/Users/joelle/Desktop/Incas3/VoyageEnRade-gde/VoyageEnRade-gde-ot.html -
7/26/2019 Bernard Pottier RESSACS2011
21/30
RESSACS 2011, B.Pottier et al.
Evolutions
Passages de couvertures radio grossi!res des estimations plus ines
Application de ces tec"niques desmodlisations p"ysiques con#ointes
$aisa%ilit de ralisations matrielles
Merci &
-
7/26/2019 Bernard Pottier RESSACS2011
22/30
RESSACS 2011, B.Pottier et al.
4odle s2nc5rone : ref. &. L2nc5
Comportement abstrait M 4 %essa/e send
6 4 %essa/e receive
C 4 state c+an/e and ne7t%essa/e "r$d'cti$n
"nit
41
&1
C1
4#
"nit
41
&1
C1
4#
"nit
41
&1
C1
4#
P1P#
P(
Mthodes d'excution
Cana'7 b$&'ant Occa% Barrires SIM! s'r 8U
C$%%- T!M5 "ar "+ases
-
7/26/2019 Bernard Pottier RESSACS2011
23/30
RESSACS 2011, B.Pottier et al.
Processus co++unicants :CP)cca+ H 7ef. ?oare9
C?6& )* BY!E c :BY!E val :
P6
c I 3x3 J ecriture 6
c val J lecture B
6 B
6 blou0
endeA vous 6 B
Co++unication
lib0ration
-
7/26/2019 Bernard Pottier RESSACS2011
24/30
RESSACS 2011, B.Pottier et al.
Processus co++unicants :4odle s2nc5rone
i P1 et P# sontconnect0s : P1 ecrit = P#
P1 reoit de P# P# 0crit = P1 P# reoit de P1
)bliation deproc0der en paralllepour 0viter undeadloc I
P6 P6 iM> *) "NE in
inOi C6E tableQ in4essaesOi EF tasOi:M!$E externalC5ane :M!$E nullQ nullB2te tasOi:M*6LE
P6 RM> *) "NE out outOR I tableQ out4essaesOR
Ec5antillon de code pour les p5ases4i &i du +odele s2nc5rone
P i t
-
7/26/2019 Bernard Pottier RESSACS2011
25/30
RESSACS 2011, B.Pottier et al.
Processus co++unicants :i+ulation
1>> S de la topoloie 0n0r0e Construction parallle pour le r0seau Pr0sence d3un traceur interne
1>> S du co+porte+ent = 0crire Lare+ent r0utilisable Code de 5aut niveau, forte+ent concurrent 7P69
Co+pilation +ultiTt5read0e adapt0e auxprocesseurs +ulti coeurs c5eduler e+baru0 dans l3ex0cutable I
P i t
-
7/26/2019 Bernard Pottier RESSACS2011
26/30
RESSACS 2011, B.Pottier et al.
Processus co++unicants :!race
.
11 U 11 1# 1V 1( 1V 1/ 1V 1 1V
1U 1V 1W 1V
1> 1 1> X 1 1> 1V 1V > U 11 1 U 11
# U 11 ( U 11 / U 11 U 11 U U 11 W U 11 V U 11
1ere colonne : Pi#nde colonne : dia+etre(ie+e colonne : leader
-
7/26/2019 Bernard Pottier RESSACS2011
27/30
RESSACS 2011, B.Pottier et al.
i+ulation sur 'P$
1 t+readpar processus 1 2ernepar co+porte+ent diff0rent Parall0lis+e i%"icite, tout le +onde fait la
+D+e c5ose Les canaux sont i+plant0s dans des
tableaux, les transferts sont 3s2nc5rones3 Contenant les valeurs 0+ises Fui sont lus par les voisins
-
7/26/2019 Bernard Pottier RESSACS2011
28/30
RESSACS 2011, B.Pottier et al.
i+ulation sur 'P$
t2pedef struct sT+apped int nodeQ int canalQ
Z+appedQ
t2pedef struct sTcanaux int nb)utQ int nb"nQ int nb,1ZZ,1,>Z,#,>ZZ,>,>Z,>,1Z,>,#Z,>,(Z,>,/ZZ,-1,-1Z,-1,-1Z,-1,-1Z,-1,-1Z,-1,-1ZZZ, (,(,,1,>Z,1,1Z,1,#ZZ,>,>Z,#,1Z,(,>ZZ,1,>Z,1,1Z,1,#Z,1,(Z,1,/ZZ,-1,-1Z,-1,-1Z,-1,-1Z,-1,-1Z,-1,-1ZZZ, /,/,,#,>Z,#,1Z,#,#Z,#,(ZZ,>,1Z,1,1Z,(,1Z,/,>ZZ,#,>Z,#,1Z,#,#Z,#,(Z,#,/ZZ,-1,-1Z,-1,-1Z,-1,-1Z,-1,-1Z,-1,-1ZZZ,
-
7/26/2019 Bernard Pottier RESSACS2011
29/30
RESSACS 2011, B.Pottier et al.
i+ulation sur 'P$
Production d3une ossature d0crivant lesco++unications
Co+pilation nvcc
Ex0cutable ou librairie d2na+iue
"nt0ration au controleur +alltal pour la
visualisation
-
7/26/2019 Bernard Pottier RESSACS2011
30/30
RESSACS 2011, B.Pottier et al.
4erci ..