面向对象图形化说明和无缝设计程序的制造单元控制软件开发

Proceedings 2000 ICRA. Millennium Conference. IEEE International Conference on Robotics and Automation. Symposia Proceedings (Cat. No.00CH37065) Pub Date : 2000-04-24 DOI:10.1109/ROBOT.2000.844089

S. Kanai, T. Kishinami, Toyoaki Tomura

{"title":"面向对象图形化说明和无缝设计程序的制造单元控制软件开发","authors":"S. Kanai, T. Kishinami, Toyoaki Tomura","doi":"10.1109/ROBOT.2000.844089","DOIUrl":null,"url":null,"abstract":"A seamless design methodology for developing manufacturing cell control software is proposed. The methodology is based both on the graphical specification and on the systematic design procedure of its conversion to the control code. The graphical specification describes the component configuration of the cell and the activity sequence on which the devices should act. An object diagram and an activity-control-condition diagram are introduced for this purpose. The systematic design procedure specifies a clearly-defined conversion from the initial graphical specification to the cell control software code. The conversion consists of three processes: refinement, translation and information. A diagram editor has also been developed to help the programmer carry out this design procedure. Finally, the functionality of the control software generated by using the proposed methodology is validated through co-simulation with a Petri net simulator.","PeriodicalId":286422,"journal":{"name":"Proceedings 2000 ICRA. Millennium Conference. IEEE International Conference on Robotics and Automation. Symposia Proceedings (Cat. No.00CH37065)","volume":"55 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2000-04-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"6","resultStr":"{\"title\":\"Object-oriented graphical specification and seamless design procedure for manufacturing cell control software development\",\"authors\":\"S. Kanai, T. Kishinami, Toyoaki Tomura\",\"doi\":\"10.1109/ROBOT.2000.844089\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"A seamless design methodology for developing manufacturing cell control software is proposed. The methodology is based both on the graphical specification and on the systematic design procedure of its conversion to the control code. The graphical specification describes the component configuration of the cell and the activity sequence on which the devices should act. An object diagram and an activity-control-condition diagram are introduced for this purpose. The systematic design procedure specifies a clearly-defined conversion from the initial graphical specification to the cell control software code. The conversion consists of three processes: refinement, translation and information. A diagram editor has also been developed to help the programmer carry out this design procedure. Finally, the functionality of the control software generated by using the proposed methodology is validated through co-simulation with a Petri net simulator.\",\"PeriodicalId\":286422,\"journal\":{\"name\":\"Proceedings 2000 ICRA. Millennium Conference. IEEE International Conference on Robotics and Automation. Symposia Proceedings (Cat. No.00CH37065)\",\"volume\":\"55 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2000-04-24\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"6\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings 2000 ICRA. Millennium Conference. IEEE International Conference on Robotics and Automation. Symposia Proceedings (Cat. No.00CH37065)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ROBOT.2000.844089\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings 2000 ICRA. Millennium Conference. IEEE International Conference on Robotics and Automation. Symposia Proceedings (Cat. No.00CH37065)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ROBOT.2000.844089","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 6

摘要

提出了一种用于制造单元控制软件开发的无缝设计方法。该方法既基于图形规范，又基于将其转换为控制代码的系统设计过程。图形规范描述了单元的组件配置和设备应起作用的活动顺序。为此引入了对象图和活动-控制-条件图。系统设计过程明确规定了从初始图形规范到细胞控制软件代码的转换。翻译过程包括提炼、翻译和信息三个过程。还开发了一个图表编辑器来帮助程序员执行这个设计过程。最后，通过与Petri网模拟器的联合仿真验证了使用所提出方法生成的控制软件的功能。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Object-oriented graphical specification and seamless design procedure for manufacturing cell control software development

A seamless design methodology for developing manufacturing cell control software is proposed. The methodology is based both on the graphical specification and on the systematic design procedure of its conversion to the control code. The graphical specification describes the component configuration of the cell and the activity sequence on which the devices should act. An object diagram and an activity-control-condition diagram are introduced for this purpose. The systematic design procedure specifies a clearly-defined conversion from the initial graphical specification to the cell control software code. The conversion consists of three processes: refinement, translation and information. A diagram editor has also been developed to help the programmer carry out this design procedure. Finally, the functionality of the control software generated by using the proposed methodology is validated through co-simulation with a Petri net simulator.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Proceedings 2000 ICRA. Millennium Conference. IEEE International Conference on Robotics and Automation. Symposia Proceedings (Cat. No.00CH37065)

自引率

0.00%

发文量