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