• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

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

Research Project

Project/Area Number 12555031
Research Category

Grant-in-Aid for Scientific Research (B)

Allocation TypeSingle-year Grants
Section展開研究
Research Field 機械工作・生産工学
Research InstitutionHOKKAIDO UNIVERSITY

Principal Investigator

KANAI Satoshi  Hokkaido Univ., Grad. School of Eng., Asso. Prof., 大学院・工学研究科, 助教授 (90194878)

Co-Investigator(Kenkyū-buntansha) YAMAMOTO Susumu  Motrola Japan Ltd., Operation Manager., オペレーションツール開発, 技術担当部長(研究職)
TOMURA Toyoaki  Asahikawa Nat. College of Tech., Inst., 助手 (50300512)
KISHINAMI Takeshi  Hokkaido Univ., Grad. School of Eng., Prof., 大学院・工学研究科, 助教授 (30001796)
Project Period (FY) 2000 – 2001
Project Status Completed (Fiscal Year 2001)
Budget Amount *help
¥5,400,000 (Direct Cost: ¥5,400,000)
Fiscal Year 2001: ¥800,000 (Direct Cost: ¥800,000)
Fiscal Year 2000: ¥4,600,000 (Direct Cost: ¥4,600,000)
KeywordsFACTORY AUTOMATION / NETWORK / DISTRIBUTED CONTROL SYSYTEM / OBJECT ORIENTATION / Statecharts / SIMULATION / DESIGN PATTERN / SOFTWARE TESTING / 自動化 / UML
Research Abstract

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.

Report

(3 results)
  • 2001 Annual Research Report   Final Research Report Summary
  • 2000 Annual Research Report
  • Research Products

    (60 results)

All Other

All Publications (60 results)

  • [Publications] Toyoaki Tomura: "Seamless design methodology of manufacturing cell-control software based on activity-control-condition and object diagram"International Journal of Computer Integrated Manufacturing. Vol.13 No.3. 263-272 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Toyoaki Tomura: "Systematic Development Methodology for Manufacturing Station Simulation Model based on Object-Oriented Differential Modeling"Proceedings of the 2000 Japan-USA Symposium on Flexible Automation. Vol.1. 17-24 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 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 Real-time Distributed Computing. 428-437 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Toyoaki Tomura: "Object-Oriented Design Pattern Approach for Modeling and Simulating Open Distributed Control System"Proceedings of the 2001 IEEE International Conference on Robotics and Automation. 211-216 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 山元 進: "超分散システム制御ネットワークシミュレータを用いたビルオートメーション用制御ネットワークのモデリングと性能評価"2000 精密工学会秋季大会学術講演会講演論文集. 501 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 魚住 一: "超分散システム制御ネットワークシミュレータ用モデル検証のための適合性試験法"2000 精密工学会秋季大会学術講演会講演論文集. 500 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 戸村 豊明: "オブジェクト指向デザインパターンを活用した超分散システム制御ネットワークシミュレータ用デバイスモデルの迅速構築"2000 精密工学会秋季大会学術講演会講演論文集. 499 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 上広 清: "制御ネットワークシミュレータ開発におけるUMLベースの統合開発方法論の有効性-ビルオートメーション用制御ネットワークのモデリングと性能評価-"情報処理学会 第62回大会 講演論文集. (CD-ROM). 3Z-5 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 魚住 一: "Guard条件を網羅したUML Statechart仕様からのテストケース生成法と制御プログラム検証への応用"情報処理学会 第62回大会 講演論文集. (CD-ROM). 3Z-6 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 戸村 豊明: "UMLとデザインパターンによる分散制御シミュレーションモデルの設計と実装"情報処理学会 第62回大会 講演論文集. (CD-ROM). 3Z-8 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 魚住 一: "UML Statechart用テストケース生成手法を用いた分散制御シミュレーション用モデル検証"2001 精密工学会春季大会 学術講演会講演論文集. 65 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 戸村 豊明: "UMLパターンを活用したFA/BA用分散制御シミュレータの開発 -制御デバイスの状態遷移とイベント連鎖実装のためのパターン-"2001 精密工学会春季大会 学術講演会講演論文集. 66 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 山元 進: "知的分散制御システムの実現:ロンワークステクノロジを基盤として"2001 精密工学会春季大会 学術講演会講演論文集. 69 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 戸村 豊明: "デザインパターンによるDCSシミュレーションと実装の統合化-DCSネットワーク構成情報の効率的実装法-"2001 精密工学会 北海道支部 学術講演会講演論文集. 83-84 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 戸村 豊明: "デザインパターンによるDCSシミュレーションと実装の統合化-イベント連鎖からのDCSネットワーク構成情報の抽出・実装-"情報処理学会 第63回大会 講演論文集. Vol.3(CD-ROM). 459-460 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 戸村 豊明: "デザインパターンに基づくDCS制御ノード用ソフトウエアの迅速開発"2001 精密工学会秋季大会 学術講演会講演論文集. 81 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 金井 理: "UML/StateChart仕様に基づくFA制御ソフトウエアのためのテスト自動化システム"日本機械学会 生産システム部門講演会 講演論文集. 39-40 (2002)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 戸村 豊明: "UMLとデザインパターンを利用したFA用分散制御システムのシミュレーションと実装の統合化-状態遷移仕様とイベント連鎖からの分散制御ソフトウェアの自動生成-"情報処理学会 第64回大会 講演論文集. 1巻(CD-ROM). 123-124 (2002)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 戸村 豊明: "UMLとデザインパターンを利用したFA用分散制御ソフトウェアの迅速開発"2002 精密工学会春季大会 学術講演会講演論文集. 54 (2002)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Toyoaki TOMURA et al.: "Seamless design methodology of manufacturing cell-control software based on activity-control-condition and object diagram"International Journal of Computer Integrated Manufacturing. Vol.13 No.3. 263-272 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Toyoaki TOMURA et al.: "Systematic Development Methodology for Manufacturing Station Simulation Model based on Object-Oriented Differential Modeling"Proceedings of the 2000 Japan-USA Symposium on Flexible Automation. Vol.1. 17-24 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Toyoaki TOMURA et al.: "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 Real-time Distributed computing. 428-437 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Toyoaki TOMURA et al.: "Object-Oriented Design Pattern Approach for Modeling and Simulating Open Distributed Control System"Proceedings of the 2001 IEEE International Conference on Robotics and Automation. 211-216 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Susumu YAMAMOTO et al.: "Modeling and Evaluation of the control networks for building automation by using massively distributed control system simulator"Proceedings of JSPE Autumn Annual Conferences. 501 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Hajime UOZUMI et al.: "Conformance Testing for verifying simulation models for massively distributed control system simulator"Proceedings of JSPE Autumn Annual Conferences. 500 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Toyoaki TOMURA et al.: "Rapid Development of the device models for massively distributed control system simulator by utilizing Object-Oriented Design Patterns"Proceedings of JSPE Autumn Annual Conferences. 499 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Kiyoshi UEHIRO et al.: "Effectiveness of UML-based integrated methodology for developing networked control simulator -Modeling and performance evaluation for control network for building automation-"Proceedings of IPSJ 62 Annual Conferences. 3Z-5 (CD-ROM). (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 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)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Toyoaki TOMURA et al.: "Design and implementation of distributed control simulation models based on UML and design patterns"Proceedings of IPSJ 62 Annual Conferences. 3Z-8 (CD-ROM). (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Hajime UOZUMI et al.: "Verification of the simulation models of distributed control by using test case generation method for UML Statecharts"Proceedings of JSPE Spring Annual Conferences. 65 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Toyoaki TOMURA et al.: "Development of the simulator for distributed control of FA/BA by utilizing UML design patterns. - Patterns for implementing state transitions of control device and event chains. -"Proceedings of JSPE Spring Annual Conferences. 66 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Susumu YAMAMOTO et al.: "Realization of intelligent distributed control system based on LonWorks technology"Proceedings of JSPE Spring Annual Conferences. 69 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Toyoaki TOMURA et al.: "Integration of DCS simulation with implementation by using design patterns. -Effective implementation for DCS network configuration-"Proceedings of JSPE Hokkaido Branch Annual Conferences. 83-84 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Toyoaki TOMURA et al.: "Integration of DCS simulation with implementation by using design patterns. -Extraction and implementation of DCS network configuration from event chains -"Proceedings of IPSJ 63 Annual Conferences. Vol.3 (CD-ROM). 459-460 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Toyoaki TOMURA et al.: "Rapid Development of the software for DCS control nodes based on design patterns"Proceedings of JSPE Autumn Annual Coferences. 81 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Satoshi KANAI et al.: "UML/Statechars based automated testing on software for factory automation"Proceedings of JSME Manufacturing Systems Division Conferences.. 39-40 (2002)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Toyoaki TOMURA et al.: "Integration of simulation with implementation of distributed control system for factory automation by using UML and design patterns. -Automatic code generation for DCS from state transition and event chains -"Proceedings of IPSJ 64 Annual Conferences. Vol.1 (CD-ROM). 123-124 (2002)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Toyoaki TOMURA et al.: "Rapid Development of distributed control software of FA by utilizing UML and design patterns"Proceedings of JSPE Spring Annual Conferences. 54 (2002)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Toyoaki Tomura: "Systematic Development Methodology for Manufacturing Station Simulation Model based on Object-Oriented Differential Modeling"Proceedings of the 2000 Japan-USA Symposium on Flexible Automation. Vol.1. 17-24 (2000)

    • Related Report
      2001 Annual Research Report
  • [Publications] 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. 428-437 (2001)

    • Related Report
      2001 Annual Research Report
  • [Publications] Toyoaki Tomura: "Object-Oriented Design Pattern Approach for Modeling and Simulating Open Distributed Control System"Proceedings of the 2001 IEEE International Conference on Robotics and Automation. 211-216 (2001)

    • Related Report
      2001 Annual Research Report
  • [Publications] 上広 清: "制御ネットワークシミュレータ開発におけるUMLベースの統合開発方法論の有効性-ビルオートメーション用制御ネットワークのモデリングと性能評価-"情報処理学会 第62回大会 講演論文集(CD-ROM). 3Z-5 (2001)

    • Related Report
      2001 Annual Research Report
  • [Publications] 魚住 一: "Guard条件を網羅したUML Statechart仕様からのテストケース生成法と制御プログラム検証への応用"情報処理学会 第62回大会 講演論文集(CD-ROM). 3Z-6 (2001)

    • Related Report
      2001 Annual Research Report
  • [Publications] 戸村豊明: "UMLとデザインパターンによる分散制御シミュレーションモデルの設計と実装"情報処理学会 第62回大会 講演論文集(CD-ROM). 3Z-8 (2001)

    • Related Report
      2001 Annual Research Report
  • [Publications] 魚住 一: "UML Statechart用テストケース生成手法を用いた分散制御シミュレーション用モデル検証"2001 精密工学会春季大会 学術講演会講演論文集. 65 (2001)

    • Related Report
      2001 Annual Research Report
  • [Publications] 戸村豊明: "UMLパターンを活用したFA/BA用分散制御シミュレータの開発 -制御デバイスの状態遷移とイベント連鎖実装のためのパターン-"2001 精密工学会春季大会 学術講演会講演論文集. 66 (2001)

    • Related Report
      2001 Annual Research Report
  • [Publications] 山元 進: "知的分散制御システムの実現:ロンワークステクノロジを基盤として"2001 精密工学会春季大会 学術講演会講演論文集. 69 (2001)

    • Related Report
      2001 Annual Research Report
  • [Publications] 戸村豊明: "デザインパターンによるDCSシミュレーションと実装の統合化 -DCSネットワーク構成情報の効率的実装法-"2001 精密工学会 北海道支部 学術講演会講演論文集. 83-84 (2001)

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

    • Related Report
      2001 Annual Research Report
  • [Publications] 戸村 豊明: "デザインパターンに基づくDCS制御ノード用ソフトウエアの迅速開発"2001 精密工学会秋季大会 学術講演会講演論文集. 81 (2001)

    • Related Report
      2001 Annual Research Report
  • [Publications] 金井 理: "UML/StateChart仕様に基づくFA制御ソフトウエアのためのテスト自動化システム"日本機械学会 生産システム部門講演会 講演論文集. (掲載予定)(未定). (2002)

    • Related Report
      2001 Annual Research Report
  • [Publications] 戸村 豊明: "UMLとデザインパターンを利用したFA用分散制御システムのシミュレーションと実装の統合化 -状態遷移仕様とイベント連鎖からの分散制御ソフトウェアの自動生成-"情報処理学会 第64回大会 講演論文集(CD-ROM). (掲載予定)(未定). (2002)

    • Related Report
      2001 Annual Research Report
  • [Publications] 戸村 豊明: "UMLとデザインパターンを利用したFA用分散制御ソフトウェアの迅速開発"2002 精密工学会春季大会 学術講演会講演論文集. (掲載予定)(未定). (2002)

    • Related Report
      2001 Annual Research Report
  • [Publications] Toyoaki Tomura: "Systematic Development Methodology for Manufacturing Station Simulation Model based on Object-Oriented Differential Modeling"Proc.of 2000 Japan-USA Flexible Automation Conference (CD-ROM). (2000JUSFA-13048). (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] 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). (未定). (2001)

    • Related Report
      2000 Annual Research Report
  • [Publications] Toyoaki Tomura: "Object-Oriented Design Pattern Approach for Modeling and Simulating Open Distributed Control System"Proceedings of 2001 IEEE International Conference on Robotics and Automation. (未定). (2001)

    • Related Report
      2000 Annual Research Report
  • [Publications] Toyoaki Tomura: "Seamless design methodology of manufacturing cell-control software based on activity-control-condition and object diagram"International Journal of Computer Integrated Manufacturing. Vol.13 No.3. 263-272 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] 山元進: "超分散システム制御ネットワークシミュレータを用いたビルオートメーション用制御ネットワークのモデリングと性能評価"2000精密工学会秋季大会学術講演会講演論文集. 501 (2000)

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

    • Related Report
      2000 Annual Research Report
  • [Publications] 戸村豊明: "オブジェクト指向デザインパターンを活用した超分散システム制御ネットワークシミュレータ用デバイスモデルの迅速構築"2000精密工学会秋季大会学術講演会講演論文集. 499 (2000)

    • Related Report
      2000 Annual Research Report

URL: 

Published: 2000-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi