BROWSE
Detail
Journal Article
Design and Implementation of Runtime Verification Framework for Cyber-Physical Production Systems
- 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
- 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)
