期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

FMS可视化建模、仿真和验证的集成设计方法 被引量：1

Integrated Design Method:Modeling Simulating and Verifying for FMS
下载PDF
导出
摘要 本文提出了一种运用面向对象的建模语言“统一建模语言(UML)”和SPIN(PROMELA模型)来对柔性制造系统进行建模和验证的方法。运用UML中的类图来表示FMS中对象之间的静态关系,运用状态图来描述系统的动态行为。然后将UML的模型自动转化为PORMELA模型,运用模型检查工具SPIN来对此模型进行检查,以验证模型的正确性。此方法可以描述和检查系统的性质,从建模,仿真一直到模型检查,提供对FMS的全面系统的设计,并可被用来设计可靠的FMS控制软件。 A modeling and verifying method using object-oriented modeling language 揢nified Modeling Language (UML)?and SPIN (PROMELA model) is presented in this paper. Class diagram in UML is used to represent the static relations among the objects in FMS, and state diagram is used to describe the dynamic behaviour of the system. Then the UML model is translated into PROMELA model automatically, and property checking is followed with SPIN which is a model checking tools. The method can describe and check the properties of the system (from modeling, simulation, to model checking), and can be used to design reliable FMS control software naturally.
作者 徐刚 吴智铭
机构地区 上海交通大学
出处 《系统仿真学报》 CAS CSCD 2004年第5期902-906,共5页 Journal of System Simulation
基金 国家自然科学基金资助(60074011 70071017)
关键词 柔性制造系统 统一建模语言 模型检查 SPIN Flexible Manufacturing System (FMS) Unified Modeling Language (UML) model checking SPIN
分类号 TP278 [自动化与计算机技术—检测技术与自动化装置] TH165 [机械工程—机械制造及自动化]
  • 相关文献

参考文献11

  • 1Chen K, Lu S. A Petri-net and entity-relationship diagram based object-oriented design method for manufacturing system control[J]. International Journal of Computer Integrated Manufacturing, 1997, 10(1-4): 17-28.
  • 2Havelund K; Lowry M; Penix J. Formal analysis of a space-craft controller using SPIN[J]. Software Engineering, IEEE Transactions , 2001, 27(8): 749-765.
  • 3Hoare C A R. Communicating Sequential Processes[M]. Prentice-Hall, 1985.
  • 4Holzmann G J. The model checker SPIN [J]. IEEE Transactions on Software Engineering, 1997, 23(5): 279 -295.
  • 5J.M. van de Mortel-Fronczak, J.E. Rooda, and N.J.M. van den Nieuwelaar. Specification of a Flexible Manufacturing System Using Concurrent Programming [J]. The International Journal of Concurrent Engineering: Research & Applications, 1995, 3(3): 187-19
  • 6J.M. van de Mortel-Fronczak, J.E. Rooda, and L.A.J. de Greeff. Real-time Concurrent Programming as a Structured Approach to Modelling of Manufacturing Systems[C]. R.D. Schraft et al (eds.), Proceedings of FAIM'95, Stuttgart, Germany, June 1995, 247-258.
  • 7Li-Chin Wang. An integrated Object-oriented Petri net paradigm for manufacturing control systems[J]. International Journal of Computer Integrated Manufacturing, 1996, 9(1): 73-87.
  • 8V. Bos and J.J.T. Kleijn. Formal specification and analysis of industrial systems [D]. PhD thesis, Eindhoven University of Technology, The Netherlands, March 7, 2002.
  • 9V. Bos and J.J.T. Kleijn. Automatic verification of a manufacturing system [J]. Robotics and Computer Integrated Manufacturing, 2001, 17(3): 185-198.
  • 10Keyes D S, Dillon L K, Moon Jung Chung. Analysis of a scheduler for a CAD framework[C]. American, Proceedings of the 1999 International Conference on Software Engineering,U.S.A. 152-161.

同被引文献12

  • 1陈华平,谷峰,卢冰原,古春生.自适应多目标遗传算法在柔性工作车间调度中的应用[J].系统仿真学报,2006,18(8):2271-2274. 被引量：25
  • 2张传富,查亚兵,刘云生,张童,黄柯棣.仿真网格中预防死锁的资源分配方法及其仿真分析[J].系统仿真学报,2006,18(9):2588-2592. 被引量：4
  • 3EWA DUDEK-DYDUCH. Learning-based algorithms in scheduling [J]. Journal of Intelligent Manufacturing (S0956-5515), 2000, 11: 135-143.
  • 4Rahul Patil, Stephen Lawrence. Setting Due Dates and Scheduling Jobs to Maximize Customer Satisfaction and Profits [R]. USA: University of Colorado, 2003.
  • 5Ahmed S Ghoniem. Static and dynamic job-shop scheduling using rolling-horizon approaches and the shifting Bottleneck Procedure [D].Nantes France, 2002.
  • 6P G J Lisboa. Neural Networks Current Applications [M]. Beijing: Publishing House of Electronics Industry, 1996: 22-27.
  • 7Peter B Lah, Dong Chert, Lakshman. An Effective Approach for Job-Shop Scheduling with Uncertain Processing Requirements [J]. IEEE Transaction on Robotics (S 1552-3098), 1999, 15(2): 328-339.
  • 8J P WATSON, J C Beck, A E Howe. Problem difficulty for tabu search in job-shop scheduling [J]. Artificial Intelligence (S0288-3635), 2003, 143: 187-217.
  • 9HA/SO-FANG WANG, KUANG YAO WU. Modeling and analysis for multi-period, multi-product and multi-resource production scheduling [J]. Journal of Intelligent Manufacturing (S0956-5515), 2003, 14: 297-309.
  • 10Jonghun Park. A Scalable Protocol for Deadlock and Livelock FreeCo-Allocation of Resources .in Intemet Computing [C]// Proceedings of the 2003 Symposium on Applications and the Intexnet (SAINT03). USA: IEEE, 2003.

引证文献1

二级引证文献4

系统仿真学报
2004年 第5期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部