Generation Technology Research And Implementation Of Embedded Software Based On The Source Component Model

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.