Successfully reported this slideshow.
We use your LinkedIn profile and activity data to personalize ads and to show you more relevant ads. You can change your ad preferences anytime.

SAPERE WP1 Alchemist status at 02/2013

421 views

Published on

  • Be the first to comment

  • Be the first to like this

SAPERE WP1 Alchemist status at 02/2013

  1. 1. SAPERE Self-aware Pervasive Service Ecosystems WP1 tools: current status and ongoing work Danilo Pianini – danilo.pianini@unibo.it Alma Mater Studiorum—Universit` di Bologna a UniMoRE, Feb. 20th-22nd, 2013Danilo Pianini (UniBo) Alchemist UniMoRE, Feb. 2013 1 / 14
  2. 2. Outline Gentlemen, you had my curiosity. But now you have my attention.1 Current status2 Novelties since Review Meeting Tackling real life scenarios Environments from images Maps from the Web Realistic pedestrians Advanced analysis Parallel execution PVeStA 4 Alchemist Complex networks Eye candy 3D rendering through Blender Danilo Pianini (UniBo) Alchemist UniMoRE, Feb. 2013 2 / 14
  3. 3. Current statusStable releaseAvailable for download at http://bit.ly/AlchemistDloadPage Redistributable version (runnable JAR) Manual with installation, usage and development instructions Graphical interface Eclipse plugin installable via update site Source code (GPL licensed) Our students are able to install, use and extend it ⇒ widely used (and developed) by them Danilo Pianini (UniBo) Alchemist UniMoRE, Feb. 2013 3 / 14
  4. 4. Novelties since Review Meeting Tackling real life scenariosOutline1 Current status2 Novelties since Review Meeting Tackling real life scenarios Environments from images Maps from the Web Realistic pedestrians Advanced analysis Parallel execution PVeStA 4 Alchemist Complex networks Eye candy 3D rendering through Blender Danilo Pianini (UniBo) Alchemist UniMoRE, Feb. 2013 4 / 14
  5. 5. Novelties since Review Meeting Tackling real life scenariosEnvironments from imagesLoad images as Alchemist environments (Ing. Michele Pratiffi)Detail Black areas will be interpreted as walls Ideal solution for the simulation of closed environments Ready for being used, although still in beta version Danilo Pianini (UniBo) Alchemist UniMoRE, Feb. 2013 5 / 14
  6. 6. Novelties since Review Meeting Tackling real life scenariosMaps from the WebRun simulations on real world maps (Ing. Luca Ricci)Detail About 70% complete — to be released in March OpenStreetMap backend, Google Maps backend will come Routing of agents through navigation web services Support for pedestrians, cars, bicycles and public transport Danilo Pianini (UniBo) Alchemist UniMoRE, Feb. 2013 6 / 14
  7. 7. Novelties since Review Meeting Tackling real life scenariosRealistic pedestriansRealistic individual and group dynamics(Ing. Michele Bombardi, Ing. Chiara Casalboni)Detail About 90% complete, expected in March Realistic interaction among people Realistic hurdle avoidance Different cultural models (from literature) Group dynamics Danilo Pianini (UniBo) Alchemist UniMoRE, Feb. 2013 7 / 14
  8. 8. Novelties since Review Meeting Advanced analysisOutline1 Current status2 Novelties since Review Meeting Tackling real life scenarios Environments from images Maps from the Web Realistic pedestrians Advanced analysis Parallel execution PVeStA 4 Alchemist Complex networks Eye candy 3D rendering through Blender Danilo Pianini (UniBo) Alchemist UniMoRE, Feb. 2013 8 / 14
  9. 9. Novelties since Review Meeting Advanced analysisSacrifices reproducibility for greater performance on multicore CPUsDetail Completed and usable, although still in beta version Can be enabled from the GUI Improvements from 10% to 400%, depending on the scenario and the number of CPUs No reproducibility guaranteed when using parallel mode Danilo Pianini (UniBo) Alchemist UniMoRE, Feb. 2013 9 / 14
  10. 10. Novelties since Review Meeting Advanced analysisPVeStA 4 AlchemistParallel Statistical Model Checking and Quantitative Analysis ToolDetail Work in progress Integration module completed and ready for producing the first results Efficient approximate model checking Collaboration 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 UniMoRE, Feb. 2013 10 / 14
  11. 11. Novelties since Review Meeting Advanced analysisComplex networksSupport for multiple network topologies (Ing. Luca Mella)Detail Good shape, expected in few weeks Support for different network types (complex networks, random networks, backbones, etc.) Studies on information (and malware) diffusion Studies on social network and opportunistic networks Results from SOCIALNETS (Social networking for pervasive adaption) EU Projects will be used (hopefully extended) Danilo Pianini (UniBo) Alchemist UniMoRE, Feb. 2013 11 / 14
  12. 12. Novelties since Review Meeting Eye candyOutline1 Current status2 Novelties since Review Meeting Tackling real life scenarios Environments from images Maps from the Web Realistic pedestrians Advanced analysis Parallel execution PVeStA 4 Alchemist Complex networks Eye candy 3D rendering through Blender Danilo Pianini (UniBo) Alchemist UniMoRE, Feb. 2013 12 / 14
  13. 13. Novelties since Review Meeting Eye candy3D rendering through BlenderPleasant rendering of the simulation in 3D (Ing. Luca Nenni)Detail Embryonic stage Export of the simulation data in a BPython/Blender friendly format Visualisation of computational gradients Visualisation of obstacles and nodes Very useful when designing spatial patterns Danilo Pianini (UniBo) Alchemist UniMoRE, Feb. 2013 13 / 14
  14. 14. SAPERE Self-aware Pervasive Service Ecosystems WP1 tools: current status and ongoing work Danilo Pianini – danilo.pianini@unibo.it Alma Mater Studiorum—Universit` di Bologna a UniMoRE, Feb. 20th-22nd, 2013Danilo Pianini (UniBo) Alchemist UniMoRE, Feb. 2013 14 / 14

×