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.
Zurück zur WebSite