信息技术的迅速发展和经济全球化,给装备制造业带来新的机遇和挑战。作为装备的中枢部分——控制系统,其技术水平标志着设备的自动化和智能化水平。嵌入式系统的发展和应用为提高装备的整体性能开辟新的途径,成为装备市场竞争的关键因素。面向领域建模以其崭新的理念被誉为“下一代建模方法”,它将嵌入式软件的开发重心由底层代码转变为领域模型。本文采用基于面向领域建模思想的模型集成运算理论构建面向装备控制领域的嵌入式系统开发环境,建立面向该领域的建模语言,研究嵌入式控制系统的开发方法,为装备控制领域嵌入式系统的开发提供快速有效的解决方案。在对模型集成运算理论进行深入研究的基础上,针对装备控制领域的发展需求和嵌入式系统的特点以及目前嵌入式系统开发所面临的问题,提出了面向装备控制领域的嵌入式系统开发总体框架。整个框架可以分为两个层次:领域层和应用层。其中,领域层通过领域元模型的抽象与建模和解释器的设计与实现,为用户层提供建模语言、集成开发环境和解释器。用户可以直接使用建模语言和开发环境建立所需的应用模型。解释器是建立在该领域内统一的元模型的基础之上,能够对多样化的用户模型进行解释。在建立领域元模型之前,首先要对装备控制领域进行领域分析,获取嵌入式系统在装备控制领域的应用需求。本文从控制系统的组成、功能、性能、约束以及硬件平台等五个方面分析了该领域的共性与特点。基于嵌入式控制系统的本体论分析,提出了装备控制系统元模型的构建方法:定义构成系统的各个部件确定每个部件的特性建立各部件之间的关系。然后,根据该构建方法,以领域分析为依据,以控制系统的本体论为基础,从多个方面和多个层次建立了装备控制领域的元模型,形成该领域嵌入式系统的建模语言——CSML。装备领域的工程人员可以采用CSML语言对嵌入式控制系统从结构、行为、约束、硬件平台以及任务部署等多个方面进行定制。通过模型解释器实现程序代码的生成,从而实现领域应用的快速定制,提高开发效率,缩短开发周期。模型解释器是以用户模型为输入,以其他格式数据为输出的转换器。可以分为三种:模型转换解释器、工具集成解释器和代码解释器,分别实现从用户模型到其他模型、特征文件(仿真/验证工具的可识别格式)以及程序代码的解释。在深入研究解释器开发需要用到的模型访问接口的基础上,基于元生成的方法,实现了具有部分功能的代码解释器。这些解释器能够将用户模型的数据处理模块和人机界面解释成程序代码,再经编译器编译生成目标代码。另外,针对装备控制系统的领域需求,探讨了在解释器开发过程中所涉及到的跟嵌入式控制系统非功能要求紧密相关的问题和解决办法。最后,采用所研究开发的装备控制领域的建模语言和嵌入式控制系统开发环境,分别建立了三个系统的模型:液压拉深机控制系统、计算机数控系统和焊接过程监控系统。通过这三个应用系统的建模和部分功能的代码生成,验证了本文提出的嵌入式控制系统开发框架的可行性以及建模语言CSML的在装备控制领域的适用性。本文所研究的嵌入式控制系统开发框架、建模语言以及开发环境是模型集成运算理论在装备控制领域的一个尝试。对该方法的深入研究可能为嵌入式控制系统的描述、设计以及实施等开发过程的自动化提供有效途径,为提高装备控制系统的可靠性、可重用性和可维护性等性能提供有利措施,对提升我国装备制造业的技术水平具有重要意义。