点击次数：

论文类型：会议论文

发表时间：2018-01-01

收录刊物：CPCI-S

卷号：126

页面范围：1926-1935

关键字：timed automata; workspace model; internet of things

摘要：The increasing demands of quality and productivity, together with the Internet of Things (IoT) technology, promote the development of intelligent manufacturing where supervisory system plays an increasing role. Verification of supervisory rules to ensure the system is error-free becomes essential. A timed automata (TA) formalism is one of the most widespread approach appropriate for the system modeling and verification. This paper proposes an approach for modeling and verification supervisory rules in production process. The behavior models of entities are translated into timed automata models. The timed automata models of all entities in workspace construct a synchronized network, which can simulate the occurrences in production process. In addition, the paper presents a method of building checking automata Comparison of the result from supervisory system with the result from checking automata can test the supervisory rules, and analysis of the simulation process can discover the reasons of existing problems. Experiment result shows that the approach is effective in the motivating scenario by finding the potential deficiency in supervisory rules. 2018 The Authors. Published by Elsevier Ltd.