Imperial College London Featured PhD Programmes
Gdansk University of Technology Featured PhD Programmes
Solent University Featured PhD Programmes

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


   Department of Computer Science


About the Project

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.

Project enquiries 

 Dr Simos Gerasimou 

  

  

 Dr Javier Camara Moreno 

  


References

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.

How good is research at University of York in Computer Science and Informatics?


Research output data provided by the Research Excellence Framework (REF)

Click here to see the results for all UK universities

Email Now


PhD saved successfully
View saved PhDs