1题 目： FANUC 0i mate-TD 数控车床 PMC 控制系统设计 中文摘要2摘要：可靠性，稳定性，和安全是计算机数字控制软件设计最重要的三个因素（CNC）系统。作为一种分布式计算系统，数控系统由电脑控制器，微控制器和切割工具组成，其中控制器可以执行机床程序生成微控制器驱动刀具通过选择性地去除工件材料制作说明。软件设计是实现数控系统的可靠运行，非常重要的地，和安全，直接影响工件的加工质量和操作人员的安全。因此，如何设计可靠的软件和数控系统进行有效的验证是一个重要的研究问题。关键词：可靠 稳定 安全 数控系统1毕业设计说明书（论文）英文摘要Title A Formal Specification Framework for Designing and Verifying Reliable and Dependable Software for CNC SystemsAbstractReliability, dependability, and safety are the three most important factors in software design for computerized numerical control (CNC) systems. As a distributed computing system, a CNC system consists of a computer controller, a set of microcontrollers, and cutting tools, in which the controller can execute machine tool program and generate instructions for microcontrollers to drive the cutting tools to fabricate workpieces by selectively removing materials.Software design is extremely important to make CNC systems operate reliably, dependably, and safely, which directly influences manufacturing quality of workpieces and even the safety of operators. Therefore, how to design reliable and dependable software and perform effective verification for CNC systems becomes an important research problem.Keywords：Reliability dependability safety CNC2目 录前 言...............................................................................................................................................1第一章 绪 论...................................................................................................................................21.1 引言.....................................................
