Hits:

Indexed by:会议论文

Date of Publication:2018-01-01

Included Journals:CPCI-S

Volume:126

Page Number:1926-1935

Key Words:timed automata; workspace model; internet of things

Abstract: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.