상세정보
학술지
Design and Implementation of Runtime Verification Framework for Cyber-Physical Production Systems
- 발행일
- 201911
- 출처
- Journal of Engineering, v.2019, pp.1-12
- ISSN
- 2314-4904
- 출판사
- 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) 조건에 따라 이용할 수 있습니다.
