Académique Documents
Professionnel Documents
Culture Documents
Bernard Pottier,
Pierre Yves Lucas, Eloi Keita
pottier@univ-brest.fr
Universit de Brest (UBO), France
*LabSTICC, UMR 3192
Dept Informatique, Facult des Sciences
Plan
Contributions proposes
RESSACS 2011
Rseaux rguliers
Pi { Pj Pk Pn } Programme
Modle
Editeur de spcification
(dition)
(Clic droit)
Spcifications rgulires
Fenetre graphique
Portail IGN
(France),
Google maps,
etc... plans
batiments
Selections de
points
Echelle en vue
Dessin du rseau
immdiat
Porte des
capteurs rglable
Ici : portes
circulaires
Chemins de
mobiles
similaire
Analyse en laboratoire
PoIs
GPS
C2420 MSP
http://wsn.univ-brest.fr/VoyageEnRade
Evolutions
Merci .
RESSACS 2011, B.Pottier et al.
P1
Init
M : message send
N : message receive
C : state change and next
message production
M1
N1
P3
Init
Init
M1
M1
N1
N1
C1
Mthodes d'excution
C1
M2
M2
C1
M2
Processus communicants :
CSP/Occam (Ref. Hoare)
CHAN OF BYTE c :
BYTE val :
PAR
A bloqu
c ! 'x' ecriture A
c ? val lecture B
Rendez vous A B
Communication
libration
Processus communicants :
Modle synchrone
Si P1 et P2 sont
connects :
P1 ecrit P2
P1 reoit de P2
P2 crit P1
P2 reoit de P1
Obligation de
procder en parallle
pour viter un
deadlock !
Processus communicants :
Simulation
Largement rutilisable
Processus communicants :
Trace
.
1ere colonne : Pi
2nde colonne : diametre
3ieme colonne : leader
10
9
18
0
1
2
3
4
5
6
7
8
1
1
5
6
6
6
6
6
6
6
6
6
10
10
18
11
11
11
11
11
11
11
11
11
11
12
13
14
15
16
17
6
5
5
5
5
5
5
11
18
18
18
18
18
18
canaux channels_h[] =
{ // start array
{2,2,5,{{0,0},{0,1}},{{1,0},{2,0}},{{0,0},{0,1},{0,2},{0,3},{0,4}},{{-1,-1},
{-1,-1},{-1,-1},{-1,-1},{-1,-1}}},
{3,3,5,{{1,0},{1,1},{1,2}},{{0,0},{2,1},{3,0}},{{1,0},{1,1},{1,2},{1,3},
{1,4}},{{-1,-1},{-1,-1},{-1,-1},{-1,-1},{-1,-1}}},
{4,4,5,{{2,0},{2,1},{2,2},{2,3}},{{0,1},{1,1},{3,1},{4,0}},{{2,0},{2,1},
{2,2},{2,3},{2,4}},{{-1,-1},{-1,-1},{-1,-1},{-1,-1},{-1,-1}}},
Compilation nvcc
Merci ..