基于概念精化的嵌入式系统的构件开发方法

针对目前嵌入式系统的软件开发中低效重复性工作过多的现状，本项目对嵌入式系统的问题领域进行基于概念的分析，然后把分析结果应用到对嵌入式中间件和应用程序的通用构件库的开发之中；根据软件的形式化规范对嵌入式系统中的软件构件从概念上进行系统的分类；研究基于概念的技术对提高嵌入式系统中构件性能和效率的作用；提出保证构件高效性和正确性的方法。项目将对嵌入式系统的软件开发方法学产生积极的影响：提供一种有效描述构件功能和性能的概念描述语言；对概念层次的建立和构件库的开发将简化嵌入式系统的编程过程，缩短从设计到实现所需的时间、提高软件的复用性和可靠性，优化软件运行时间；提供的构件描述文档将为嵌入式系统提供一个独立于程序设计语言、中间件架构、开发工具的坚实的研究平台；项目也将推动在计算机软件开发方面培养高级人才。