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

[email protected]

Universit de Brest (UBO), France*LabSTICC, UMR 319

!e"t In#$r%ati&'e, Fac't des Sciences


2/30


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


3/30


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


4/30


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


5/30


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 #


6/30


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/30


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


8/30


p0cification 0o+0triue 7#9

4odle


9/30


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


10/30


p0cifications r0ulires

'rilles de connectivit0 variable


11/30


Pr0sentation rap5e loiue

$tilisation du loiciel rap5viA 0-0criture du +odle en s2ntaxe d$t i rap5viA : production de pr0sentations rap5iues loiues


12/30


aisie sur carte 719

But : positionne+ent de capteurs sur un plan 6ccs fenDtre de saisie rap5iue

4enu option : +ap

*enetre rap5iue


13/30


aisie sur carte 7#9

C5are+entd3une i+ae7.pn

Portail "'&7*rance9,'oole +aps,etc... plansbati+ents


14/30


aisie sur carte 7(9

Positions descapteurs elections de

points

Ec5elle en vue


15/30


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


16/30


aisie sur carte 79

6nal2se du +odle 6pplication des outils sur le

+odle produit


17/30


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


18/30


aisie par 'P : r0-0critures

Analyse des donnes etreormulation

K4L 'oole +ap

Fis 7apt-et install is9


19/30


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 #


20/30


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


21/30


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 &


22/30


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


23/30


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


24/30


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


25/30


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


26/30


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


27/30


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


28/30


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,


29/30


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


30/30


4erci ..

Bernard Pottier RESSACS2011

Documents

Transcript of Bernard Pottier RESSACS2011