时序溯源的嵌入式数控系统软件可靠性研究  

Research on Software Reliability of Embedded CNC System Using Time Sequence Traceability

作　　者：游达章[1,2] 许文俊 张业鹏 YOU Dazhang;XU Wenjun;ZHANG Yepeng(School of Mechanical Engineering,Hubei University of Technology,Wuhan 430068,China;Hubei Province Key Laboratory of Modern Manufacturing Quality Engineering,Wuhan 430068,China)

机构地区：[1]湖北工业大学机械工程学院,武汉430068 [2]湖北省现代制造质量工程重点实验室,武汉430068

出　　处：《机械科学与技术》2023年第5期779-784,共6页Mechanical Science and Technology for Aerospace Engineering

基　　金：国家自然科学基金项目(51875180)。

摘　　要：嵌入式数控软件的可靠性是一个重要问题,由于其包含电机驱动、插补中断等诸多模块,程序运行逻辑复杂,软件各模块的执行顺序具有随机性,软件系统可靠性评估困难。采用马氏链模型开展嵌入式数控软件的可靠性评估,提出时序溯源的方法,重溯程序运行时序图,构建运行剖面,量化转移概率;采用时间补偿的程序运行逻辑恢复方法,消除关键点数据的监测、输出对系统运行实时性影响,还原CPU在时间轴上的运行逻辑顺序。最后通过实例验证该方法的可行性。The reliability of embedded CNC(Computer Numerical Control)software is an important issue.Because it contains many modules such as motor drive and interpolation interruption,the programs′operation logic is complicated,and the execution sequence of the software modules is random,so the reliability evaluation of the software system is difficult.We adopted the Markov chain model to carry out the reliability evaluation of embedded CNC software,proposed a method of time sequence traceability,re-traced the program running sequence diagram,constructed the running profile and quantified the transition probability;Then we adopted a time-compensated program operation logic recovery method to eliminate the impact of key point data monitoring and output on the real-time performance of the system,and restore the logical sequence of the CPU on the time axis.Finally,an example is used to verify the feasibility of the method.

关 键 词：时序溯源 嵌入式数控系统 马尔可夫链 时间补偿 

分 类 号：TG659[金属学及工艺—金属切削加工及机床]