Research For The ET-LOTOS-Based Embedded Software Component Composition

Embedded system has a long history. Originally it was applied in military, aerospace industry, industry process controlling, etc; at present its application is so abroad in daily life that the post-PC age, represented by Pervasive Computing and Embedded System, has come since the late 90^th in 20^th century.Development of component-based embedded software means compositing of embedded software components into new system. The techniques of composition are the core in development of component-based embedded software as well as the main topic in this thesis.Embedded system is usually used in the fields of vital importance closely related with safety such as military controlling, aerospace industry, medical equipment, etc. therefore, it is very essential to make description and verification for the system with formal methods in modeling the embedded system. However, methods instead of formal methods are used to continue for component composition. That's why there exists no direct relation between high-level abstraction of system described by formal language and practice of component composition in present research.In order to solve this problem, thesis proposes a composition algorithm for embedded software components and develops a frame of embedded software components composition tools based on this algorithm. Grounded on the model of embedded software component and software architecture (SA) described by the ET-LOTOS (a formal software architecture description language), this paper discusses both component composition and the non-functional requirements, and then proposes templates of the composition connection and an algorithm for composition. Thus the component composition and high-level abstract are related and automation of embedded software component composition can be advanced by the composition method proposed by this thesis.