基于源码构件模型的嵌入式软件生成技术的研究与实现

【作者】 邓勇；

【导师】 桑楠；

【作者基本信息】 电子科技大学 ， 计算机应用技术， 2007， 硕士

【摘要】 随着智能家电类产品嵌入式软件功能和性能复杂度的不断提高,如何高效开发已成为一个严峻的挑战。智能家电类产品是典型的单片机控制程序应用系统,其软件开发已呈现出一些显著的特点:其一是行业内技术人员流动频繁,行业内缺少经验复用的技术手段;其二市场竞争激烈要求产品的成本更低以及研发周期加快。传统的软件开发方法虽然能可靠的设计和开发智能家电嵌入式软件系统,但不能解决所呈现出来的新问题。因此,一些新的开发方法,如构件化开发方法,开始引入单片机控制程序应用系统开发之中。本论文通过对智能家电嵌入式软件开发的可重用技术研究,提出了一种适用于无操作系统支持的嵌入式软件开发的源码构件模型。基于此模型,研究了嵌入式软件的构件化技术以及与其形式化技术的结合,给出了源码构件的形式化描述,提出了源码构件以及基于构件的嵌入式软件的形式化生成方法。利用所研究成果,实现了一个实用嵌入式软件构件化开发平台,提供了软件构件化辅助划分、源码构件生成、应用软件组装和构件信息管理等工具,可以覆盖智能家电类产品嵌入式软件开发的全过程,并实际应用于空调类产品的控制程序开发过程中。本论文的特色和创新之处包括:1)提出了一种适用于无操作系统领域嵌入式软件开发的嵌入式源码构件模型,并分析该模型的层次结构。2)分析了智能家电类产品嵌入式软件开发的共性,给出其软件构件化划分策略、构件的生成方法、以及基于构件的嵌入式软件组装方式。3)给出了源码构件的形式化描述,提出了基于该形式化模型的源码构件和应用代码生成方法,以及形式化生成的优化定理。4)设计了智能家电类产品嵌入式软件构件化开发平台的体系结构,并依此实现了一个实用的空调嵌入式软件构件化开发平台。本论文关于源码构件模型的研究将为构件化开发技术在无操作系统的单片机程序开发领域的应用和推广提供理论和技术支持。更多还原

【Abstract】 Along with the complexity in function and performance of embedded application software of smart appliances increases all the times, the software development efficiency is faced up huge challenges. As a typical microcontrollers program, the development processes have revealed some remarkable issues. Firstly, there is no reusing measures to overcome the technology loss brought by the frequent movement of technical staffs. Secondly, because of the great market competition, it it necessary to reduce product costs and shorten the research periods. Therefore, some new software development methods have been applied to microcontrollers program development, such as: component-based development method.The dissertation has comprehensively studied the reusing technology in embedded software development and put forward a code component model applied to embedded software development without operating system platforms. Basedd on the model, the thesis has studied the componet-based software development, combined the component technology with formal technology, realized the formal description for the code component model and provided a fomal generation method for component or embedded software baseded on the code component. Furthermore, a practical component-based development platform has been designed in the dissertation, which has provided enough tools, such as: software component-based tool, component generation tool, software generation tool, component information managing tool. The practical platform has been applied to the control program development of air conditioners. The contributions of this dissertation are as follows.1) Proposed an embedded code component model applied to non-operating system platform development, and analyzed the layer structure of the model.2) Analyzed the general characteristics of smart appliances’ embedded software development and provided the software component-based method, component generation method and embedded software generation method. 3) Given the formal description of the code component and presented a formal generation method for code components or application codes and an optimization theorem for the formal gengeation processes.4) Designed an component-based development platform’s architecture for smart appliances and realized an practical component-based development platform applied to embedded software development of air conditioners.The research on the code component model will provide the theory and technique supports for the application and spread of the component-based development technology in microcontrollers program development domain.更多还原