„… platform and Cloud controller that can perform motion planning and control for industrial robots [Kr16]. A …” „… in the same order. By introducing an error detection code, it can check whether the data is corrupted …” „… multi‐purposes formally. In these circumstances, long tests are performed to increase the detection of problems …”