Excellence in Research: DC-RES and Carlo Ghezzi
We invite you to a guest talk by Carlo Ghezzi and to learn more about our Doctoral College on Resilient Embedded Systems.
TU Wien, Campus Getreidemarkt
1060 Vienna, Getreidemarkt 9
Bauteil BA (Hoftrakt), 11. Stock
The Vienna PhD School of Informatics provides our PhD students with an environment that encourages them to contribute to the advancement of technology through independent creative research. Our program enables them to become independent researchers who are capable of generating, pursuing and communicating novel research ideas. An excellent scientific basis is the essential prerequisite to excel in research.
With this event, we invite you to learn more about our Doctoral College Resilient Embedded Systems, its scope, our students, and the upcoming 2019 Call for Application. We are especially honored to be welcoming Carlo Ghezzi, newly appointed Dr. techn. h.c., who will give a talk on cyber-physical systems.
17:15 — Welcome Address
17:25 — Presentation of the DC Resilient Embedded Systems
17:45 — Talk “Software Engineering for Cyber-Physical Spaces”
This talk will show an avenue for research which can be characterized as rethinking spatial environments from a software engineering perspective — in both design and operation aspects. Regarding design, it shows how domain descriptions can give rise to models amenable to automated analyses of dynamic behaviors in spaces populated by humans, robots, and mobile devices. Verification amounts to assessing if some collective behaviors violate certain requirements the overall system should exhibit. In particular, the talk will discuss how verification can scale to realistic space models. Regarding runtime, it will consider supporting analyses on the cloud on behalf of resource-constrained and spatially-distributed IoT devices. It will hint at how spatial verification processes can be integrated in the service layer of an IoT-cloud architecture based on microservices, and what tradeoffs emerge across different deployment options.