ETRI-Knowledge Sharing Plaform



논문 검색
구분 SCI
연도 ~ 키워드


학술지 Design and Implementation of Runtime Verification Framework for Cyber-Physical Production Systems
Cited 19 time in scopus Download 139 time Share share facebook twitter linkedin kakaostory
강성주, 전인걸, 김현수
Journal of Engineering, v.2019, pp.1-12
Hindawi Publishing
17HS6900, 가상-實제조설비 연동형 IoT기반 CPS 플랫폼 기술 개발, 전인걸
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 제안 키워드
Combination process, Digital Twin, Execution Engine, Manufacturing processes, Smart Factory, Zero-defect manufacturing, cyber-physical production systems, design and implementation, factories of the future, heterogeneous systems, runtime verification
본 저작물은 크리에이티브 커먼즈 저작자 표시 (CC BY) 조건에 따라 이용할 수 있습니다.
저작자 표시 (CC BY)