Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric...
Transcript of Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric...
![Page 1: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/1.jpg)
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
![Page 2: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/2.jpg)
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
2
Agenda
1 Context
2 Example of algorithms
3 Path maintaining
4 Proving the correctness
5 Algorithmic metric of the dynamic
6 Conclusion
![Page 3: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/3.jpg)
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
2
Summary
1 ContextDynamic ad hoc networksTeamPlatform
2 Example of algorithms
3 Path maintaining
4 Proving the correctness
5 Algorithmic metric of the dynamic
6 Conclusion
![Page 4: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/4.jpg)
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
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
![Page 5: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/5.jpg)
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
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
![Page 6: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/6.jpg)
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
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
![Page 7: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/7.jpg)
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
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
![Page 8: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/8.jpg)
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
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
![Page 9: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/9.jpg)
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
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
![Page 10: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/10.jpg)
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
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
VANETprotocolover802.15
GPSTST
HOP
802.15802.11802.11
TCP UDP
IP
AIRPLUG
TCP/IPover
802.11 UDP/IPover
802.11
VANETprotocolover802.11
RAW
VANETprotocolover802.15
GPSTST
HOP
802.15802.11802.11
APG
airplug
APP
GTW GTW
3G/WiFiInternet
serveurweb/PHP
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APGsource destination
APG
airplug
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG destination
Internet
APG
airplug
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG destination
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
accès Internet ?
délais d’attente ?
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
accès Internet ?
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
InternetInternet
HOPAPG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
APG APG
Internet
HOPAPG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
APG APG
![Page 11: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/11.jpg)
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
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
VANETprotocolover802.15
GPSTST
HOP
802.15802.11802.11
TCP UDP
IP
AIRPLUG
TCP/IPover
802.11 UDP/IPover
802.11
VANETprotocolover802.11
RAW
VANETprotocolover802.15
GPSTST
HOP
802.15802.11802.11
APG
airplug
APP
GTW GTW
3G/WiFiInternet
serveurweb/PHP
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APGsource destination
APG
airplug
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG destination
Internet
APG
airplug
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG destination
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
accès Internet ?
délais d’attente ?
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
accès Internet ?
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
InternetInternet
HOPAPG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
APG APG
Internet
HOPAPG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
APG APG
![Page 12: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/12.jpg)
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
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
VANETprotocolover802.15
GPSTST
HOP
802.15802.11802.11
TCP UDP
IP
AIRPLUG
TCP/IPover
802.11 UDP/IPover
802.11
VANETprotocolover802.11
RAW
VANETprotocolover802.15
GPSTST
HOP
802.15802.11802.11
APG
airplug
APP
GTW GTW
3G/WiFiInternet
serveurweb/PHP
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APGsource destinationAPG
airplug
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG destination
Internet
APG
airplug
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG destination
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
accès Internet ?
délais d’attente ?
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
accès Internet ?
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
InternetInternet
HOPAPG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
APG APG
Internet
HOPAPG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
APG APG
![Page 13: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/13.jpg)
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
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
VANETprotocolover802.15
GPSTST
HOP
802.15802.11802.11
TCP UDP
IP
AIRPLUG
TCP/IPover
802.11 UDP/IPover
802.11
VANETprotocolover802.11
RAW
VANETprotocolover802.15
GPSTST
HOP
802.15802.11802.11
APG
airplug
APP
GTW GTW
3G/WiFiInternet
serveurweb/PHP
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APGsource destinationAPG
airplug
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG destination
Internet
APG
airplug
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG destination
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
accès Internet ?
délais d’attente ?
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
accès Internet ?
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
InternetInternet
HOPAPG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
APG APG
Internet
HOPAPG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
APG APG
![Page 14: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/14.jpg)
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
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
VANETprotocolover802.15
GPSTST
HOP
802.15802.11802.11
TCP UDP
IP
AIRPLUG
TCP/IPover
802.11 UDP/IPover
802.11
VANETprotocolover802.11
RAW
VANETprotocolover802.15
GPSTST
HOP
802.15802.11802.11
APG
airplug
APP
GTW GTW
3G/WiFiInternet
serveurweb/PHP
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APGsource destinationAPG
airplug
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG destination
Internet
APG
airplug
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG destination
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
accès Internet ?
délais d’attente ?
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
accès Internet ?
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
InternetInternet
HOPAPG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
APG APG
Internet
HOPAPG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
APG APG
![Page 15: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/15.jpg)
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
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
VANETprotocolover802.15
GPSTST
HOP
802.15802.11802.11
TCP UDP
IP
AIRPLUG
TCP/IPover
802.11 UDP/IPover
802.11
VANETprotocolover802.11
RAW
VANETprotocolover802.15
GPSTST
HOP
802.15802.11802.11
APG
airplug
APP
GTW GTW
3G/WiFiInternet
serveurweb/PHP
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APGsource destinationAPG
airplug
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG destination
Internet
APG
airplug
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG destination
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
accès Internet ?
délais d’attente ?
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
accès Internet ?
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
InternetInternet
HOPAPG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
APG APG
Internet
HOPAPG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
APG APG
![Page 16: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/16.jpg)
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
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
VANETprotocolover802.15
GPSTST
HOP
802.15802.11802.11
TCP UDP
IP
AIRPLUG
TCP/IPover
802.11 UDP/IPover
802.11
VANETprotocolover802.11
RAW
VANETprotocolover802.15
GPSTST
HOP
802.15802.11802.11
APG
airplug
APP
GTW GTW
3G/WiFiInternet
serveurweb/PHP
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APGsource destinationAPG
airplug
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG destination
Internet
APG
airplug
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG destination
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
accès Internet ?
délais d’attente ?
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
accès Internet ?
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
InternetInternet
HOPAPG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
APG APG
Internet
HOPAPG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
APG APG
![Page 17: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/17.jpg)
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
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
VANETprotocolover802.15
GPSTST
HOP
802.15802.11802.11
TCP UDP
IP
AIRPLUG
TCP/IPover
802.11 UDP/IPover
802.11
VANETprotocolover802.11
RAW
VANETprotocolover802.15
GPSTST
HOP
802.15802.11802.11
APG
airplug
APP
GTW GTW
3G/WiFiInternet
serveurweb/PHP
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APGsource destinationAPG
airplug
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG destination
Internet
APG
airplug
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG destination
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
accès Internet ?
délais d’attente ?
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
accès Internet ?
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
InternetInternet
HOPAPG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
APG APG
Internet
HOPAPG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
APG APG
![Page 18: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/18.jpg)
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
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
VANETprotocolover802.15
GPSTST
HOP
802.15802.11802.11
TCP UDP
IP
AIRPLUG
TCP/IPover
802.11 UDP/IPover
802.11
VANETprotocolover802.11
RAW
VANETprotocolover802.15
GPSTST
HOP
802.15802.11802.11
APG
airplug
APP
GTW GTW
3G/WiFiInternet
serveurweb/PHP
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APGsource destinationAPG
airplug
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG destination
Internet
APG
airplug
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG destination
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
accès Internet ?
délais d’attente ?
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
accès Internet ?
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
InternetInternet
HOPAPG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
APG APG
Internet
HOPAPG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
APG APG
![Page 19: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/19.jpg)
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
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
VANETprotocolover802.15
GPSTST
HOP
802.15802.11802.11
TCP UDP
IP
AIRPLUG
TCP/IPover
802.11 UDP/IPover
802.11
VANETprotocolover802.11
RAW
VANETprotocolover802.15
GPSTST
HOP
802.15802.11802.11
APG
airplug
APP
GTW GTW
3G/WiFiInternet
serveurweb/PHP
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APGsource destinationAPG
airplug
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG destination
Internet
APG
airplug
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG destination
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
accès Internet ?
délais d’attente ?
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
accès Internet ?
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
InternetInternet
HOPAPG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
APG APG
Internet
HOPAPG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
APG APG
![Page 20: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/20.jpg)
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
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
VANETprotocolover802.15
GPSTST
HOP
802.15802.11802.11
TCP UDP
IP
AIRPLUG
TCP/IPover
802.11 UDP/IPover
802.11
VANETprotocolover802.11
RAW
VANETprotocolover802.15
GPSTST
HOP
802.15802.11802.11
APG
airplug
APP
GTW GTW
3G/WiFiInternet
serveurweb/PHP
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APGsource destinationAPG
airplug
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG destination
Internet
APG
airplug
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG destination
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
accès Internet ?
délais d’attente ?
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
accès Internet ?
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
InternetInternet
HOPAPG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
APG APG
Internet
HOPAPG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
APG APG
![Page 21: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/21.jpg)
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
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
VANETprotocolover802.15
GPSTST
HOP
802.15802.11802.11
TCP UDP
IP
AIRPLUG
TCP/IPover
802.11 UDP/IPover
802.11
VANETprotocolover802.11
RAW
VANETprotocolover802.15
GPSTST
HOP
802.15802.11802.11
APG
airplug
APP
GTW GTW
3G/WiFiInternet
serveurweb/PHP
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APGsource destinationAPG
airplug
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG destination
Internet
APG
airplug
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG destination
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
accès Internet ?
délais d’attente ?
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
accès Internet ?
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
Internet
HOPAPG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
APG APG
Internet
HOPAPG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
APG APG
![Page 22: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/22.jpg)
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
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
VANETprotocolover802.15
GPSTST
HOP
802.15802.11802.11
TCP UDP
IP
AIRPLUG
TCP/IPover
802.11 UDP/IPover
802.11
VANETprotocolover802.11
RAW
VANETprotocolover802.15
GPSTST
HOP
802.15802.11802.11
APG
airplug
APP
GTW GTW
3G/WiFiInternet
serveurweb/PHP
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APGsource destinationAPG
airplug
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG destination
Internet
APG
airplug
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG destination
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
accès Internet ?
délais d’attente ?
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
accès Internet ?
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
Internet
HOPAPG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
APG APG
Internet
HOPAPG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
APG APG
![Page 23: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/23.jpg)
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
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
VANETprotocolover802.15
GPSTST
HOP
802.15802.11802.11
TCP UDP
IP
AIRPLUG
TCP/IPover
802.11 UDP/IPover
802.11
VANETprotocolover802.11
RAW
VANETprotocolover802.15
GPSTST
HOP
802.15802.11802.11
APG
airplug
APP
GTW GTW
3G/WiFiInternet
serveurweb/PHP
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APGsource destinationAPG
airplug
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG destination
Internet
APG
airplug
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG destination
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
accès Internet ?
délais d’attente ?
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
accès Internet ?
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
Internet
APG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
HOPAPG APG
InternetInternet
HOPAPG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
APG APG
Internet
HOPAPG
airplug
destination
APP
GTW GTW
3G/WiFi
serveurweb/PHP
source
airplug airplug
HOPAPP
HOPAPP
GTW
APG APG
![Page 24: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/24.jpg)
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
8
ContextComplete research platform
• On the road : airplug-live [VTC 2009]
• In this talk, screenshots using Airplug-emu
![Page 25: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/25.jpg)
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
8
ContextComplete research platform
◦ On the road : airplug-live [VTC 2009]
• In the laboratory : airplug-lab
• In this talk, screenshots using Airplug-emu
![Page 26: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/26.jpg)
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
8
ContextComplete research platform
◦ On the road : airplug-live [VTC 2009]
◦ In the laboratory : airplug-lab
• In a computer : airplug-emu [ICCCN 2010]
• In this talk, screenshots using Airplug-emu
![Page 27: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/27.jpg)
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
8
ContextComplete research platform
◦ On the road : airplug-live [VTC 2009]
◦ In the laboratory : airplug-lab
◦ 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
• In this talk, screenshots using Airplug-emu
![Page 28: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/28.jpg)
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
8
ContextComplete research platform
◦ On the road : airplug-live [VTC 2009]
◦ In the laboratory : airplug-lab
◦ In a computer : airplug-emu [ICCCN 2010]
◦ Remotely : airplug-rmt
• In Network Simulator : airplug-ns [VTC 2010]
• In this talk, screenshots using Airplug-emu
![Page 29: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/29.jpg)
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
8
ContextComplete research platform
◦ On the road : airplug-live [VTC 2009]
◦ In the laboratory : airplug-lab
◦ In a computer : airplug-emu [ICCCN 2010]
◦ Remotely : airplug-rmt
◦ 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
• In this talk, screenshots using Airplug-emu
![Page 30: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/30.jpg)
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
8
ContextComplete research platform
◦ On the road : airplug-live [VTC 2009]
◦ In the laboratory : airplug-lab
◦ In a computer : airplug-emu [ICCCN 2010]
◦ Remotely : airplug-rmt
◦ 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
• In this talk, screenshots using Airplug-emu
![Page 31: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/31.jpg)
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
8
Summary
1 Context
2 Example of algorithmsHOP : conditional transmission for multihopGRP : Group ServiceCOL : data collectPTH : path maintaining
3 Path maintaining
4 Proving the correctness
5 Algorithmic metric of the dynamic
6 Conclusion
![Page 32: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/32.jpg)
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
9
Example of algorithmsHOP : Conditional Transmissions
![Page 33: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/33.jpg)
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
10
Example of algorithmsGRP : Group Service
![Page 34: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/34.jpg)
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
11
Example of algorithmsCOL : Data Collect
![Page 35: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/35.jpg)
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
12
Example of algorithmsPTH : Path maintaining
; In this talk, study of the Path algorithm PTH.
Farah El Ali PhD dissertation
![Page 36: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/36.jpg)
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
12
Summary
1 Context
2 Example of algorithms
3 Path maintainingProblemExtensionReduction
4 Proving the correctness
5 Algorithmic metric of the dynamic
6 Conclusion
![Page 37: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/37.jpg)
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
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
![Page 38: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/38.jpg)
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
14
Path algorithmIllustration
1
2
3 4
5
![Page 39: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/39.jpg)
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
14
Path algorithmIllustration
1
2
3 4
5
![Page 40: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/40.jpg)
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
14
Path algorithmIllustration
1
2
3 4
5
![Page 41: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/41.jpg)
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
14
Path algorithmIllustration
1
2
3 4
5
![Page 42: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/42.jpg)
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
14
Path algorithmIllustration
1
2
3 4
5
![Page 43: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/43.jpg)
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
14
Path algorithmIllustration
1
2
3 4
5
![Page 44: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/44.jpg)
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
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
![Page 45: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/45.jpg)
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
15
Path algorithmPath extension
a b
v
a>b ab>
a>b? a?b>
• Path extension• In case of broken link• Require only local communication• Neighbors propose to be relay• Node close to the source chooses the relay
![Page 46: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/46.jpg)
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
15
Path algorithmPath extension
a b
v
a>b ab>
a>b? a?b>
a>b?
a>b?
a?b>
a?b>
• Path extension• In case of broken link• Require only local communication• Neighbors propose to be relay• Node close to the source chooses the relay
![Page 47: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/47.jpg)
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
15
Path algorithmPath extension
a b
v
a>b ab>
a>b? a?b>
a>b?
a>b?
a?b>
a?b>
a?v>b?
• Path extension• In case of broken link• Require only local communication• Neighbors propose to be relay• Node close to the source chooses the relay
![Page 48: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/48.jpg)
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
15
Path algorithmPath extension
a b
v
a>b ab>
a>b? a?b>
a>b?
a>b?
a?b>
a?b>
a?v>b?
a>vb?
• Path extension• In case of broken link• Require only local communication• Neighbors propose to be relay• Node close to the source chooses the relay
![Page 49: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/49.jpg)
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
15
Path algorithmPath extension
a b
v
a>b ab>
a>b? a?b>
a>b?
a>b?
a?b>
a?b>
a?v>b?
a>vb?
av>b?
• Path extension• In case of broken link• Require only local communication• Neighbors propose to be relay• Node close to the source chooses the relay
![Page 50: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/50.jpg)
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
15
Path algorithmPath extension
a b
v
a>b ab>
a>b? a?b>
a>b?
a>b?
a?b>
a?b>
a?v>b?
a>vb?
av>b?
avb>
• Path extension• In case of broken link• Require only local communication• Neighbors propose to be relay• Node close to the source chooses the relay
![Page 51: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/51.jpg)
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
15
Path algorithmPath extension
a b
v
a>b ab>
a>b? a?b>
a>b?
a>b?
a?b>
a?b>
a?v>b?
a>vb?
av>b?
avb>
• Path extension• In case of broken link• Require only local communication• Neighbors propose to be relay• Node close to the source chooses the relay
![Page 52: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/52.jpg)
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
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
![Page 53: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/53.jpg)
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
16
Path algorithmPath reduction (1/2)
a f
v
b c d e
ab>cdef
ab-?v-ecde>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
![Page 54: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/54.jpg)
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
16
Path algorithmPath reduction (1/2)
a f
v
b c d e
ab>cdef
ab-?v-ecdv>efab-?v-ecdv>ef
• 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
![Page 55: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/55.jpg)
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
16
Path algorithmPath reduction (1/2)
a f
v
b c d e
ab-v-e>cdef
• 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
![Page 56: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/56.jpg)
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
16
Path algorithmPath reduction (1/2)
a f
v
b c d e
ab-v-ec>def
• 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
![Page 57: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/57.jpg)
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
16
Path algorithmPath reduction (1/2)
a f
v
b c d e
ab-v-ecd>ef
• 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
![Page 58: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/58.jpg)
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
16
Path algorithmPath reduction (1/2)
a f
v
b c d e
abve>f
abve>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
![Page 59: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/59.jpg)
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
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’
![Page 60: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/60.jpg)
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
18
Path algorithmExample
![Page 61: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/61.jpg)
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
18
Summary
1 Context
2 Example of algorithms
3 Path maintaining
4 Proving the correctnessBest-effortContinuityTopology
5 Algorithmic metric of the dynamic
6 Conclusion
![Page 62: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/62.jpg)
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
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
![Page 63: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/63.jpg)
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
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
![Page 64: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/64.jpg)
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
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
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
![Page 65: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/65.jpg)
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
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 ?
![Page 66: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/66.jpg)
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
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 ?
![Page 67: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/67.jpg)
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
22
Summary
1 Context
2 Example of algorithms
3 Path maintaining
4 Proving the correctness
5 Algorithmic metric of the dynamicp-dynamic graphsApplication
6 Conclusion
![Page 68: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/68.jpg)
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
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
![Page 69: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/69.jpg)
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
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
![Page 70: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/70.jpg)
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
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
![Page 71: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/71.jpg)
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
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
![Page 72: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/72.jpg)
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
26
Summary
1 Context
2 Example of algorithms
3 Path maintaining
4 Proving the correctness
5 Algorithmic metric of the dynamic
6 Conclusion
![Page 73: Algorithmic Metric for Dynamic Networks - UTCducourth/dokuwiki/_media/fr/t-alg...Algorithmic Metric for Dynamic Networks B. Ducourthial Context Dyn. networks Team Platform Examples](https://reader036.fdocuments.us/reader036/viewer/2022070817/5f133bdb4bdbce2a5e090afd/html5/thumbnails/73.jpg)
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
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