A Seamless Environment for developing Massively Distributed Control Software of Factory Automation

本研究的目的是利用一种方法和工具来建模、仿真和实现基于面向对象的大规模分布式工厂自动化系统控制软件。得到了以下结果：1)评估所提出的仿真和建模工具的利用率。提出了一种系统的方法，通过使用设计模式将Statecharts和事件链模型描述的仿真模型实现为Java代码。并通过应用CASE工具和Java开发工具实现了该方法。并将其应用于某实际空气控制系统的集散控制系统的设计与验证。因此，设计和验证可以在两周内完成，并确认可以大大缩短设计周期。2)集散控制系统仿真与实现的集成。基于设计模式，开发了由Java代码描述的仿真模型到Neuron-C语言描述的实现代码的转换方法。可应用于工厂自动化物料搬运单元控制软件的开发。实验结果验证了该方法的有效性。3)基于定时I/O Statecharts的控制节点实现代码验证的软件测试方法和工具。使用Java代码开发了测试方法和测试工具，其中黑盒测试可以自动应用于由定时I/O Statechart生成的仿真模型的实现代码。将它们应用于空调系统控制代码的测试，并证实使用所提出的方法和工具可以将测试周期缩短到一天。

The purpose of this research is to utilize a methodology and a tool for modeling, simulating and implementing the massively distributed control software for factory automation system based on object-orientation. The following results were obtained.1) Evaluation of utilization for proposed tool for simulation and modeling.A systematic methodology was proposed for implementing the simulation models described by Statecharts and event chain model as Java code by using design patterns. And the methodology was implemented by applying a CASE tool and a Java development tool. It was applied to designing and verifying the distributed control system for a practical air-control system. As a result, the design and verification could be completed in two weeks, and it was confirmed the design period could be greatly reduced.2) Integration of simulation with implementation for distributed control system.A transformation method from the simulation models described by Java code to the implementation code described by Neuron-C was developed based on the design patterns. It can be applied to developing the control software for material handling unit of factory automation. As a result, the effectiveness of the proposed method was confirmed.3) Software testing method and tool for verifying implemented code of control nodes based on timed I/O Statecharts.A testing method and a tester tool were developed by Java code where the black box testing can be automatically applied for the implemented code of simulation models generated from timed I/O Statechart. They were applied to testing the control code for air conditioning system, and it was confirmed that a testing period could be reduced to only one day by using the proposed method and tool.