Factory Automation Control System Designing Method Aiming High reliability and High Productivity of Software

点击翻译按钮获取中文摘要

We proposed a new Petri Nets description method for factory automation system software development. As factory automation systems are becoming larger and more complex, sometimes we encounter difficulties ; for instance, inadequate expression methods, and not yet established analyzing techniques for control mechanism. Factory automation control software is a kind of complicated event-driven system. For the flexibility and expandability of the event-driven system software, programming paradigms modeled by network, such as Petri Net, are useful. Petri Net excels in expression and analysis of dynamic system behavior. As shown in the previous researches, the description capability of Petri Net is high ; nevertheless, in the case of factory automation systems, sometimes the network model becomes complicated lacking comprehension. The proposed model is a new approach to solve the above problem.We can break down the complicated system specifications by analyzing them from several different standpoints. That is to say, the control logic and hardware configurations are defined from each respective standpoint, and then the total system is reconstructed by integrating the planes. We named this approach "the structured and hierarchical network (SH-net)" model. In this paper, we propose the conversion algorithm from the specified data to a Petri Net. Using the deployed Petri Net, we can verify the control specification and we can produce key programs for the factory automation system. The validity of the method was confirmed through an experimental application example.