摘要： 通过对家电控制器常用MCU体系结构、程序设计语言、家电功能及外设驱动源码研究，提出了一种形式化的嵌入式软件的源码构件和程序代码的设计方法。介绍了源码构件层次体系和逻辑模式；定义了源码构件运算符；给出了构件及应用代码的形式化生成；并以重用因子K为标准，辅助衡量源码构件的代码片段划分和设计的合理性。该方法具有很好的实用性、可扩展性和通用性。

关键词: 智能家电, 源码构件, 代码片段, 构件描述块, 重用因子

Abstract: The paper puts forward a formal method for designing code component and program of embedded software, through the research of MCU architecture, programming language, appliance functions and drivers of peripheral equipment. This paper introduces the layer structure and logic model of a code component, defines the operator among the code components, and gives the formal generation of complex component or application code. Furthermore, the reuse factor K is defined to give support to weigh the rationality of detaching and designing the code segment of a code component. The method is featured by practicability, expandability and universality.

Key words: Smart appliances, Code component, Code segment, Component description block, Reuse factor