Your SlideShare is downloading. ×
SAPERE Analysis tools
Upcoming SlideShare
Loading in...5
×

Thanks for flagging this SlideShare!

Oops! An error has occurred.

×
Saving this for later? Get the SlideShare app to save on your phone or tablet. Read anywhere, anytime – even offline.
Text the download link to your phone
Standard text messaging rates apply

SAPERE Analysis tools

180

Published on

A brief recap of analysis tools for the SAPERE Project

A brief recap of analysis tools for the SAPERE Project

Published in: Technology, Business
0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total Views
180
On Slideshare
0
From Embeds
0
Number of Embeds
0
Actions
Shares
0
Downloads
2
Comments
0
Likes
0
Embeds 0
No embeds

Report content
Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
No notes for slide

Transcript

  • 1. SAPERE Self-aware Pervasive Service EcosystemsSAPERE Analysis toolsDanilo Pianini – danilo.pianini@unibo.itAlma Mater Studiorum—Universit`a di BolognaCesena, June 19, 2013Danilo Pianini (UniBo) Alchemist Cesena, June 19, 2013 1 / 20
  • 2. Outline The fate of destruction is also the joy of rebirth.1 Tools and methodology2 Simulation toolsAlchemistThe One3 Novelties in Alchemist since Modena MeetingStuff completedStuff still under developmentDanilo Pianini (UniBo) Alchemist Cesena, June 19, 2013 2 / 20
  • 3. Tools and methodologySimulation and methodologySimulation appear in methodology in two different phasesArchitectural design (AD)design system rolesdesign self-organisation algorithmsdesign self-organisation mechanismsexecute approximate prediction of the modelsDetailed design (DD)design the actual Eco-lawsdesign the actual LSAsdesign the actual LSA Bondsverification of the system’s behaviourIt is key to clearly identify and contextualise our tools within the phasesDanilo Pianini (UniBo) Alchemist Cesena, June 19, 2013 3 / 20
  • 4. Simulation tools AlchemistOutline1 Tools and methodology2 Simulation toolsAlchemistThe One3 Novelties in Alchemist since Modena MeetingStuff completedStuff still under developmentDanilo Pianini (UniBo) Alchemist Cesena, June 19, 2013 4 / 20
  • 5. Simulation tools AlchemistAlchemist is the primary tool for ADWhat should it be used for?design novel self-* algorithmstest novel self-* algorithmsapply algorithms in large-scale networks, with different topologies andmobile nodesrun approximate model checking to ensure propertiesWhat should it be not used for?verify that the algorithms work in the actual middlewareprecisely measure the network impactin general, if the measure is middleware-dependent, Alchemist is notthe right toolQ: Relationship with RePast: when to use it in AD?Danilo Pianini (UniBo) Alchemist Cesena, June 19, 2013 5 / 20
  • 6. Simulation tools AlchemistAlchemist’s featuresSynthetic and compact DSL for designing a simulationScales well with thousands of nodesEmbedded approximate stochastic model checkerIntegrated with PVeStADanilo Pianini (UniBo) Alchemist Cesena, June 19, 2013 6 / 20
  • 7. Simulation tools AlchemistAlchemist evaluationAs Alois also said, I’ll be in Linz for three months. Some of my task willbe:Evaluate Alchemist by simulating a large scenario, ideally relying onVCM data from JKU guysSimulate advanced algorithms (e.g. Anticipative Gradient) in therealistic setupRun approximate stochastic model checking to verify systempropertiesDeepen integration of Alchemist in methodologyDanilo Pianini (UniBo) Alchemist Cesena, June 19, 2013 7 / 20
  • 8. Simulation tools The OneOutline1 Tools and methodology2 Simulation toolsAlchemistThe One3 Novelties in Alchemist since Modena MeetingStuff completedStuff still under developmentDanilo Pianini (UniBo) Alchemist Cesena, June 19, 2013 8 / 20
  • 9. Simulation tools The OneThe One is the primary tool for DDWhat should it be used for?verify that the algorithms work in the actual middlewareprecisely measure the network impactverify how the implemented system will work prior to deploymentmiddleware performance assessmentWhat should it be not used for?quick design and testing of novel self-* algorithmsapproximate model checkingDanilo Pianini (UniBo) Alchemist Cesena, June 19, 2013 9 / 20
  • 10. Simulation tools The OneThe One’s featuresRuns the real middlewareMeasures network parametersAllows for loading / running real world mapsDanilo Pianini (UniBo) Alchemist Cesena, June 19, 2013 10 / 20
  • 11. Novelties in Alchemist since Modena Meeting Stuff completedOutline1 Tools and methodology2 Simulation toolsAlchemistThe One3 Novelties in Alchemist since Modena MeetingStuff completedStuff still under developmentDanilo Pianini (UniBo) Alchemist Cesena, June 19, 2013 11 / 20
  • 12. Novelties in Alchemist since Modena Meeting Stuff completedEnvironments from imagesLoad images as Alchemist environments (Ing. Michele Pratiffi)DetailAreas of chosen colors will be interpreted as obstaclesIdeal solution for the simulation of closed environmentsReady for being usedDanilo Pianini (UniBo) Alchemist Cesena, June 19, 2013 12 / 20
  • 13. Novelties in Alchemist since Modena Meeting Stuff completedRealistic pedestriansRealistic individual and group dynamics(Ing. Michele Bombardi, Ing. Chiara Casalboni)DetailReviewers explicitly asked warranties about realism of pedestrians insimulationsWe contacted Mizar Luca Federici of CrowdyxityWe searched the literatureChosen model features:Force-fields among peopleForce-fields interaction between people and physical hurdlesPheromone based interaction among people of the same groupDanilo Pianini (UniBo) Alchemist Cesena, June 19, 2013 13 / 20
  • 14. Novelties in Alchemist since Modena Meeting Stuff completedRealistic pedestriansDetailRealistic interaction among peopleRealistic hurdle avoidanceDifferent cultural models (from literature)Group dynamicsQualitatively evaluated at AlmaorientaDanilo Pianini (UniBo) Alchemist Cesena, June 19, 2013 14 / 20
  • 15. Novelties in Alchemist since Modena Meeting Stuff completedPVeStA 4 AlchemistParallel Statistical Model Checking and Quantitative Analysis ToolDetailIntegration completed, a case study will come soonIntegration module completed and ready for producing the first resultsEfficient approximate model checkingCollaboration with A. Vandin and A. L. Lafuente (IMT Lucca)Verification of properties expressed in:Probabilistic Computational Tree Logic (PCTL)Continuous Stochastic Logic (CSL)Quantitative Temporal Expressions language (QuaTEx)Danilo Pianini (UniBo) Alchemist Cesena, June 19, 2013 15 / 20
  • 16. Novelties in Alchemist since Modena Meeting Stuff completed3D rendering through BlenderPleasant rendering of the simulation in 3D (Ing. Luca Nenni)DetailJava-Python-Blender bridge completedLooking for Somebody with artistic sense to continue and improve theworkDanilo Pianini (UniBo) Alchemist Cesena, June 19, 2013 16 / 20
  • 17. Novelties in Alchemist since Modena Meeting Stuff still under developmentOutline1 Tools and methodology2 Simulation toolsAlchemistThe One3 Novelties in Alchemist since Modena MeetingStuff completedStuff still under developmentDanilo Pianini (UniBo) Alchemist Cesena, June 19, 2013 17 / 20
  • 18. Novelties in Alchemist since Modena Meeting Stuff still under developmentMaps from the WebRun simulations on real world mapsDetailOpenStreetMap backend, Google Maps backend will comeRouting of agents through navigation web servicesSupport for pedestrians, cars, bicycles and public transportDanilo Pianini (UniBo) Alchemist Cesena, June 19, 2013 18 / 20
  • 19. Novelties in Alchemist since Modena Meeting Stuff still under developmentComplex networksSupport for multiple network topologies (Ing. Luca Mella)DetailCompleted, but not well documented yetSupport for different network types (complex networks, randomnetworks, backbones, etc.)Studies on information (and malware) diffusionStudies on social network and opportunistic networksUsed to reproduce experiments of SOCIALNETS EU Projects, inparticular social-based forwarding in opportunistic networksDanilo Pianini (UniBo) Alchemist Cesena, June 19, 2013 19 / 20
  • 20. SAPERE Self-aware Pervasive Service EcosystemsSAPERE Analysis toolsDanilo Pianini – danilo.pianini@unibo.itAlma Mater Studiorum—Universit`a di BolognaCesena, June 19, 2013Danilo Pianini (UniBo) Alchemist Cesena, June 19, 2013 20 / 20

×