版权所有:内蒙古大学图书馆 技术提供:维普资讯• 智图
内蒙古自治区呼和浩特市赛罕区大学西街235号 邮编: 010021
作者机构: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.