About the Project
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.
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.
Why not add a message here
Based on your current searches we recommend the following search filters.
Based on your current search criteria we thought you might be interested in these.