基于形式化模型的NC代码异常检测  

Formalized modeling-based anomaly detection for NC code

作　　者：潘鋆 韩京辰 于丹 陈永乐 PAN Jun;HAN Jingchen;YU Dan;CHEN Yongle(College of Information and Computer,Taiyuan University of Technology,Taiyuan 030024,China)

机构地区：[1]太原理工大学,信息与计算机学院,山西太原030024

出　　处：《微电子学与计算机》2021年第11期81-87,共7页Microelectronics & Computer

基　　金：山西省重点研发计划(201903D121121)。

摘　　要：数控机床的控制通常是使用Numerical Control(NC)代码实现.如果NC代码在传输过程中被人为修改,则会对加工的零件甚至机床造成严重安全威胁.本文提出了一种NC代码自动化异常检测方法,可以较好的保护机床.使用C语言对NC代码进行形式化建模,并以线性时序逻辑(Linear-time Temporal Logic)来对NC代码形式化模型进行异常检测,实现了对NC代码的高效自动化异常检测.实验结果表明,该方法可以有效识别出5类异常操作;具有较好的可扩展性,可用于多种数控系统.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.

关 键 词：NC代码 形式化 线性时序逻辑 模型检测 

分 类 号：TP3-05[自动化与计算机技术—计算机科学与技术]