Traditional factories are turning into smart factories with the advent of various ICTtechnologies, and various control decisions are\nderived by AI technologies. In this circumstance, runtime verification of a control command is important for zero-defect\nmanufacturing processes but challengeable because factories of the future are highly complex and heterogeneous systems. In this\npaper, we propose DigTwinOps, a Digital Twin framework for Runtime Verification of Cyber-Physical Production Systems\n(CPPSs). DigTwinOps features a Digital Twin Execution Engine (DTEE) that manages a Digital Twin Model to synchronize states\nof a real CPPS object in a production environment. With a monitoring and simulation combination process, a human worker can\nobserve the states of the CPPS object and verify the effectiveness of control commands before applying it to a real production\nenvironment. The proposed framework is applied to a CPPS prototype production system, and the results show that the\nframework can work effectively in the controllability verification of control commands.
Loading....