University of York

Assured and Scalable Self-Adaptation for the Engineering of Trustworthy Autonomous Robotic Teams

Deadline: Open all year round
Self Funded

Project Description

Robotic teams and other distributed autonomous systems (DAS) are increasingly used in several application domains including logistics, manufacturing, and infrastructure inspection. Assuring the trustworthiness of DAS carrying out a safety-critical task collaboratively is very challenging due to uncertainties and risks associated with the operating environment, team member failures, etc. To overcome these challenges, the distributed-control software of DAS should exhibit high levels of scalability and optimality underpinned by assurance evidence that the DAS operates safely in continually changing and unexpected scenarios. Existing DAS approaches satisfy only a subset of these key characteristics of trustworthy DAS: Data-driven approaches using machine learning albeit scalable and capable to produce close-to-optimal solutions lack the guarantees needed in safety-critical tasks (Sykes et al 2011, Nallur et al 2013, Grassi et al 2013), while model-based approaches using formal verification (Hunter et al 2013) suffer from scalability issues when using large-scale and complex models.

The PhD project will contribute significantly to addressing this challenge by leveraging the capabilities from both data-driven (using machine learning) [5,6] and model-based (using formal methods) [7] paradigms to devise assured and scalable self-adaptation techniques that support the development of trustworthy distributed-control software for DAS. These techniques will be integrated with state-of-the-art DAS middleware [5] and their feasibility will be validated through a demonstrator both in simulation [8] and using mobile robots available in our lab.

Application Process

You can apply for a PhD through the University’s online system.

References

[1] Sykes, D., Magee, J., Kramer, J. (2011). Flashmob: Distributed adaptive self-assembly. 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, pages 100-109.
[2] Nallur, V., & Bahsoon, R. (2013). A decentralized self-adaptation mechanism for service-based applications in the cloud. IEEE Transactions on Software Engineering, 39(5), 591-612.
[3] Grassi, V., Marzolla, M., & Mirandola, R. (2013, May). QoS-aware fully decentralized service assembly. In Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (pp. 53-62). IEEE Press.
[4] Hunter, J., Raimondi, F., Rungta, N., & Stocker, R. (2013). A synergistic and extensible framework for multi-agent system verification. In Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems (pp. 869-876). International Foundation for Autonomous Agents and Multiagent Systems.
[5] Gerasimou, S., Calinescu, R., & Tamburrelli, G. (2018). Synthesis of probabilistic models for quality- of- service software engineering. Automated Software Engineering, pages 1 47.