SAPERE WP1 Alchemist status at 02/2013

SAPERE Self-aware Pervasive Service Ecosystems

WP1 tools: current status and ongoing work

Danilo Pianini – [email protected]

Alma Mater Studiorum—Universita di Bologna

UniMoRE, Feb. 20th-22nd, 2013

Danilo Pianini (UniBo) Alchemist UniMoRE, Feb. 2013 1 / 14

Outline Gentlemen, you had my curiosity. But now you have my attention.

1 Current status

2 Novelties since Review MeetingTackling real life scenarios

Environments from imagesMaps from the WebRealistic pedestrians

Advanced analysisParallel executionPVeStA 4 AlchemistComplex networks

Eye candy3D rendering through Blender


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


http://bit.ly/AlchemistDloadPage

Novelties since Review Meeting Tackling real life scenarios

Outline

1 Current status







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



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



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


Novelties since Review Meeting Advanced analysis

Outline

1 Current status







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 thenumber of CPUs

No reproducibility guaranteed when using parallel mode



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)



Complex networks

Support for multiple network topologies (Ing. Luca Mella)

Detail

Good shape, expected in few weeks

Support for different network types (complex networks, randomnetworks, backbones, etc.)

Studies on information (and malware) diffusion

Studies on social network and opportunistic networks

Results from SOCIALNETS (Social networking for pervasiveadaption) EU Projects will be used (hopefully extended)


Novelties since Review Meeting Eye candy

Outline

1 Current status






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


SAPERE Self-aware Pervasive Service Ecosystems

WP1 tools: current status and ongoing work

Danilo Pianini – [email protected]

Alma Mater Studiorum—Universita di Bologna

UniMoRE, Feb. 20th-22nd, 2013


Documents

SAPERE WP1 Alchemist status at 02/2013