嵌入式数控系统模型层验证设计策略研究  

Design Strategy for Embedded CNC Model Verification

作　　者：郑建华[1,2] 李迪[1] 朱蓉[2] 肖苏华[1] 苏兆港[1] 

机构地区：[1]华南理工大学机械工程学院,广州510640 [2]仲恺农业技术学院,广州510225

出　　处：《计算机科学》2008年第12期268-272,共5页Computer Science

摘　　要：在分析传统嵌入式数控的开发方法上的不足,以及目前对其开发方法的诸多变革的基础上,提出并实现将特定领域模型驱动开发融入到嵌入式数控系统的开发,构建了嵌入式数控系统模型层验证框架。该方法为嵌入式数控系统的开发提升了相应的抽象层次,提高了模型在系统开发中的作用,并利于提高系统的可操作性、可靠性、开发效率。通过对数控系统不同工作模式在第三方工具(StateFlow)的仿真实例,详述了该方法在特定领域建模语言的构建、模型转换的实现等方面的细节,并给出了转换后的对应StateFlow模型图。After analyzing the shortcoming of traditional development methodology for embedded CNC and the evolution of development methodology, domain specific model driven development methodology used to embedded CNC was proposed and implemented, and an architecture for model verification of embedded CNC was constructed. The methodology heightens the abstract layer of embedded CNC development and enhances the function of model during the develop- ment life cycle,which improves the interoperation, reliability, develop efficient of the system. By a concrete simulation example of CNC working mode during the third simulation tools（StateFlow）, the paper details the construction of Domain specific language and realization of model transformation, in the end the corresponding StateFlow diagram obtained by transformation is listed.

关 键 词：数控系统 特定领域 模型驱动 模型转换 

分 类 号：TP39[自动化与计算机技术—计算机应用技术] TP311.5[自动化与计算机技术—计算机科学与技术]