algorithmic metric for dynamic networks - utcducourth/dokuwiki/_media/fr/t-alg...algorithmic metric...

AlgorithmicMetric forDynamicNetworks

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

1

Algorithmic Metric forDynamic Networks

B. Ducourthial

Universite de Technologie de Compiegne

July 2012

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

2

Agenda

1 Context

2 Example of algorithms

3 Path maintaining

4 Proving the correctness

5 Algorithmic metric of the dynamic

6 Conclusion

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

2

Summary

1 ContextDynamic ad hoc networksTeamPlatform

3 Path maintaining

6 Conclusion

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

3

ContextDynamic ad hoc networks

• Next step in networking and distributed alg.

wirednetwork

mobileterminal

mobileuser

mobilenetwork

mobilead hoc networks

dynamicad hoc networks

hand-over...virtual structures

management (tree...)

MobileIP

with infrastructure without infrastructure

dynamic

Cellular MANET VANETInternet, IP

routers, fixed servers ?

• Impact of the dynamic• impact on network layers

link (2), network (3), transport (4)

• impact on distributed algorithmsfault tolerance, data sharing...

• impact on trusty and securitywho believe ? what information is reliable ?

• algorithms necessary embeddedcontext-aware optimization, adaption...

; In this talk, algorithms proofs

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

3

ContextDynamic ad hoc networks

• Next step in networking and distributed alg.

wirednetwork

mobileterminal

mobileuser

mobilenetwork

mobilead hoc networks

dynamicad hoc networks

hand-over...virtual structures

management (tree...)

MobileIP

with infrastructure without infrastructure

dynamic

Cellular MANET VANETInternet, IP

routers, fixed servers ?

• Impact of the dynamic• impact on network layers

link (2), network (3), transport (4)

• impact on distributed algorithmsfault tolerance, data sharing...

• impact on trusty and securitywho believe ? what information is reliable ?

• algorithms necessary embeddedcontext-aware optimization, adaption...

; In this talk, algorithms proofs

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

4

ContextApplications

• Large networks are generally dynamic

• Social networks

• Peer-to-peer networks

• Network of laptops Mobile Ad hoc NETworks

• Network of pedestrian with personal devices

• Network of embedded computers• Robots networks• Vehicular networks (VANET)

; In this talk, applications issued from VANET

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

4

ContextApplications

• Large networks are generally dynamic

• Social networks

• Peer-to-peer networks

• Network of laptops Mobile Ad hoc NETworks

• Network of pedestrian with personal devices

• Network of embedded computers• Robots networks• Vehicular networks (VANET)

; In this talk, applications issued from VANET

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

5

ContextTeam

• Universite de Technologie de Compiegne∼4500 students, master degree (engineer diploma), PhDhttp ://www.utc.fr

• one of the first Frenchengineering school forcomputer science

• close to Paris andCharles de Gaulle airport

• Heudiasyc Lab. from the UTC & CNRSAutomatic, Computer Science, Networking, Knowledge...http ://www.hds.utc.fr

Equipex Robotex, Labex MS2T

• Intelligent vehicles teamseveral equipped cars

• Vehicular networks team

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

6

ContextTeam approach

• Our point of view :• dynamic networks are different !

adapting algorithms and protocolsdesigned for other networkslead to poor performances

• ; new algorithmic solutions

• Our methodology :• starting from real applications• designing new algorithms• proof of concept eg. road tests

• performances issueseg. by emulating the real network

• analytical proof when possible• Our tools :

• Airplug Software Distribution• Communicating embedded disposals

https://www.hds.utc.fr/airplug

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

7

ContextAirplug Software Distribution

• LEGO : many applications that can be combined• Tools to ease the prototyping and the studies

wireless network

TCP UDP

IP

AIRPLUG

TCP/IPover

802.11 UDP/IPover

802.11

VANETprotocolover802.11

RAW

GPSTST

HOP

802.15802.11802.11

TCP UDP

IP

AIRPLUG

TCP/IPover

802.11 UDP/IPover

802.11

RAW

GPSTST

HOP

802.15802.11802.11

APG

airplug

APP

GTW GTW

3G/WiFiInternet

serveurweb/PHP

airplug airplug

HOPAPP

GTW

HOPAPG APGsource destination

APG

airplug

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG destination

Internet

APG

airplug

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

accès Internet ?

délais d’attente ?

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

accès Internet ?

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

InternetInternet

HOPAPG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

APG APG

Internet

HOPAPG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

APG APG

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

7

wireless network

TCP UDP

IP

AIRPLUG

TCP/IPover

802.11 UDP/IPover

802.11

RAW

GPSTST

HOP

802.15802.11802.11

TCP UDP

IP

AIRPLUG

TCP/IPover

802.11 UDP/IPover

802.11

RAW

GPSTST

HOP

802.15802.11802.11

APG

airplug

APP

GTW GTW

3G/WiFiInternet

serveurweb/PHP

airplug airplug

HOPAPP

GTW

HOPAPG APGsource destination

APG

airplug

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

Internet

APG

airplug

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

accès Internet ?

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

accès Internet ?

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

InternetInternet

HOPAPG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

APG APG

Internet

HOPAPG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

APG APG

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

7

wireless network

TCP UDP

IP

AIRPLUG

TCP/IPover

802.11 UDP/IPover

802.11

RAW

GPSTST

HOP

802.15802.11802.11

TCP UDP

IP

AIRPLUG

TCP/IPover

802.11 UDP/IPover

802.11

RAW

GPSTST

HOP

802.15802.11802.11

APG

airplug

APP

GTW GTW

3G/WiFiInternet

serveurweb/PHP

airplug airplug

HOPAPP

GTW

HOPAPG APGsource destinationAPG

airplug

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

Internet

APG

airplug

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

accès Internet ?

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

accès Internet ?

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

InternetInternet

HOPAPG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

APG APG

Internet

HOPAPG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

APG APG

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

7

wireless network

TCP UDP

IP

AIRPLUG

TCP/IPover

802.11 UDP/IPover

802.11

RAW

GPSTST

HOP

802.15802.11802.11

TCP UDP

IP

AIRPLUG

TCP/IPover

802.11 UDP/IPover

802.11

RAW

GPSTST

HOP

802.15802.11802.11

APG

airplug

APP

GTW GTW

3G/WiFiInternet

serveurweb/PHP

airplug airplug

HOPAPP

GTW

airplug

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

Internet

APG

airplug

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

accès Internet ?

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

accès Internet ?

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

InternetInternet

HOPAPG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

APG APG

Internet

HOPAPG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

APG APG

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

7

wireless network

TCP UDP

IP

AIRPLUG

TCP/IPover

802.11 UDP/IPover

802.11

RAW

GPSTST

HOP

802.15802.11802.11

TCP UDP

IP

AIRPLUG

TCP/IPover

802.11 UDP/IPover

802.11

RAW

GPSTST

HOP

802.15802.11802.11

APG

airplug

APP

GTW GTW

3G/WiFiInternet

serveurweb/PHP

airplug airplug

HOPAPP

GTW

airplug

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

Internet

APG

airplug

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

accès Internet ?

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

accès Internet ?

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

InternetInternet

HOPAPG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

APG APG

Internet

HOPAPG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

APG APG

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

7

wireless network

TCP UDP

IP

AIRPLUG

TCP/IPover

802.11 UDP/IPover

802.11

RAW

GPSTST

HOP

802.15802.11802.11

TCP UDP

IP

AIRPLUG

TCP/IPover

802.11 UDP/IPover

802.11

RAW

GPSTST

HOP

802.15802.11802.11

APG

airplug

APP

GTW GTW

3G/WiFiInternet

serveurweb/PHP

airplug airplug

HOPAPP

GTW

airplug

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

Internet

APG

airplug

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

accès Internet ?

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

accès Internet ?

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

InternetInternet

HOPAPG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

APG APG

Internet

HOPAPG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

APG APG

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

7

wireless network

TCP UDP

IP

AIRPLUG

TCP/IPover

802.11 UDP/IPover

802.11

RAW

GPSTST

HOP

802.15802.11802.11

TCP UDP

IP

AIRPLUG

TCP/IPover

802.11 UDP/IPover

802.11

RAW

GPSTST

HOP

802.15802.11802.11

APG

airplug

APP

GTW GTW

3G/WiFiInternet

serveurweb/PHP

airplug airplug

HOPAPP

GTW

airplug

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

Internet

APG

airplug

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

accès Internet ?

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

accès Internet ?

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

InternetInternet

HOPAPG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

APG APG

Internet

HOPAPG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

APG APG

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

7

wireless network

TCP UDP

IP

AIRPLUG

TCP/IPover

802.11 UDP/IPover

802.11

RAW

GPSTST

HOP

802.15802.11802.11

TCP UDP

IP

AIRPLUG

TCP/IPover

802.11 UDP/IPover

802.11

RAW

GPSTST

HOP

802.15802.11802.11

APG

airplug

APP

GTW GTW

3G/WiFiInternet

serveurweb/PHP

airplug airplug

HOPAPP

GTW

airplug

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

Internet

APG

airplug

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

accès Internet ?

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

accès Internet ?

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

InternetInternet

HOPAPG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

APG APG

Internet

HOPAPG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

APG APG

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

7

wireless network

TCP UDP

IP

AIRPLUG

TCP/IPover

802.11 UDP/IPover

802.11

RAW

GPSTST

HOP

802.15802.11802.11

TCP UDP

IP

AIRPLUG

TCP/IPover

802.11 UDP/IPover

802.11

RAW

GPSTST

HOP

802.15802.11802.11

APG

airplug

APP

GTW GTW

3G/WiFiInternet

serveurweb/PHP

airplug airplug

HOPAPP

GTW

airplug

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

Internet

APG

airplug

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

accès Internet ?

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

accès Internet ?

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

InternetInternet

HOPAPG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

APG APG

Internet

HOPAPG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

APG APG

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

7

wireless network

TCP UDP

IP

AIRPLUG

TCP/IPover

802.11 UDP/IPover

802.11

RAW

GPSTST

HOP

802.15802.11802.11

TCP UDP

IP

AIRPLUG

TCP/IPover

802.11 UDP/IPover

802.11

RAW

GPSTST

HOP

802.15802.11802.11

APG

airplug

APP

GTW GTW

3G/WiFiInternet

serveurweb/PHP

airplug airplug

HOPAPP

GTW

airplug

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

Internet

APG

airplug

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

accès Internet ?

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

accès Internet ?

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

InternetInternet

HOPAPG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

APG APG

Internet

HOPAPG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

APG APG

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

7

wireless network

TCP UDP

IP

AIRPLUG

TCP/IPover

802.11 UDP/IPover

802.11

RAW

GPSTST

HOP

802.15802.11802.11

TCP UDP

IP

AIRPLUG

TCP/IPover

802.11 UDP/IPover

802.11

RAW

GPSTST

HOP

802.15802.11802.11

APG

airplug

APP

GTW GTW

3G/WiFiInternet

serveurweb/PHP

airplug airplug

HOPAPP

GTW

airplug

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

Internet

APG

airplug

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

accès Internet ?

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

accès Internet ?

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

InternetInternet

HOPAPG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

APG APG

Internet

HOPAPG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

APG APG

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

7

wireless network

TCP UDP

IP

AIRPLUG

TCP/IPover

802.11 UDP/IPover

802.11

RAW

GPSTST

HOP

802.15802.11802.11

TCP UDP

IP

AIRPLUG

TCP/IPover

802.11 UDP/IPover

802.11

RAW

GPSTST

HOP

802.15802.11802.11

APG

airplug

APP

GTW GTW

3G/WiFiInternet

serveurweb/PHP

airplug airplug

HOPAPP

GTW

airplug

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

Internet

APG

airplug

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

accès Internet ?

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

accès Internet ?

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

HOPAPG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

APG APG

Internet

HOPAPG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

APG APG

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

7

wireless network

TCP UDP

IP

AIRPLUG

TCP/IPover

802.11 UDP/IPover

802.11

RAW

GPSTST

HOP

802.15802.11802.11

TCP UDP

IP

AIRPLUG

TCP/IPover

802.11 UDP/IPover

802.11

RAW

GPSTST

HOP

802.15802.11802.11

APG

airplug

APP

GTW GTW

3G/WiFiInternet

serveurweb/PHP

airplug airplug

HOPAPP

GTW

airplug

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

Internet

APG

airplug

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

accès Internet ?

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

accès Internet ?

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

HOPAPG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

APG APG

Internet

HOPAPG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

APG APG

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

7

wireless network

TCP UDP

IP

AIRPLUG

TCP/IPover

802.11 UDP/IPover

802.11

RAW

GPSTST

HOP

802.15802.11802.11

TCP UDP

IP

AIRPLUG

TCP/IPover

802.11 UDP/IPover

802.11

RAW

GPSTST

HOP

802.15802.11802.11

APG

airplug

APP

GTW GTW

3G/WiFiInternet

serveurweb/PHP

airplug airplug

HOPAPP

GTW

airplug

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

Internet

APG

airplug

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

accès Internet ?

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

accès Internet ?

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

Internet

APG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

HOPAPG APG

InternetInternet

HOPAPG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

APG APG

Internet

HOPAPG

airplug

destination

APP

GTW GTW

3G/WiFi

serveurweb/PHP

source

airplug airplug

HOPAPP

GTW

APG APG

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

8

ContextComplete research platform

• On the road : airplug-live [VTC 2009]

• In this talk, screenshots using Airplug-emu

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

8

◦ On the road : airplug-live [VTC 2009]

• In the laboratory : airplug-lab

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

8

◦ In the laboratory : airplug-lab

• In a computer : airplug-emu [ICCCN 2010]

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

8

◦ In a computer : airplug-emu [ICCCN 2010]

• Remotely : airplug-rmtALT CTD

NBH

DIF

GPS

PTH

MSG

MVS

AIRPLUGCTL

HOP

CNV

WTR JEUXVIS

FTP IMG

TNL

IO

TST

ALT CTD

NBH

DIF

GPS

PTH

MSG

MVS

AIRPLUGCTL

HOP

CNV

WTR JEUXVIS

FTP IMG

TNL

IO

TST

APP

RMT

APP

RMT

gateway

tunnel ssh

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

8

◦ Remotely : airplug-rmt

• In Network Simulator : airplug-ns [VTC 2010]

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

8

◦ In Network Simulator : airplug-ns [VTC 2010]

• Same code for all, easy deployment

VIS ALT CTD

FTP

NBH

DIF

GPS

PTH

MSG

MVS

AIRPLUGCTL

HOP

CNV

WTR JEUX ALT CTD

NBH

DIF

GPS

PTH

MSG

MVS

AIRPLUGCTL

HOP

CNV

WTR JEUX

IMG

VIS

FTP IMG

TNL TNL

IO IO

TST TST

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

8

◦ In Network Simulator : airplug-ns [VTC 2010]

• Same code for all, easy deployment

VIS ALT CTD

FTP

NBH

DIF

GPS

PTH

MSG

MVS

AIRPLUGCTL

HOP

CNV

WTR JEUX ALT CTD

NBH

DIF

GPS

PTH

MSG

MVS

AIRPLUGCTL

HOP

CNV

WTR JEUX

IMG

VIS

FTP IMG

TNL TNL

IO IO

TST TST

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

8

Summary

1 Context

2 Example of algorithmsHOP : conditional transmission for multihopGRP : Group ServiceCOL : data collectPTH : path maintaining

3 Path maintaining

6 Conclusion

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

9

Example of algorithmsHOP : Conditional Transmissions

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

10

Example of algorithmsGRP : Group Service

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

11

Example of algorithmsCOL : Data Collect

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

12

Example of algorithmsPTH : Path maintaining

; In this talk, study of the Path algorithm PTH.

Farah El Ali PhD dissertation

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

12

Summary

1 Context

3 Path maintainingProblemExtensionReduction

6 Conclusion

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

13

Path algorithmMotivation

• Routing in dynamic networks ?• Destination not always reachable• Finding the destination ; broadcast ( !)• Data structures update ; control messages ( !)

• Main problem : positional addressesHierarchic, geographic...

• Alternative :• Continuity of locally started communication• Example : follow me application

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

14

Path algorithmIllustration

1

2

3 4

5

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

14

1

2

3 4

5

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

14

1

2

3 4

5

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

14

1

2

3 4

5

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

14

1

2

3 4

5

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

14

1

2

3 4

5

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

15

Path algorithmPath extension

a b

v

a>b ab>

• Path extension• In case of broken link• Require only local communication• Neighbors propose to be relay• Node close to the source chooses the relay

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

15

a b

v

a>b ab>

a>b? a?b>

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

15

a b

v

a>b ab>

a>b? a?b>

a>b?

a?b>

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

15

a b

v

a>b ab>

a>b? a?b>

a>b?

a?b>

a?v>b?

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

15

a b

v

a>b ab>

a>b? a?b>

a>b?

a?b>

a?v>b?

a>vb?

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

15

a b

v

a>b ab>

a>b? a?b>

a>b?

a?b>

a?v>b?

a>vb?

av>b?

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

15

a b

v

a>b ab>

a>b? a?b>

a>b?

a?b>

a?v>b?

a>vb?

av>b?

avb>

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

15

a b

v

a>b ab>

a>b? a?b>

a>b?

a?b>

a?v>b?

a>vb?

av>b?

avb>

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

16

Path algorithmPath reduction (1/2)

a f

v

b c d e

ab-?v-?ecdv>efab-?v-?ecdv>ef

ab>cdef abcde>f

• Path reduction by a neighbor node• Neighbors propose some shortcuts• Node close to the sink accepts the reduction• Then node close to the source validates the

reduction

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

16

a f

v

b c d e

ab>cdef

ab-?v-ecde>f

reduction

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

16

a f

v

b c d e

ab>cdef

ab-?v-ecdv>efab-?v-ecdv>ef

reduction

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

16

a f

v

b c d e

ab-v-e>cdef

reduction

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

16

a f

v

b c d e

ab-v-ec>def

reduction

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

16

a f

v

b c d e

ab-v-ecd>ef

reduction

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

16

a f

v

b c d e

abve>f

reduction

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

17

Path algorithmPath reduction - 2

• Reduction by a node of the path

a

f

b c

d

e

• Conflict resolution• Local priority• Mutex on the shared subpath

a f

v

b c d e

v’

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

18

Path algorithmExample

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

18

Summary

1 Context

3 Path maintaining

4 Proving the correctnessBest-effortContinuityTopology

6 Conclusion

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

19

Proving the correctnessBest-effort approach (1/2)

• The dynamic affects the algorithmsWhen the dynamic increases, it

becomes illusory to expect that anapplication continuously ensures theservice for which it has been designed.

• Solutions :• impossibility results ?• weak specifications ?• ; conditions on the dynamic

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

20

Proving the correctnessBest-effort approach (2/2)

• Contract between the dynamic and specification

• Topology-related property• Characterizes the dynamic of the system• Predicate PT , application dependent• True if the dynamic topology satisfies a given

requirement

• Continuity property• Characterizes the distributed algorithm• Predicate PC , application dependent• True if the algorithm ensures a given service

• cf. Safety and liveness properties : to beinstantiated for each algorithm

• Best-effort requirement : PT ⇒ PC

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

21

Proving the correctnessContinuity property for PTH (1/2)

1

2

3 4

5

1

2

3 4

5

pred=null

succ=3

pred=2

succ=4

pred=4

succ=null

pred=3

succ=1

• PVsource,sink,n : virtual path of length n betweensource to sink

• PVsource,sink,1 true for an initial configuration

• PT : ∃n,PVsource,sink,n

1 2 3 4 5

pred=null

succ=2

pred=1

succ=null

pred=null

succ=4

pred=3

succ=4

pred=4

succ=null

pred=null

succ=2

pred=1

succ=3

pred=2

succ=4

pred=3

succ=null

pred=null

succ=null

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

22

Proving the correctnessTopological property for PTH

• Edge disappearance ; a neighbor becomes relay

• Long enough for updating locally the path

• Few messages exchanges required

; Kind of dynamic networks allowed ?

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

22

Proving the correctnessTopological property for PTH

• Edge disappearance ; a neighbor becomes relay

• Long enough for updating locally the path

• Few messages exchanges required

; Kind of dynamic networks allowed ?

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

22

Summary

1 Context

3 Path maintaining

5 Algorithmic metric of the dynamicp-dynamic graphsApplication

6 Conclusion

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

23

Algorithmic metric of the dynamicCharacterizing the dynamic

• Structural aspects• Properties of dynamic graph• Communities...• Time Varying Graphs [Casteigts]

• Evolving graph [A. Fereira et al.]

• Algorithmic aspects• Temporal reachability graphs [J. Whitbeck et al.]

• Adding edges• Edge (u, v) if v can be reached from u

• p-dynamic graph :• Removing edges• Any remaining edge allows to send at least p

messages

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

24

Algorithmic metric of the dynamicConstruction of p-dynamic graphs

• When considering a link ?• Duration of a message exchange• Depends on the underlying technology• Duration function

• p-timed graphs• External observers• p-timed edges• Unique in theory with no measure bias

• p-dynamic graphs• Stability intervals• Sequence of graphs (G p

i )n∈N

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

25

Algorithmic metric of the dynamicInterest of p-dynamic graphs

• Dynamic network :• Nodes movements• Efficiency of the underlying technology

• (Gpi )i∈N p-dynamic graph

ie. p messages can be sent before an edge disappears.

• Dynamic systems → family of p-dynamic graphs(p ∈ N)

• Family of p-dynamic graphs ; kind of dynamic

• Kind of dynamic ; kind of algorithms

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

26

Algorithmic metric of the dynamicApplication to the Path algorithm

• (Gpi )i∈N p-dynamic graph

ie. p messages can be sent before the edge disappears.

• Epi : set of edges of Gp

i

• PT :

(u, v) ∈ E 1i ∧ ¬(u, v) ∈ E 1

i+1 ⇒∃w ∈ V , (u,w) ∈ Ep

i+1 ∧ (w , v) ∈ Epi+1

• If the distributed system fulfills this requirement,then PTH satisfies the service.

• Take into account both the underlyingtechnology and the relative node speed.

• p is a measure of the algorithm efficiency

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

26

Summary

1 Context

3 Path maintaining

6 Conclusion

B. Ducourthial

Context

Dyn. networks

Team

Platform

Examples

HOP

GRP

COL

PTH

Path alg.

Problem

Extension

Reduction

Proof

Best-effort

Continuity

Topology

Metric

p-dyn. graph

Application

Conclusion

27

Algorithmic Metric for Dynamic NetworkConclusion

• Dynamic networks ; new algorithms

• Any algorithm could failed when the dynamic ↗• When an algorithm is correct ?

• Best effort requirement :• Contract network dynamic ↔ algorithm• Topological property ⇒ Continuity property

• p-dynamic graph• An edge allows to send at least p messages• Used by topological properties• Encompass the underlying technology• Characterizes the dynamic

• Towards on-line measures of the dynamic

https://www.hds.utc.fr/airplug

algorithmic metric for dynamic networks - utcducourth/dokuwiki/_media/fr/t-alg...algorithmic metric...

Documents