ETRI-Knowledge Sharing Plaform

KOREAN
논문 검색
Type SCI
Year ~ Keyword

Detail

Journal Article Design and Implementation of Runtime Verification Framework for Cyber-Physical Production Systems
Cited 23 time in scopus Download 200 time Share share facebook twitter linkedin kakaostory
Authors
Sungjoo Kang, Ingeol Chun, Hyeon-Soo Kim
Issue Date
2019-11
Citation
Journal of Engineering, v.2019, pp.1-12
ISSN
2314-4904
Publisher
Hindawi Publishing
Language
English
Type
Journal Article
DOI
https://dx.doi.org/10.1155/2019/2875236
Abstract
Traditional factories are turning into smart factories with the advent of various ICT technologies, and various control decisions are derived by AI technologies. In this circumstance, runtime verification of a control command is important for zero-defect manufacturing processes but challengeable because factories of the future are highly complex and heterogeneous systems. In this paper, we propose DigTwinOps, a Digital Twin framework for Runtime Verification of Cyber-Physical Production Systems (CPPSs). DigTwinOps features a Digital Twin Execution Engine (DTEE) that manages a Digital Twin Model to synchronize states of a real CPPS object in a production environment. With a monitoring and simulation combination process, a human worker can observe the states of the CPPS object and verify the effectiveness of control commands before applying it to a real production environment. The proposed framework is applied to a CPPS prototype production system, and the results show that the framework can work effectively in the controllability verification of control commands.
KSP Keywords
Combination process, Digital Twin, Execution Engine, Factories of the Future, Heterogeneous System, Manufacturing processes, Smart Factory, Zero-defect manufacturing, cyber-physical production systems, design and implementation, runtime verification
This work is distributed under the term of Creative Commons License (CCL)
(CC BY)
CC BY