Coventry University Featured PhD Programmes
Xi’an Jiaotong-Liverpool University Featured PhD Programmes
Cardiff University Featured PhD Programmes

Methods and tools for the verification of plug-and-produce robots in distributed manufacturing systems


Faculty of Engineering and Informatics

About the Project

The competitiveness of manufacturing companies in modern markets increasingly depends on cost-effective flexible automation technologies. Reconfigurable manufacturing systems can accommodate changes to introduce new product variants, adjust production capacity or recover from disruptions. Robots, inspection devices, material handling units and other pieces of equipment can be added to the production system, changed or removed. This level of flexibility requires extensive human intervention and, therefore, it is time-consuming and expensive.

Plug-and-produce systems introduced a significant degree of autonomy. New modules can be “plugged” into a distributed production system and be automatically integrated and configured. However, the verification of such systems is challenging due to their dynamic architecture and the high variability of possible hardware and software configurations. Furthermore, it is highly desirable to test accurately as much as possible offline, i.e. in a simulation environment, without operating the real robots.

Plug-and-produce systems enable collaboration even between heterogeneous components, which must trust each other in order to cooperate. Ensuring a reliable cooperation in these reconfigurable systems is the key to unlocking their full potential and enabling industries to develop business models confidently.

This project aims to develop novel methods and software tools for:

1. Automated generation of test cases for plug-and-produce robots in distributed manufacturing systems.
2. Offline simulation of plug-and-produce behaviour.
3. Analysis of the reliability of plug-and-produce robots in dynamic architectures.
It is anticipated that the automated generation of test cases will use model-based and search-based software testing techniques.

References

D. Scrimieri, N. Antzoulatos, E. Castro, and S. M. Ratchev, “Automated experience-based learning for plug and produce assembly systems,” International Journal of Production Research, vol. 55, no. 13, pp. 3674–3685, 2017.

R. Calinescu, D. Weyns, S. Gerasimou, M. U. Iftikhar, I. Habli, and T. Kelly, “Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases,” IEEE Trans. Softw. Eng., vol. 44, no. 11, pp. 1039–1069, Nov. 2018.

S. Kabir, I. Sorokos, K. Aslansefat, Y. Papadopoulos, Y. Gheraibia, J. Reich, M. Saimler, and R. Wei, “A Runtime Safety Analysis Concept for Open Adaptive Systems,” in Model-Based Safety and Assessment, Springer, Cham, 2019, pp. 332–346.

Email Now

Insert previous message below for editing? 
You haven’t included a message. Providing a specific message means universities will take your enquiry more seriously and helps them provide the information you need.
Why not add a message here

The information you submit to University of Bradford will only be used by them or their data partners to deal with your enquiry, according to their privacy notice. For more information on how we use and store your data, please read our privacy statement.

* required field

Your enquiry has been emailed successfully



Search Suggestions

Search Suggestions

Based on your current searches we recommend the following search filters.



FindAPhD. Copyright 2005-2020
All rights reserved.