LAUSR

With the rapid development of smart factory of Industry 4.0, all kinds of industrial devices are adopted in smart factory. As a result, the complexity of cooperative behaviors among industrial devices increases rapidly. It becomes more and more difficult for practicing engineers to ensure temporal correctness of cooperative behaviors. At the same time, smart factory has made its way into the domain of safety-critical systems, where there is a higher requirement for temporal correctness of cooperative behaviors. Therefore, it faces great challenges for practicing engineers to ensure temporal correctness of cooperative behaviors. Nowadays, some methods have been proposed for analysis of cooperative behaviors. They can use graphic methods and formal methods to create the graphic model and formal model to analyze and ensure the temporal correctness. However, these methods lack the capability of multi-perspective analysis that is exactly necessary for those systems that have a higher requirement for temporal correctness. To address this issue, in this paper, we propose a multi-perspective method that can analyze cooperative behaviors from the macroscopic perspective and the microscopic perspective. Comparing to existing methods, it can provide a more thorough analysis for cooperative behaviors. The usage of our method is illustrated by a semiconductor manufacturing scenario.