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

作者：潘鋆; 韩京辰; 于丹; 陈永乐^*

来源：微电子学与计算机, 2021, 38(11): 81-87.

DOI：10.19304/J.ISSN1000-7180.2021.0224

• NC代码
• 形式化
• 线性时序逻辑
• 模型检测

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

• 单位
  太原理工大学