Paper Info
Title
A Multi-Perspective Method for Analysis of Cooperative Behaviors Among Industrial Devices of Smart Factory.
Abstract
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.
Year
DOI
Venue
2017
10.1109/ACCESS.2017.2708127
IEEE ACCESS
Keywords
Field
DocType
Cooperative behaviors,macroscopic analysis,microscopic analysis,structure property verification,business property verification
Graphics,Unified Modeling Language,Industrial engineering,Computer science,Computer security,Correctness,Semiconductor device fabrication,Smart factory,Formal methods,Distributed computing
Journal
Volume
ISSN
Citations 
5
2169-3536
3
PageRank 
References 
Authors
0.37
10
5
Name
Order
Citations
PageRank
Gang Ren171.11
Qingsong Hua2111.56
Pan Deng31938.33
Chao Yang439939.13
Jianwei Zhang5116.58