Design Method of Code Component for Embedded Software in Smart Appliances
Zhuo Gao · Jisuanji gongcheng · 2007
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.