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, 2013
Danilo Pianini (UniBo) Alchemist UniMoRE, Feb. 2013 1 / 14

2. Outline Gentlemen, you had my curiosity. But now you have my attention.
1 Current status
2 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. Current status
Stable release
Available 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. Novelties since Review Meeting Tackling real life scenarios
Outline
1 Current status
2 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. Novelties since Review Meeting Tackling real life scenarios
Environments from images
Load 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. Novelties since Review Meeting Tackling real life scenarios
Maps from the Web
Run 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. Novelties since Review Meeting Tackling real life scenarios
Realistic pedestrians
Realistic 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. Novelties since Review Meeting Advanced analysis
Outline
1 Current status
2 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. Novelties since Review Meeting Advanced analysis
Sacrifices reproducibility for greater performance on multicore CPUs
Detail
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. Novelties since Review Meeting Advanced analysis
PVeStA 4 Alchemist
Parallel Statistical Model Checking and Quantitative Analysis Tool
Detail
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. Novelties since Review Meeting Advanced analysis
Complex networks
Support 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. Novelties since Review Meeting Eye candy
Outline
1 Current status
2 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. Novelties since Review Meeting Eye candy
3D rendering through Blender
Pleasant 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. 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, 2013
Danilo Pianini (UniBo) Alchemist UniMoRE, Feb. 2013 14 / 14