文献详情
A Multi-Perspective Method for Analysis of Cooperative Behaviors Among Industrial Devices of Smart Factory
文献类型期刊
作者Ren, Gang[1];Hua, Qingsong[2];Deng, Pan[3];Yang, Chao[4];Zhang, Jianwei[5]
机构
通讯作者Deng, P (reprint author), Chinese Acad Sci, Inst Software, Beijing 100190, Peoples R China.; Deng, P (reprint author), Univ Chinese Acad Sci, Beijing 100190, Peoples R China.
来源信息年:2017  卷:5  页码范围:10882-10891  
期刊信息IEEE ACCESS影响因子和分区  ISSN:2169-3536
关键词Cooperative behaviors; macroscopic analysis; microscopic analysis; structure property verification; business property verification
摘要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.
收录情况SCIE(WOS:000404486900002)  
所属部门经济管理学院
DOI10.1109/ACCESS.2017.2708127
学科计算机:信息系统;工程:电子与电气;电信学
人气指数64
浏览次数64
基金National Science Foundation of China [61100066]
全部评论(0 条评论)
作者其他论文

Determination of the Dynamic Characteristics of a Multi-Point Excitation System Using Electrodynamic Shakers and Control of their Exciting Force.

Ma, Chengji;Wu, Zhigang;Yang, Chao.JOURNAL OF VIBRATION ENGINEERING & TECHNOLOGIES.2016,4(2),161-173.

A large-scale device collaboration performance evaluation approach based-on dynamics.

Rong, Xiaohui;Chen, Feng;Deng, Pan,等.Journal of Computers.2010,5(8),1177-1184.

Transaction in large-scale device collaborative system.

Chen, Feng;Rong, Xiaohui;Deng, Pan,等.Journal of Computers.2010,5(8),1204-1212.

登录