文献详情
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
百度学术A Multi-Perspective Method for Analysis of Cooperative Behaviors Among Industrial Devices of Smart Factory
语言外文
人气指数104
浏览次数104
基金National Science Foundation of China [61100066]
全部评论(0 条评论)
作者其他论文

Incremental Configuration Update Model and Application in Sponsored Search Advertising.

Yuan, Wei, Deng, Pan, Yan, Biying, et al. .International Conference on Industrial IoT Technologies and Applications (Industrial IoT). Guangzhou, PEOPLES R CHINA, 173.

A Large-scale Device Collaboration Resource Selection Method with Multi-QoS Constraint Supported.

Rong, Xiaohui;Deng, Pan;Chen, Feng.International Conference on Smart Materials and Intelligent Systems.2011,143-144,894-898.

A Meta Communication Protocol in Support Lighting Device Unified Access of Olympic Center.

Deng, Pan;Chen, Feng;Rong, Xiaohui,等.International Conference on Information Technology and Computer Science.2009,48-52.

Flutter boundary prediction for a flying-wing model exhibiting body freedom flutter.

Huang, Chao;Wu, Zhigang;Yang, Chao,等.58th AIAA/ASCE/AHS/ASC Structures, Structural Dynamics, and Materials Conference, 2017.2017,1-11.

Locomotion realization of an autonomous climbing robot for elliptic half-shell cleaning.

Zhang, Houxiang;Wang, Wei;Liu, Rong,等.2007 2nd IEEE Conference on Industrial Electronics and Applications, ICIEA 2007.2007,1220-1225.

登录