{"title":"基于模块化组态的智能制造系统快速验证与验证框架","authors":"Shulian Xie, Weimin Zhang, Mulin Shen, Feng Xue","doi":"10.1016/j.simpat.2025.103136","DOIUrl":null,"url":null,"abstract":"<div><div>Verification and Validation (V&V) are crucial steps in the design to operation process of manufacturing systems to ensure the accuracy, safety, and reliability. The development of intelligent manufacturing technology and the acceleration of market changes are driving the increase of complexity and flexibility of manufacturing systems and the shortening of development cycles. These enhance the comprehensiveness, efficiency, and automation requirements of V&V. However, existing V&V schemes and cases cannot fully utilize the complementary advantages of analytical and simulation methods. It is difficult to meet the effective V&V requirements of complex intelligent manufacturing systems. This study proposes a modular configuration-based manufacturing system V&V framework combining analytical and simulation methods for rapid V&V of manufacturing systems. The construction method of modular configurations of manufacturing systems is explored. The modular configuration has been divided into the component function, system logic, and joint model sub-configurations and modularly packaged and integrated based on Asset Administration Shells (AAS). A rapid V&V process for manufacturing systems has been established. This process employs a test-module-driven approach to achieve configuration-based V&V testing of manufacturing systems. It supports synchronized co-simulation with equipment, software, and models in the loop. Finally, a simple manufacturing system V&V case was provided as an implementation reference. The proposed framework can demonstrate the rapid V&V of intelligent manufacturing systems and contribute to the development of automated V&V tools.</div></div>","PeriodicalId":49518,"journal":{"name":"Simulation Modelling Practice and Theory","volume":"142 ","pages":"Article 103136"},"PeriodicalIF":3.5000,"publicationDate":"2025-05-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"A modular configuration-based rapid verification and validation framework combining analytical and simulation methods for intelligent manufacturing systems\",\"authors\":\"Shulian Xie, Weimin Zhang, Mulin Shen, Feng Xue\",\"doi\":\"10.1016/j.simpat.2025.103136\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><div>Verification and Validation (V&V) are crucial steps in the design to operation process of manufacturing systems to ensure the accuracy, safety, and reliability. The development of intelligent manufacturing technology and the acceleration of market changes are driving the increase of complexity and flexibility of manufacturing systems and the shortening of development cycles. These enhance the comprehensiveness, efficiency, and automation requirements of V&V. However, existing V&V schemes and cases cannot fully utilize the complementary advantages of analytical and simulation methods. It is difficult to meet the effective V&V requirements of complex intelligent manufacturing systems. This study proposes a modular configuration-based manufacturing system V&V framework combining analytical and simulation methods for rapid V&V of manufacturing systems. The construction method of modular configurations of manufacturing systems is explored. The modular configuration has been divided into the component function, system logic, and joint model sub-configurations and modularly packaged and integrated based on Asset Administration Shells (AAS). A rapid V&V process for manufacturing systems has been established. This process employs a test-module-driven approach to achieve configuration-based V&V testing of manufacturing systems. It supports synchronized co-simulation with equipment, software, and models in the loop. Finally, a simple manufacturing system V&V case was provided as an implementation reference. The proposed framework can demonstrate the rapid V&V of intelligent manufacturing systems and contribute to the development of automated V&V tools.</div></div>\",\"PeriodicalId\":49518,\"journal\":{\"name\":\"Simulation Modelling Practice and Theory\",\"volume\":\"142 \",\"pages\":\"Article 103136\"},\"PeriodicalIF\":3.5000,\"publicationDate\":\"2025-05-03\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Simulation Modelling Practice and Theory\",\"FirstCategoryId\":\"94\",\"ListUrlMain\":\"https://www.sciencedirect.com/science/article/pii/S1569190X25000711\",\"RegionNum\":2,\"RegionCategory\":\"计算机科学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q2\",\"JCRName\":\"COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Simulation Modelling Practice and Theory","FirstCategoryId":"94","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S1569190X25000711","RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS","Score":null,"Total":0}
A modular configuration-based rapid verification and validation framework combining analytical and simulation methods for intelligent manufacturing systems
Verification and Validation (V&V) are crucial steps in the design to operation process of manufacturing systems to ensure the accuracy, safety, and reliability. The development of intelligent manufacturing technology and the acceleration of market changes are driving the increase of complexity and flexibility of manufacturing systems and the shortening of development cycles. These enhance the comprehensiveness, efficiency, and automation requirements of V&V. However, existing V&V schemes and cases cannot fully utilize the complementary advantages of analytical and simulation methods. It is difficult to meet the effective V&V requirements of complex intelligent manufacturing systems. This study proposes a modular configuration-based manufacturing system V&V framework combining analytical and simulation methods for rapid V&V of manufacturing systems. The construction method of modular configurations of manufacturing systems is explored. The modular configuration has been divided into the component function, system logic, and joint model sub-configurations and modularly packaged and integrated based on Asset Administration Shells (AAS). A rapid V&V process for manufacturing systems has been established. This process employs a test-module-driven approach to achieve configuration-based V&V testing of manufacturing systems. It supports synchronized co-simulation with equipment, software, and models in the loop. Finally, a simple manufacturing system V&V case was provided as an implementation reference. The proposed framework can demonstrate the rapid V&V of intelligent manufacturing systems and contribute to the development of automated V&V tools.
期刊介绍:
The journal Simulation Modelling Practice and Theory provides a forum for original, high-quality papers dealing with any aspect of systems simulation and modelling.
The journal aims at being a reference and a powerful tool to all those professionally active and/or interested in the methods and applications of simulation. Submitted papers will be peer reviewed and must significantly contribute to modelling and simulation in general or use modelling and simulation in application areas.
Paper submission is solicited on:
• theoretical aspects of modelling and simulation including formal modelling, model-checking, random number generators, sensitivity analysis, variance reduction techniques, experimental design, meta-modelling, methods and algorithms for validation and verification, selection and comparison procedures etc.;
• methodology and application of modelling and simulation in any area, including computer systems, networks, real-time and embedded systems, mobile and intelligent agents, manufacturing and transportation systems, management, engineering, biomedical engineering, economics, ecology and environment, education, transaction handling, etc.;
• simulation languages and environments including those, specific to distributed computing, grid computing, high performance computers or computer networks, etc.;
• distributed and real-time simulation, simulation interoperability;
• tools for high performance computing simulation, including dedicated architectures and parallel computing.