FANUC数控车床PMC控制系统设计

毕业设计说明书（论文）英文摘要Title A Formal Specification Framework for Designing andVerifying Reliable and Dependable Software for CNC SystemsAbstractReliability,dependability,and safety are the three most important factors in softwaredesign for computerized numerical control (CNC)systems.As a distributedcomputing system,a CNC system consists of a computer controller,a set ofmicrocontrollers,and cutting tools,in which the controller can execute machine toolprogram and generate instructions for microcontrollers to drive the cutting tools tofabricate workpieces by selectively removing materials.Software design is extremelyimportant to make CNC systems operate reliably,dependably,and safely,whichdirectly influences manufacturing quality of workpieces and even the safety ofoperators.Therefore,how to design reliable and dependable software and performeffective verification for CNC systems becomes an important research problem.Keywords:Reliability dependability safety CNC