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

用于开发工厂自动化大规模分布式控制软件的无缝环境

• 批准号: 12555031
• 负责人: KANAI Satoshi
• 金额: $ 3.46万
• 依托单位: HOKKAIDO UNIVERSITY
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (B)
• 财政年份: 2000
• 资助国家: 日本
• 起止时间: 2000 至 2001
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-12555031/
• 关键词: FACTORY AUTOMATION; NETWORK; DISTRIBUTED CONTROL SYSYTEM; OBJECT ORIENTATION; Statecharts; SIMULATION; DESIGN PATTERN; SOFTWARE TESTING; 自動化; UML

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.

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

项目成果

魚住 一: "超分散システム制御ネットワークシミュレータ用モデル検証のための適合性試験法"2000 精密工学会秋季大会学術講演会講演論文集. 500 (2000)

Hajime Uozumi：“超分布式系统控制网络模拟器模型验证的适用性测试方法”2000年日本精密工程学会秋季会议学术会议论文集500（2000）。

Toyoaki Tomura: "Developing Simulation Models of Open Distributed Control System using Object-Oriented Structual and Behavioral Patterns"Proceedings of the 4th IEEE International Symposium on Object-oriented Rea-time Distributed Computing (ISORC'2001). (未

Toyoaki Tomura：“使用面向对象的结构和行为模式开发开放式分布式控制系统的仿真模型”第四届 IEEE 面向对象实时分布式计算国际研讨会 (ISORC2001) 的会议记录。

戸村 豊明: "デザインパターンによるDCSシミュレーションと実装の統合化-イベント連鎖からのDCSネットワーク構成情報の抽出・実装-"情報処理学会 第63回大会 講演論文集. Vol.3(CD-ROM). 459-460 (2001)

Toyoaki Tomura：“使用设计模式集成 DCS 模拟和实现 - 从事件链中提取和实现 DCS 网络配置信息 -”日本信息处理学会第 63 届年会论文集第 3 卷（CD-ROM）。 2001）

Hajime UOZUMI et al.: "Conformance Testing for verifying simulation models for massively distributed control system simulator"Proceedings of JSPE Autumn Annual Conferences. 500 (2000)

Hajime UOZUMI 等人：“用于验证大规模分布式控制系统模拟器仿真模型的一致性测试”JSPE 秋季年会论文集。

Hajime UOZUMI et al.: "Test case generation from UML Statecharts specification covered on guard conditions and its application to the verification of control program"Proceedings of IPSJ 62 Annual Conferences. 3Z-6 (CD-ROM). (2001)

Hajime UOZUMI 等人：“从 UML Statecharts 规范生成测试用例，涵盖保护条件及其在控制程序验证中的应用”IPSJ 62 年会记录。