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

摘要：

在分析传统嵌入式数控的开发方法上的不足,以及目前对其开发方法的诸多变革的基础上,提出并实现将特定领域模型驱动开发融入到嵌入式数控系统的开发,构建了嵌入式数控系统模型层验证框架.该方法为嵌入式数控系统的开发提升了相应的抽象层次,提高了模型在系统开发中的作用,并利于提高系统的可操作性、可靠性、开发效率.通过对数控系统不同工作模式在第三方工具(StateFlow)的仿真实例,详述了该方法在特定领域建模语言的构建、模型转换的实现等方面的细节,并给出了转换后的对应StateFlow模型图.

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

所属期刊栏目：35

分类号：TP3;TP2

在线出版日期：2009-02-09（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：268-272