咨询与建议

看过本文的还看了

相关文献

该作者的其他文献

文献详情 >Verification of distributed co... 收藏

Verification of distributed control systems in intelligent manufacturing

在聪明的生产的分布式的监督制度的确认

作     者:Vyatkin, V Hanisch, HM 

作者机构:Univ Halle Wittenberg Dept Engn Sci D-06099 Halle Saale Germany 

出 版 物:《JOURNAL OF INTELLIGENT MANUFACTURING》 (智能制造业杂志)

年 卷 期:2003年第14卷第1期

页      面:123-136页

核心收录:

学科分类:08[工学] 0802[工学-机械工程] 0812[工学-计算机科学与技术(可授工学、理学学位)] 

主  题:verification distributed computer control systems modeling 

摘      要:This paper presents an application of formal methods for validation of flexible manufacturing systems controlled by distributed controllers. A software tool verification environment for distributed applications (VEDA) is developed for modeling and verification of distributed control systems. The tool provides an intergrated environment for formal, model-based verification of the execution control of function blocks following the new international standard IEC61499. The modeling is performed in a closed-loop way using manually developed models of plants and automatically generated models of controllers.

读者评论 与其他读者分享你的观点

用户名:未登录
我的评分