Engineering Computational Ecosystems

Download Engineering Computational Ecosystems

Post on 26-Jan-2015

104 views

Category:

Documents

0 download

Embed Size (px)

DESCRIPTION

An introduction to our research interests.

TRANSCRIPT

<ul><li> 1. Engineering computational ecosystemsIng. Dott. Danilo Pianinidanilo.pianini@unibo.it Alma Mater StudiorumUniversit` di Bologna a Cesena aVieni via con noi - Cesena 2012Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 1 / 34</li></ul> <p> 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 Universitt Linz) aDanilo Pianini (UniBo / DISI) Computational ecosystemsNovember 6, 2012 6 / 34 7. Pervasive DevicesImage courtesy of Alois Ferscha (Pervasive Computing Group, Johannes Kepler Universitt Linz) aDanilo Pianini (UniBo / DISI) Computational ecosystemsNovember 6, 2012 7 / 34 8. Pervasive DevicesImage courtesy of Alois Ferscha (Pervasive Computing Group, Johannes Kepler Universitt Linz) aDanilo Pianini (UniBo / DISI) Computational ecosystemsNovember 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 Universitt Linz) aDanilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 10 / 34 11. Pervasive DisplaysImage courtesy of Alois Ferscha (Pervasive Computing Group, Johannes Kepler Universitt 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 Projecthttp://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 unied description for devices, data, services Is about interface, status, and behaviour of a component It provides semantic information, and it is dynamicEco-LawsThey resemble chemical reactions They take some reagent LSA, and provide some product LSA They can diuse an LSA in the neighborhood They can aggregate LSAs like in chemical bonding They form a small &amp; xed 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 Universitt Linz) aDanilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 22 / 34 23. Pervasive displays: local sharingImage courtesy of Alois Ferscha (Pervasive Computing Group, Johannes Kepler Universitt Linz) aDanilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 23 / 34 24. Pervasive displays: steeringImage courtesy of Alois Ferscha (Pervasive Computing Group, Johannes Kepler Universitt Linz) aDanilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 24 / 34 25. Pervasive displays: case studiesImage courtesy of Alois Ferscha (Pervasive Computing Group, Johannes Kepler Universitt Linz) aDanilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 25 / 34 26. Pervasive displays: crowd steeringImage courtesy of Alois Ferscha (Pervasive Computing Group, Johannes Kepler Universitt Linz) aDanilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 26 / 34 27. Computational ecosystems: functional guaranteesHouston, weve got a problem.Prediction dicultiesThousands-devices scale system Autonomous devices Interaction plays a huge roleFormal proofMathematical 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: AlchemistAlchemistKinetic 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 ecosystemsIng. Dott. Danilo Pianinidanilo.pianini@unibo.it Alma Mater StudiorumUniversit` di Bologna a Cesena aVieni via con noi - Cesena 2012Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 34 / 34 </p>

Recommended

View more >