Ahmed Mostefaoui - LIMOS - Accueil · (MQTT-CV). • Samir Chouali, Azzedine Boukerche, Ahmed...
Transcript of Ahmed Mostefaoui - LIMOS - Accueil · (MQTT-CV). • Samir Chouali, Azzedine Boukerche, Ahmed...
![Page 1: Ahmed Mostefaoui - LIMOS - Accueil · (MQTT-CV). • Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui: “Towards a Formal Analysis of MQs Protocol in the Context of Communicang](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8884381dbeab178031a925/html5/thumbnails/1.jpg)
AhmedMostefaoui
Maîtredeconférences(HDR)eninforma6queUniversitédeFranche-Comté
Ins6tutFEMTO-ST,Dep.DISC,UMRCNRS6174
![Page 2: Ahmed Mostefaoui - LIMOS - Accueil · (MQTT-CV). • Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui: “Towards a Formal Analysis of MQs Protocol in the Context of Communicang](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8884381dbeab178031a925/html5/thumbnails/2.jpg)
Vued’ensemblesurmestravauxderecherche(5dernièresannées)
Réseauxdecapteursscalaires
• Routagelocalisé:ladécisionduroutageestpriselocalementenu6lisantuniquement
l’informa6on1-hop.• AhmedMostefaoui,MahmoudMelkemi,AzzedineBoukerche:“LocalizedRou6ngApproachtoBypassHolesinWireless
SensorNetworks.”IEEETrans.Computers63(12):3053-3065(2014)• AhmedMostefaoui,MahmoudMelkemi,AzzedineBoukerche:“Rou6ngthroughholesinwirelesssensornetworks.”MSWiM
2012:395-402
• Fusiondedonnées:approchessérialiséesplusefficacesmaispluscomplexesàdévelopper.• MohammedAmineMerzoug,AzzedineBoukerche,AhmedMostefaoui,SamirChouali:“SpreadingAggrega6on:Adistributed
collision-freeapproachfordataaggrega6oninlarge-scalewirelesssensornetworks.”J.ParallelDistrib.Comput.125:121-134(2019)
• MohammedAmineMerzoug,AzzedineBoukerche,AhmedMostefaoui:“Efficientinforma6ongatheringfromlargewirelesssensornetworks.”ComputerCommunica6ons132:84-95(2018)
• AzzedineBoukerche,AhmedMostefaoui,MahmoudMelkemi:“Efficientandrobustserialqueryprocessingapproachforlarge-scalewirelesssensornetworks.”AdHocNetworks47:82-98(2016)
• AhmedMostefaoui,AzzedineBoukerche,MohammedAmineMerzoug,MahmoudMelkemi:“AscalableapproachforserialdatafusioninWirelessSensorNetworks.”ComputerNetworks79:103-119(2015)
![Page 3: Ahmed Mostefaoui - LIMOS - Accueil · (MQTT-CV). • Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui: “Towards a Formal Analysis of MQs Protocol in the Context of Communicang](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8884381dbeab178031a925/html5/thumbnails/3.jpg)
Vued’ensemblesurmestravauxderecherche(suite…)
RéseauxdecapteursmulAmédias
• Contrôledistribué:contrôler,demanièredistribuée,ledébitdesdonnéesvidéotoutentenantcomptedescontraintesduréseaux(consomma6onénergé6que,qualitédesliens,etc.).
• NesrineKhernane,Jean-FrançoisCouchot,AhmedMostefaoui:“Op6malpower/ratetrade-offforinternetofmul6mediathingslife6memaximiza6onunderdynamiclinkscapacity.”FutureGenera6onComp.Syst.93:737-750(2019)
• NesrineKhernane,Jean-FrançoisCouchot,AhmedMostefaoui:“Maximumnetworklife6mewithop6malpower/rateandrou6ngtrade-offforWirelessMul6mediaSensorNetworks.”ComputerCommunica6ons124:1-16(2018)
• SécurisaAon:sécuriserlesimagestransmisesenpréservantlesressourcesduréseau• AhmedMostefaoui,ZeinabFawaz,HassanN.Noura:“Arobustimage-encryp6onapproachagainsttransmissionerrorsin
Communica6ngThingsNetworks.”AdHocNetworks94(2019)• AhmedMostefaoui,HassanN.Noura,ZeinabFawaz:“Anintegratedmul6mediadatareduc6onandcontentconfiden6ality
approachforlimitednetworkeddevices.”AdHocNetworks32:81-97(2015)
• Couverturepériphérique:ordonnancerl’ac6vitédesnœudsdetellesorteàassurerunecouverturepériphérique.
• AmorLalama,NesrineKhernane,AhmedMostefaoui:“ClosedPeripheralCoverageinWirelessMul6mediaSensorNetworks.”MobiWac2017:121-128
![Page 4: Ahmed Mostefaoui - LIMOS - Accueil · (MQTT-CV). • Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui: “Towards a Formal Analysis of MQs Protocol in the Context of Communicang](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8884381dbeab178031a925/html5/thumbnails/4.jpg)
Vued’ensemblesurmestravauxderecherche(suite…)
Réseauxdevéhiculesconnectésetmobilités(encollaboraAonavecPSAPeugeotCitröen) • Bigdata:accéléra6onetpassageàl’échelledesapplica6onsV2I.
• AmirHaroun,AhmedMostefaoui,FrançoisDessables:“Datafusioninautomo6veapplica6ons.”PersonalandUbiquitousCompu6ng21(3):443-455(2017)
• AmirHaroun,AhmedMostefaoui,FrançoisDessables:“ABigDataArchitectureforAutomo6veApplica6ons:PSAGroupDeploymentExperience.”CCGrid2017:921-928
• AnthonyNassar,AhmedMostefaouiandFrançoisDessables:“Improvingbid-dataautomo6veapplica6onsperformancethroughadap6veresourcealloca6on”.IEEESymposiumonComputersandCommunica6ons2019:49-55Barcelona
• ProtocoledecommunicaAon:développementetvérifica6ondeprotocolesspécifiques(MQTT-CV).
• SamirChouali,AzzedineBoukerche,AhmedMostefaoui:“TowardsaFormalAnalysisofMQsProtocolintheContextofCommunica6ngVehicles.”Inthe15thACMMOBIWAC2017,Miami,FL,USA,November21-25,2017.ACM2017,pages:129-136
• SamirChouali,AzzedineBoukerche,AhmedMostefaoui:“EnsuringtheReliabilityofanAutonomousVehicle:AFormalApproachbasedonComponentInterac6onProtocols.”Inthe20thACMIMSWiM2017,Miami,FL,USA,November21-25,2017,pages:317-321,BestShortPaperAward.
• Villeconnectéeetmobilité:cartographietempsréeldesplacesdesta6onnementdisponiblesauniveaud’uneville.
• MohammedAmineMerzoug,AhmedMostefaoui,AbderrezakBenyahia:“SmartIoTNo6fica6onSystemforEfficientIn-CityParking.”ACMQ2SWinet2019:37-42
![Page 5: Ahmed Mostefaoui - LIMOS - Accueil · (MQTT-CV). • Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui: “Towards a Formal Analysis of MQs Protocol in the Context of Communicang](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8884381dbeab178031a925/html5/thumbnails/5.jpg)
Vued’ensemblesurmestravauxderecherche(suite…)
RéseauxWBAN
• MainAendespersonnesâgéesàdomicile:systèmeintégréd’aideetd’alerteencasde
malaise.• MoustafaFayad,AhmedMostefaoui,SamirChouali,SalimaBenbernou“FallDetec6onApplica6onfortheElderlyinthe
FamilyHeroesSystem.”ACMMobiWac2019:17-23
![Page 6: Ahmed Mostefaoui - LIMOS - Accueil · (MQTT-CV). • Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui: “Towards a Formal Analysis of MQs Protocol in the Context of Communicang](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8884381dbeab178031a925/html5/thumbnails/6.jpg)
ScalableApproachesforSerialDataFusioninWirelessSensorNetworks
A.Mostefaoui1,A.Boukerche2,M.A.Merzoug1andM.Melkemi21UniversityofFranche-Comté,France2UniversityofOsawa,Canada.3UniversityofhauteAlsace,France
![Page 7: Ahmed Mostefaoui - LIMOS - Accueil · (MQTT-CV). • Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui: “Towards a Formal Analysis of MQs Protocol in the Context of Communicang](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8884381dbeab178031a925/html5/thumbnails/7.jpg)
QueryProcessinginWSNsWirelesssensornetworks
Objec6ve:answerquerieslike:
7
SELECT AVR (temp), MAX (hum), MIN (light), COUNT() FROM sensors
![Page 8: Ahmed Mostefaoui - LIMOS - Accueil · (MQTT-CV). • Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui: “Towards a Formal Analysis of MQs Protocol in the Context of Communicang](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8884381dbeab178031a925/html5/thumbnails/8.jpg)
QueryProcessinginWSNs
• Warehouseapproaches:rawdataisfirstsenttothesinkbeforequeryprocessing;i.e.,twoindependentprocesses.– Queryprecision.– Overu6liza6onofthenetworkresourcesandpoorscalability.
• In-networkcentralizedapproaches:atreerootedatthesinkisconstructedanddataisaggregatedinintermediatenodes.– Reducedu6liza6onofnetworkresourcesincomparisontowarehouseapproach,
– Vulnerabilityandpoorscalability.
8
![Page 9: Ahmed Mostefaoui - LIMOS - Accueil · (MQTT-CV). • Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui: “Towards a Formal Analysis of MQs Protocol in the Context of Communicang](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8884381dbeab178031a925/html5/thumbnails/9.jpg)
QueryProcessinginWSNs
• Distributedapproaches:deriveanes6mateofaparameterorfunc6onofinterestfromraw(sensed)data.Thees6mateissuccessively(i.e.,itera6vely)carriedoutthroughlocalcomputa6onsfromtheexchangeddatabetweenimmediateneighbors.
– Nocentralbasesta6onisrequired,– Mul6-hopcommunica6onsareavoided(noneedtomaintainroo6ng
data),– Robustnessandgoodscalability.
– Importantcommunica6onsconsump6ontoreachtheconvergence,– Queryresponse6mepar6cularlyhighduetotheiritera6venatureon
onehandandtothenumberofpacketcollisiontheygenerateontheotherhand.
9
![Page 10: Ahmed Mostefaoui - LIMOS - Accueil · (MQTT-CV). • Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui: “Towards a Formal Analysis of MQs Protocol in the Context of Communicang](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8884381dbeab178031a925/html5/thumbnails/10.jpg)
QueryProcessinginWSNs
• Serialapproaches:thees6mateissuccessively(i.e.,serially)updatedfromnodetonodeun6lallnodesinthenetworkarevisited.Thelastnodeholdstherightes6mate.
– Veryefficientintermsofreducingcommunica6onscomparedtocentralizedanddistributedapproaches.
– Requiretheconstruc6onofanHamiltonianpaththroughthenetwork(KnowntobeNP-Completeproblem),
– Thecostoffindingsuchapath,ina“decentralized”mannertoensurescalability,isveryhigh,
– Highvulnerability
10M.RabbatandR.Nowak.“Quan6zedincrementalalgorithmsfordistributedop6miza6on”.IEEEJournalonSelectedAreasinCommunica6ons,23(4):798-808,2005.
![Page 11: Ahmed Mostefaoui - LIMOS - Accueil · (MQTT-CV). • Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui: “Towards a Formal Analysis of MQs Protocol in the Context of Communicang](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8884381dbeab178031a925/html5/thumbnails/11.jpg)
QueryProcessinginWSNs
Ques6on:howcouldserialapproachesmeetWSNsrequirements(i.e.,completeness,scalabilityandrobustness)whilstmaintainingtheirperformances?
11
![Page 12: Ahmed Mostefaoui - LIMOS - Accueil · (MQTT-CV). • Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui: “Towards a Formal Analysis of MQs Protocol in the Context of Communicang](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8884381dbeab178031a925/html5/thumbnails/12.jpg)
Outline
• Ourapproach:PeelingAlgorithm(PA)– BoundaryTraversalAlgorithm– PAOverview– Star6ngNodeDetec6on
• ProofofCorrectness• EnhancedPA• PerformanceEvalua6on• ConclusionandFutureWorks
12
![Page 13: Ahmed Mostefaoui - LIMOS - Accueil · (MQTT-CV). • Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui: “Towards a Formal Analysis of MQs Protocol in the Context of Communicang](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8884381dbeab178031a925/html5/thumbnails/13.jpg)
PeelingAlgorithme• Requirements:
– Serialnature,– DecentralizedandLocalized:noextra-knowledgethanwhatisalreadyavailable(i.e.,
informa6onaboutimmediateneighborsandtheirloca6ons)isusedinordertomeetscalabilityrequirement,
– QueryCompleteness:allnodescontributeinthequery;i.e.,itshouldvisitallnodesinthenetwork,
– Randomtopology:couldhandleallnetworktopologies.• Assump6ons:
– Nodesknowtheirgeographicalloca6onsandthoseoftheirimmediateneighbors,– Allnodesareconnected(networkconnec6vity),– TheQueryIni6atorNode(QIN)couldbeanynodeinthenetwork(owenthesink),– UDGModel
13
![Page 14: Ahmed Mostefaoui - LIMOS - Accueil · (MQTT-CV). • Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui: “Towards a Formal Analysis of MQs Protocol in the Context of Communicang](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8884381dbeab178031a925/html5/thumbnails/14.jpg)
PeelingAlgorithme
Defini6ons: 14
![Page 15: Ahmed Mostefaoui - LIMOS - Accueil · (MQTT-CV). • Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui: “Towards a Formal Analysis of MQs Protocol in the Context of Communicang](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8884381dbeab178031a925/html5/thumbnails/15.jpg)
PeelingAlgorithme
BoundaryTraversalAlgorithm:wheneverstartedfromaboundarynode,allvisitednodesbelongtothesameboundary.
15
A.Mostefaoui,M.MelkemiandA.Boukerche“LocalizedRou-ngApproachtoBypassHolesinWirelessSensorNetworks”IEEETransac6onsonComputers,63(12):3053—3065,Sep.2014
Starting Points
Boundary
CSN1
N2
N3
N4
![Page 16: Ahmed Mostefaoui - LIMOS - Accueil · (MQTT-CV). • Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui: “Towards a Formal Analysis of MQs Protocol in the Context of Communicang](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8884381dbeab178031a925/html5/thumbnails/16.jpg)
Outline
• Ourapproach:PeelingAlgorithm(PA)– BoundaryTraversalAlgorithm– PAOverview– Star6ngNodeDetec6on
• ProofofCorrectness• EnhancedPA• PerformanceEvalua6on• ConclusionandFutureWorks
16
![Page 17: Ahmed Mostefaoui - LIMOS - Accueil · (MQTT-CV). • Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui: “Towards a Formal Analysis of MQs Protocol in the Context of Communicang](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8884381dbeab178031a925/html5/thumbnails/17.jpg)
PeelingAlgorithme
Overview:
17
Wellsuitablefordenseandholefreetopologies
![Page 18: Ahmed Mostefaoui - LIMOS - Accueil · (MQTT-CV). • Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui: “Towards a Formal Analysis of MQs Protocol in the Context of Communicang](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8884381dbeab178031a925/html5/thumbnails/18.jpg)
PeelingAlgorithme
Problem:unvisitedregiondisconnec6vity
18
![Page 19: Ahmed Mostefaoui - LIMOS - Accueil · (MQTT-CV). • Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui: “Towards a Formal Analysis of MQs Protocol in the Context of Communicang](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8884381dbeab178031a925/html5/thumbnails/19.jpg)
PeelingAlgorithme
Solu6on:bridgenode
19
![Page 20: Ahmed Mostefaoui - LIMOS - Accueil · (MQTT-CV). • Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui: “Towards a Formal Analysis of MQs Protocol in the Context of Communicang](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8884381dbeab178031a925/html5/thumbnails/20.jpg)
PeelingAlgorithme
Problem:ar6ficialholesSolu6on:deac6vatedlinks
20
![Page 21: Ahmed Mostefaoui - LIMOS - Accueil · (MQTT-CV). • Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui: “Towards a Formal Analysis of MQs Protocol in the Context of Communicang](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8884381dbeab178031a925/html5/thumbnails/21.jpg)
PeelingAlgorithme
Hole’sProblem:Solu6on:breakingthehole
21
![Page 22: Ahmed Mostefaoui - LIMOS - Accueil · (MQTT-CV). • Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui: “Towards a Formal Analysis of MQs Protocol in the Context of Communicang](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8884381dbeab178031a925/html5/thumbnails/22.jpg)
PeelingAlgorithme
Solu6on:HGN
22
![Page 23: Ahmed Mostefaoui - LIMOS - Accueil · (MQTT-CV). • Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui: “Towards a Formal Analysis of MQs Protocol in the Context of Communicang](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8884381dbeab178031a925/html5/thumbnails/23.jpg)
PeelingAlgorithme
Solu6on:breakingholes
23
Star6ngNode
HGN
![Page 24: Ahmed Mostefaoui - LIMOS - Accueil · (MQTT-CV). • Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui: “Towards a Formal Analysis of MQs Protocol in the Context of Communicang](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8884381dbeab178031a925/html5/thumbnails/24.jpg)
PeelingAlgorithme
Solu6on:breakingholes
24
Star6ngNode
HGN
![Page 25: Ahmed Mostefaoui - LIMOS - Accueil · (MQTT-CV). • Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui: “Towards a Formal Analysis of MQs Protocol in the Context of Communicang](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8884381dbeab178031a925/html5/thumbnails/25.jpg)
PeelingAlgorithme
Solu6on:breakingholes
25
Star6ngNode
HGN
![Page 26: Ahmed Mostefaoui - LIMOS - Accueil · (MQTT-CV). • Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui: “Towards a Formal Analysis of MQs Protocol in the Context of Communicang](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8884381dbeab178031a925/html5/thumbnails/26.jpg)
PeelingAlgorithme
Solu6on:breakingholes
26
Star6ngNode
HGN
![Page 27: Ahmed Mostefaoui - LIMOS - Accueil · (MQTT-CV). • Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui: “Towards a Formal Analysis of MQs Protocol in the Context of Communicang](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8884381dbeab178031a925/html5/thumbnails/27.jpg)
PeelingAlgorithme
Solu6on:breakingholes
27
Star6ngNode
HGN
![Page 28: Ahmed Mostefaoui - LIMOS - Accueil · (MQTT-CV). • Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui: “Towards a Formal Analysis of MQs Protocol in the Context of Communicang](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8884381dbeab178031a925/html5/thumbnails/28.jpg)
PeelingAlgorithme
Solu6on:breakingholes
28
Star6ngNode
HGN
![Page 29: Ahmed Mostefaoui - LIMOS - Accueil · (MQTT-CV). • Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui: “Towards a Formal Analysis of MQs Protocol in the Context of Communicang](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8884381dbeab178031a925/html5/thumbnails/29.jpg)
PeelingAlgorithme
Solu6on:breakingholes
29
Star6ngNode
HGN
![Page 30: Ahmed Mostefaoui - LIMOS - Accueil · (MQTT-CV). • Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui: “Towards a Formal Analysis of MQs Protocol in the Context of Communicang](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8884381dbeab178031a925/html5/thumbnails/30.jpg)
PeelingAlgorithme
Solu6on:breakingholes
30
Star6ngNode
HGN
![Page 31: Ahmed Mostefaoui - LIMOS - Accueil · (MQTT-CV). • Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui: “Towards a Formal Analysis of MQs Protocol in the Context of Communicang](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8884381dbeab178031a925/html5/thumbnails/31.jpg)
PeelingAlgorithme
Solu6on:breakingholes
31
Star6ngNode
HGN
![Page 32: Ahmed Mostefaoui - LIMOS - Accueil · (MQTT-CV). • Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui: “Towards a Formal Analysis of MQs Protocol in the Context of Communicang](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8884381dbeab178031a925/html5/thumbnails/32.jpg)
PeelingAlgorithme
Solu6on:breakingholes
32
Star6ngNode
HGN
![Page 33: Ahmed Mostefaoui - LIMOS - Accueil · (MQTT-CV). • Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui: “Towards a Formal Analysis of MQs Protocol in the Context of Communicang](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8884381dbeab178031a925/html5/thumbnails/33.jpg)
PeelingAlgorithme
Solu6on:breakingholes
33
Star6ngNode
HGN
![Page 34: Ahmed Mostefaoui - LIMOS - Accueil · (MQTT-CV). • Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui: “Towards a Formal Analysis of MQs Protocol in the Context of Communicang](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8884381dbeab178031a925/html5/thumbnails/34.jpg)
PeelingAlgorithme
Solu6on:breakingholes
34
Star6ngNode
HGN
![Page 35: Ahmed Mostefaoui - LIMOS - Accueil · (MQTT-CV). • Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui: “Towards a Formal Analysis of MQs Protocol in the Context of Communicang](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8884381dbeab178031a925/html5/thumbnails/35.jpg)
PeelingAlgorithme
Solu6on:breakingholes
35
Star6ngNode
HGN
![Page 36: Ahmed Mostefaoui - LIMOS - Accueil · (MQTT-CV). • Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui: “Towards a Formal Analysis of MQs Protocol in the Context of Communicang](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8884381dbeab178031a925/html5/thumbnails/36.jpg)
PeelingAlgorithme
Solu6on:breakingholes
36
Star6ngNode
HGN
EndingNode
![Page 37: Ahmed Mostefaoui - LIMOS - Accueil · (MQTT-CV). • Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui: “Towards a Formal Analysis of MQs Protocol in the Context of Communicang](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8884381dbeab178031a925/html5/thumbnails/37.jpg)
PeelingAlgorithme
37
Previous Node
1
2
34
10
11
12
1314 15
16
17
18
59
87
6
False HGN
True HGN
Broken links Hole 1
Hole 2
(a)
(b)
1
2
34
10
11
12
1314 15
16
17
18
9
87
6
Broken links Hole 1
Hole 2
5
Hole Control Packet (HCP)
Problem:imbricatedholes(FalseHGN)
Solu6on:HoleControlPacketlaunchedbytheHGN
![Page 38: Ahmed Mostefaoui - LIMOS - Accueil · (MQTT-CV). • Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui: “Towards a Formal Analysis of MQs Protocol in the Context of Communicang](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8884381dbeab178031a925/html5/thumbnails/38.jpg)
Outline
• Ourapproach:PeelingAlgorithm(PA)– BoundaryTraversalAlgorithm– PAOverview– Star6ngNodeDetec6on
• ProofofCorrectness• EnhancedPA• PerformanceEvalua6on• ConclusionandFutureWorks
38
![Page 39: Ahmed Mostefaoui - LIMOS - Accueil · (MQTT-CV). • Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui: “Towards a Formal Analysis of MQs Protocol in the Context of Communicang](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8884381dbeab178031a925/html5/thumbnails/39.jpg)
PeelingAlgorithme
• Star6ngNodeDetec6onProcess• Iden6fyingNBNsset
39
A.Mostefaoui,M.MelkemiandA.Boukerche“EfficientAlgorithmforSerialDataFusioninWirelessSensorNetworks.”Inthe16thACMInterna6onalConferenceonModeling,AnalysisandSimula6onofWirelessandMobileSystems,MSWiM'13,Pages181--188,Barcelone,Nov.2013
![Page 40: Ahmed Mostefaoui - LIMOS - Accueil · (MQTT-CV). • Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui: “Towards a Formal Analysis of MQs Protocol in the Context of Communicang](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8884381dbeab178031a925/html5/thumbnails/40.jpg)
Outline
• Ourapproach:PeelingAlgorithm(PA)– BoundaryTraversalAlgorithm– PAOverview– Star6ngNodeDetec6on
• ProofofCorrectness• EnhancedPA• PerformanceEvalua6on• ConclusionandFutureWorks
40
![Page 41: Ahmed Mostefaoui - LIMOS - Accueil · (MQTT-CV). • Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui: “Towards a Formal Analysis of MQs Protocol in the Context of Communicang](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8884381dbeab178031a925/html5/thumbnails/41.jpg)
Proofofcorrectness
• Objec6ve:provethatPAguaran6esallnodescontribu6oninthequery(i.e.,visitsallnodes)whatevertheconfigura6onofthenetworkis.
• Twosteps:– Step1:provethatPAterminates(freeoflooping).– Step2:provethatthegeneratedsequenceofvisitednodes
containsallnodesofthenetwork.
41
![Page 42: Ahmed Mostefaoui - LIMOS - Accueil · (MQTT-CV). • Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui: “Towards a Formal Analysis of MQs Protocol in the Context of Communicang](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8884381dbeab178031a925/html5/thumbnails/42.jpg)
Proofofcorrectness
Step1:
42
![Page 43: Ahmed Mostefaoui - LIMOS - Accueil · (MQTT-CV). • Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui: “Towards a Formal Analysis of MQs Protocol in the Context of Communicang](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8884381dbeab178031a925/html5/thumbnails/43.jpg)
Proofofcorrectness
Step1:
43
![Page 44: Ahmed Mostefaoui - LIMOS - Accueil · (MQTT-CV). • Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui: “Towards a Formal Analysis of MQs Protocol in the Context of Communicang](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8884381dbeab178031a925/html5/thumbnails/44.jpg)
Proofofcorrectness
Step1:
44
![Page 45: Ahmed Mostefaoui - LIMOS - Accueil · (MQTT-CV). • Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui: “Towards a Formal Analysis of MQs Protocol in the Context of Communicang](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8884381dbeab178031a925/html5/thumbnails/45.jpg)
Proofofcorrectness
Step2:
45
![Page 46: Ahmed Mostefaoui - LIMOS - Accueil · (MQTT-CV). • Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui: “Towards a Formal Analysis of MQs Protocol in the Context of Communicang](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8884381dbeab178031a925/html5/thumbnails/46.jpg)
Outline
• Ourapproach:PeelingAlgorithm(PA)– BoundaryTraversalAlgorithm– PAOverview– Star6ngNodeDetec6on
• ProofofCorrectness• EnhancedPA• PerformanceEvalua6on• ConclusionandFutureWorks
46
![Page 47: Ahmed Mostefaoui - LIMOS - Accueil · (MQTT-CV). • Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui: “Towards a Formal Analysis of MQs Protocol in the Context of Communicang](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8884381dbeab178031a925/html5/thumbnails/47.jpg)
EnhancedPA
Linearityphenomenon
47
![Page 48: Ahmed Mostefaoui - LIMOS - Accueil · (MQTT-CV). • Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui: “Towards a Formal Analysis of MQs Protocol in the Context of Communicang](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8884381dbeab178031a925/html5/thumbnails/48.jpg)
EnhancedPA
Cyclicnodes
48
![Page 49: Ahmed Mostefaoui - LIMOS - Accueil · (MQTT-CV). • Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui: “Towards a Formal Analysis of MQs Protocol in the Context of Communicang](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8884381dbeab178031a925/html5/thumbnails/49.jpg)
Outline
• Ourapproach:PeelingAlgorithm(PA)– BoundaryTraversalAlgorithm– PAOverview– Star6ngNodeDetec6on
• ProofofCorrectness• EnhancedPA• PerformanceEvalua6on• ConclusionandFutureWorks
49
![Page 50: Ahmed Mostefaoui - LIMOS - Accueil · (MQTT-CV). • Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui: “Towards a Formal Analysis of MQs Protocol in the Context of Communicang](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8884381dbeab178031a925/html5/thumbnails/50.jpg)
PerformanceEvaluaAon
• ComparedApproaches:– Centralizedapproach– Itera6veapproach– DepthFirstApproach– PA– EPA
• Metrics:– Communica6onEfficiency(#hops)– ConsumedEnergy,– QueryTime-To-End(i.e.,queryresponsiveness)
50
![Page 51: Ahmed Mostefaoui - LIMOS - Accueil · (MQTT-CV). • Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui: “Towards a Formal Analysis of MQs Protocol in the Context of Communicang](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8884381dbeab178031a925/html5/thumbnails/51.jpg)
PerformanceEvaluaAon
• Se{ngs:
51
![Page 52: Ahmed Mostefaoui - LIMOS - Accueil · (MQTT-CV). • Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui: “Towards a Formal Analysis of MQs Protocol in the Context of Communicang](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8884381dbeab178031a925/html5/thumbnails/52.jpg)
PerformanceEvaluaAon
• Singlequeryperformance:
52
0
500
1000
1500
2000
2500
3000
100 150 200 250 300 350 400 450 500
Num
ber o
f Com
mun
icat
ions
Number of Nodes
IterativeCentralized
DFSPeeling
0
5
10
15
20
25
30
35
40
45
100 150 200 250 300 350 400 450 500
Ener
gy C
onsu
mpt
ion
(J)
Number of Nodes
IterativeCentralized
DFSPeeling
0
5
10
15
20
25
30
100 150 200 250 300 350 400 450 500
One
Que
ry R
espo
nse
Tim
e (s
)
Number of Nodes
IterativeCentralized
DFSPeeling
0
2
4
6
8
10
12
14
100 150 200 250 300 350 400 450 500
One
Que
ry R
espo
nse
Tim
e (s
)
Number of Nodes
DFS with MACDFS without MACPeeling with MAC
Peeling without MAC
![Page 53: Ahmed Mostefaoui - LIMOS - Accueil · (MQTT-CV). • Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui: “Towards a Formal Analysis of MQs Protocol in the Context of Communicang](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8884381dbeab178031a925/html5/thumbnails/53.jpg)
PerformanceEvaluaAon
• Mul6plequeries:
53
0
100
200
300
400
500
600
700
800
100 150 200 250 300 350 400 450 500
Net
wor
k Li
fetim
e (N
umbe
r of Q
uerie
s)
Number of Nodes
IterativeCentralized
DFSPeeling
![Page 54: Ahmed Mostefaoui - LIMOS - Accueil · (MQTT-CV). • Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui: “Towards a Formal Analysis of MQs Protocol in the Context of Communicang](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8884381dbeab178031a925/html5/thumbnails/54.jpg)
PerformanceEvaluaAon
• EPAperformance:
54
0
200
400
600
800
1000
100 150 200 250 300 350 400 450 500
Num
ber o
f Com
mun
icat
ions
Number of Nodes
DFSPA
EPA
0
1
2
3
4
5
6
7
100 150 200 250 300 350 400 450 500
Ener
gy C
onsu
mpt
ion
(J)
Number of Nodes
DFSPA
EPA
0
2
4
6
8
10
12
100 150 200 250 300 350 400 450 500
One
Que
ry R
espo
nse
Tim
e (s
)
Number of Nodes
DFSPA
EPA
![Page 55: Ahmed Mostefaoui - LIMOS - Accueil · (MQTT-CV). • Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui: “Towards a Formal Analysis of MQs Protocol in the Context of Communicang](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8884381dbeab178031a925/html5/thumbnails/55.jpg)
Outline
• Ourapproach:PeelingAlgorithm(PA)– BoundaryTraversalAlgorithm– PAOverview– Star6ngNodeDetec6on
• ProofofCorrectness• EnhancedPA• PerformanceEvalua6on• ConclusionandFutureWorks
55
![Page 56: Ahmed Mostefaoui - LIMOS - Accueil · (MQTT-CV). • Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui: “Towards a Formal Analysis of MQs Protocol in the Context of Communicang](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8884381dbeab178031a925/html5/thumbnails/56.jpg)
ConclusionandFutureWork
• EfficientandScalableserialapproachfordatafusioninWSN.
• Theore6callyproventoensurequerycompleteness(i.e.,visi6ngallnodes)inanynetworkconfigura6on.
• Suitablefordenseandlargescaledeployments.
• S6llvulnerabletolinkandnodesfailures
56
![Page 57: Ahmed Mostefaoui - LIMOS - Accueil · (MQTT-CV). • Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui: “Towards a Formal Analysis of MQs Protocol in the Context of Communicang](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8884381dbeab178031a925/html5/thumbnails/57.jpg)
MercipourvotreaUenAon…
![Page 58: Ahmed Mostefaoui - LIMOS - Accueil · (MQTT-CV). • Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui: “Towards a Formal Analysis of MQs Protocol in the Context of Communicang](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8884381dbeab178031a925/html5/thumbnails/58.jpg)
PeelingAlgorithme
Overview:
58
vv
Star6ngNode
ExternalBoundary
![Page 59: Ahmed Mostefaoui - LIMOS - Accueil · (MQTT-CV). • Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui: “Towards a Formal Analysis of MQs Protocol in the Context of Communicang](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8884381dbeab178031a925/html5/thumbnails/59.jpg)
PeelingAlgorithme
Overview:
59
vv
Star6ngNode
Currentunvisitedregionboundary
![Page 60: Ahmed Mostefaoui - LIMOS - Accueil · (MQTT-CV). • Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui: “Towards a Formal Analysis of MQs Protocol in the Context of Communicang](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8884381dbeab178031a925/html5/thumbnails/60.jpg)
PeelingAlgorithme
Overview:
60
vv
Star6ngNode
Currentunvisitedregionboundary
![Page 61: Ahmed Mostefaoui - LIMOS - Accueil · (MQTT-CV). • Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui: “Towards a Formal Analysis of MQs Protocol in the Context of Communicang](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8884381dbeab178031a925/html5/thumbnails/61.jpg)
PeelingAlgorithme
Overview:
61
vv
Star6ngNode
Currentunvisitedregionboundary
![Page 62: Ahmed Mostefaoui - LIMOS - Accueil · (MQTT-CV). • Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui: “Towards a Formal Analysis of MQs Protocol in the Context of Communicang](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8884381dbeab178031a925/html5/thumbnails/62.jpg)
PeelingAlgorithme
Overview:
62
vv
Star6ngNode
Currentunvisitedregionboundary
![Page 63: Ahmed Mostefaoui - LIMOS - Accueil · (MQTT-CV). • Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui: “Towards a Formal Analysis of MQs Protocol in the Context of Communicang](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8884381dbeab178031a925/html5/thumbnails/63.jpg)
PeelingAlgorithme
Overview:
63
vv
Star6ngNode
Currentunvisitedregionboundary
![Page 64: Ahmed Mostefaoui - LIMOS - Accueil · (MQTT-CV). • Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui: “Towards a Formal Analysis of MQs Protocol in the Context of Communicang](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8884381dbeab178031a925/html5/thumbnails/64.jpg)
PeelingAlgorithme
Overview:
64
vv
Star6ngNode
Currentunvisitedregionboundary
![Page 65: Ahmed Mostefaoui - LIMOS - Accueil · (MQTT-CV). • Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui: “Towards a Formal Analysis of MQs Protocol in the Context of Communicang](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8884381dbeab178031a925/html5/thumbnails/65.jpg)
PeelingAlgorithme
Overview:
65
vv
Star6ngNode
Currentunvisitedregionboundary
![Page 66: Ahmed Mostefaoui - LIMOS - Accueil · (MQTT-CV). • Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui: “Towards a Formal Analysis of MQs Protocol in the Context of Communicang](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8884381dbeab178031a925/html5/thumbnails/66.jpg)
PeelingAlgorithme
Overview:
66
vv
EndingNode
Star6ngNode
Wellsuitablefordenseandholefreetopologies