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.