Formalized modeling-based anomaly detection for NC code

The control of Computer numerical control (CNC) machine tools is usually realized by using Numerical Control (NC) code. If the NC code is man-made during transmission, it poses a serious security threat to machine parts and even machine tools. Therefore, this paper proposes an NC code automation anomaly detection method, which can better protect the machine tool. The C Programming Language is used to formalize NC code modeling, and linear-time Temporal Logic is used to detect NC code formal model anomalies, and to achieve the efficient automated anomaly detection of NC code. The experimental results show that the method can effectively identify 5 types of abnormal operations, and it has good scalability and can be used in a variety of CNC systems.