Your SlideShare is downloading. ×
Engineering Computational Ecosystems
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

Engineering Computational Ecosystems

331
views

Published on

An introduction to our research interests.

An introduction to our research interests.


0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total Views
331
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. Engineering computational ecosystems Ing. Dott. Danilo Pianini danilo.pianini@unibo.it Alma Mater Studiorum—Universit` di Bologna a Cesena a Vieni via con noi - Cesena 2012Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 1 / 34
  • 2. (Near) Future city scenario Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 2 / 34
  • 3. (Near) Future city scenario Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 3 / 34
  • 4. (Near) Future city scenario Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 4 / 34
  • 5. (Near) Future city scenario Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 5 / 34
  • 6. Pervasive DevicesImage courtesy of Alois Ferscha (Pervasive Computing Group, Johannes Kepler Universit¨t Linz) a Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 6 / 34
  • 7. Pervasive DevicesImage courtesy of Alois Ferscha (Pervasive Computing Group, Johannes Kepler Universit¨t Linz) a Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 7 / 34
  • 8. Pervasive DevicesImage courtesy of Alois Ferscha (Pervasive Computing Group, Johannes Kepler Universit¨t Linz) a Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 8 / 34
  • 9. Pervasive Devices Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 9 / 34
  • 10. Pervasive DisplaysImage courtesy of Alois Ferscha (Pervasive Computing Group, Johannes Kepler Universit¨t Linz) a → Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 10 / 34
  • 11. Pervasive DisplaysImage courtesy of Alois Ferscha (Pervasive Computing Group, Johannes Kepler Universit¨t Linz) a . . . . . . . Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 11 / 34
  • 12. Pervasive EcosystemsMiriads of interacting devices and services as individuals in an ecosystem No central control is involved Actions are driven by the context The system heals itselfNature does it since hundreds of millions years Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 12 / 34
  • 13. Self organisation in nature: ants Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 13 / 34
  • 14. Self organisation in nature: termites Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 14 / 34
  • 15. Self organisation in nature: birds Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 15 / 34
  • 16. Self organisation in nature: humans Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 16 / 34
  • 17. Self organisation in nature: biochemistry Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 17 / 34
  • 18. Pervasive EcosystemsChallenges for ICT engineersDesign the rules for the ecosystem in a way that: Fruitful cooperation is promoted New services are created by combining the existing Unwanted interactions are limited Overall collective behaviour can be (formally) predicted and controlled The system smoothly evolves with time Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 18 / 34
  • 19. The SAPERE Project http://www.sapere-project.eu Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 19 / 34
  • 20. Eco-laws and Live Semantic AnnotationsLive Semantic Annotations (LSA) A unified description for devices, data, services Is about interface, status, and behaviour of a component It provides semantic information, and it is dynamicEco-Laws They resemble chemical reactions They take some reagent LSA, and provide some product LSA They can diffuse an LSA in the neighborhood They can aggregate LSAs like in chemical bonding They form a small & fixed set of natural eco-laws Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 20 / 34
  • 21. Pervasive Ecosystems Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 21 / 34
  • 22. Pervasive displays: multiple viewImage courtesy of Alois Ferscha (Pervasive Computing Group, Johannes Kepler Universit¨t Linz) a Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 22 / 34
  • 23. Pervasive displays: local sharingImage courtesy of Alois Ferscha (Pervasive Computing Group, Johannes Kepler Universit¨t Linz) a Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 23 / 34
  • 24. Pervasive displays: steeringImage courtesy of Alois Ferscha (Pervasive Computing Group, Johannes Kepler Universit¨t Linz) a Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 24 / 34
  • 25. Pervasive displays: case studiesImage courtesy of Alois Ferscha (Pervasive Computing Group, Johannes Kepler Universit¨t Linz) a Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 25 / 34
  • 26. Pervasive displays: crowd steeringImage courtesy of Alois Ferscha (Pervasive Computing Group, Johannes Kepler Universit¨t Linz) a Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 26 / 34
  • 27. Computational ecosystems: functional guaranteesHouston, we’ve got a problem.Prediction difficulties Thousands-devices scale system Autonomous devices Interaction plays a huge roleFormal proof Mathematical guarantee Only tackles simple casesModel checking Space state explosion for non-trivial cases Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 27 / 34
  • 28. Computational ecosystems: simulationHow to simulate a (bio)chemical inspired computational ecosystem?Classic Agent Based simulators High expressiveness Sub optimal level of abstraction Non optimizedClassic chemical Kinetic Monte Carlo simulators Extremely fast No mobility Extremely low-level Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 28 / 34
  • 29. Computational ecosystems: AlchemistAlchemist Kinetic Monte Carlo engine Mobility support Dynamic connectivity support Complex data items Reaction-like programming allowed Classic (weak) agents supported (Java-written) Built from scratch Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 29 / 34
  • 30. Crowd evacuation Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 30 / 34
  • 31. Crowd steering Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 31 / 34
  • 32. Morphogenesis Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 32 / 34
  • 33. Morphogenesis Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 33 / 34
  • 34. References Engineering computational ecosystems Ing. Dott. Danilo Pianini danilo.pianini@unibo.it Alma Mater Studiorum—Universit` di Bologna a Cesena a Vieni via con noi - Cesena 2012Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 34 / 34

×